dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Flemming Nielson (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Automatic Complexity Analysis. ESOP 2002: 243-261
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. SAS 2002: 20-35
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. Nord. J. Comput. 9(4): 335-372 (2002)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Helmut Seidl: Control-Flow Analysis in Cubic Time. ESOP 2001: 252-268
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Hanne Riis Nielson, Helmut Seidl: Cryptographic Analysis in Cubic Time. Electr. Notes Theor. Comput. Sci. 62: 7-23 (2001)
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Helmut Seidl: Succinct Solvers Universität Trier, Mathematik/Informatik, Forschungsbericht 01-12: (2001)

Selection of 7 from 156 records - Flemming Nielson has 64 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page