Search results

Jump to navigation Jump to search

  • Steering Committee
    * Flemming Nielson (Danish Technical University) * Flemming Nielson (Chair)
    473 bytes (65 words) - 10:04, 9 September 2011
  • List of Group Members
    * Flemming Nielson (Chair) * Technical University of Denmark / Flemming Nielson
    1 KB (175 words) - 09:59, 9 September 2011
  • Contact
    Professor Flemming Nielson, DTU Informatics <mlqa(at)imm.dtu.dk>
    1 KB (188 words) - 13:19, 20 January 2010
  • Call for Posters
    Flemming Nielson (acting chairman of MLQA)
    1 KB (157 words) - 14:09, 16 March 2010
  • MLQA 2010
    * Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic. See slides here.
    3 KB (430 words) - 09:22, 23 August 2010
  • MLQA 2013
    <li>[http://www.imm.dtu.dk/~nielson Flemming Nielson], Technical University of Denmark<br> ...2:30 Invited talk: <em>Guarding against Denial of Service Attacks</em>, by Flemming Nielson</li>
    5 KB (775 words) - 13:56, 25 February 2013
  • MLQA 2009
    **Flemming Nielson: “An overview of MLQA” | Flemming Nielson
    6 KB (788 words) - 10:01, 15 July 2010
  • MLQA 2011
    ...Markov Models|Hidden Markov Chains and the languages/logics]]. Convened by Flemming Nielson
    2 KB (244 words) - 15:59, 12 September 2011
  • Abstracts FLoC 2010
    ==Flemming Nielson. Model Checking is Static Analysis of Modal Logic. See [http://wiki
    9 KB (1,276 words) - 09:19, 23 August 2010
  • Poster Session at MLQA 2010
    == Ender Yüksel, Hanne Riis Nielson, and Flemming Nielson. [http://wiki.ercim.eu/wg/MLQA/images/4/44/Submission_4.pdf High Se == Lei Song, Flemming Nielson, and Bo Friis Nielson. [http://wiki.ercim.eu/wg/MLQA/images/9/94/Su
    13 KB (2,065 words) - 12:21, 20 July 2010
  • Abstracts MLQA 2011
    Flemming Nielson
    9 KB (1,332 words) - 10:56, 7 September 2011
Retrieved from "https://wiki.ercim.eu/wg/MLQA/index.php/Special:Search"