BibSonomy :: author  ::

bookmarks

publications

(476)

• From generic to specific: off-line optimization for a general constraint solver.
  Ye Zhang and Torben Amtoft and Flemming Nielson GPCE 45-54 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Principles of Program Analysis
  F. Nielson and H. Nielson and C. Hankin (1999)
  to imported by cabird on 2008-08-15 20:29:46
  | BibTeX  
• Abstract interpretation: a semantics-based tool for program analysis
  N.D. Jones and F. Nielson (1995)
  to imported by cabird on 2008-08-15 20:29:46
  | BibTeX  
• Relational Analysis of Correlation.
  Jörg Bauer and Flemming Nielson and Hanne Riis Nielson and Henrik Pilegaard SAS 32-46 (2008)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Modal Abstractions of Concurrent Behaviour.
  Sebastian Nanz and Flemming Nielson and Hanne Riis Nielson SAS 159-173 (2008)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Least squares surface approximation to scattered data using multiquadratic functions.
  Richard Franke and Hans Hagen and Gregory M. Nielson Adv. Comput. Math. 2 81-99 (1994)
  to dblp by dblp on 2008-08-11 00:00:00
  | URL | BibTeX  
• Advice for Coordination.
  Chris Hankin and Flemming Nielson and Hanne Riis Nielson and Fan Yang COORDINATION 153-168 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• From Flow Logic to Static Type Systems for Coordination Languages.
  Rocco De Nicola and Daniele Gorla and René Rydhof Hansen and Flemming Nielson and Hanne Riis Nielson and Christian W. Probst and Rosario Pugliese COORDINATION 100-116 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• A Petri Net Approach to Verify and Debug Simulation Models.
  Peter Kemper and Carsten Tepper Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
  Matteo Cavaliere and Sean Sedwards Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX