Ulf Nilsson

Pär Emanuelsson, Ulf Nilsson: A Comparative Study of Industrial Static Analysis Tools. Electr. Notes Theor. Comput. Sci. 217: 5-21 (2008)

Dan Lawesson, Ulf Nilsson, Inger Klein: An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. Electr. Notes Theor. Comput. Sci. 149(2): 139-153 (2006)

Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. Electr. Notes Theor. Comput. Sci. 70(5): 72-88 (2002)

Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. CLIMA 2002: 63-78

Marie Duflot, Laurent Fribourg, Ulf Nilsson: Unavoidable Configurations of Parameterized Rings of Processes. CONCUR 2001: 472-486

Ulf Nilsson, Johan Lübcke: Constraint Logic Programming for Local and Symbolic Model-Checking. Computational Logic 2000: 384-398

J. Leubcke, Ulf Nilsson: On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops 1999: 261

Ulf Nilsson, S. Streiffert, Anders Törne: Detailed Design of Avionics Control Software. RTSS 1998: 82-91

Ulf Nilsson: Abstract Interpretation: A Kind of Magic. Theor. Comput. Sci. 142(1): 125-139 (1995)

Lars Degerstedt, Ulf Nilsson: Magic Computation for Wll-founded Semantics. NMELP 1994: 181-204

Ulf Nilsson: Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. J. Log. Program. 16(1): 163-189 (1993)

Ulf Nilsson: Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS 1993: 647

Ulf Nilsson: Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. Linköping University, Department of Computer and Information Science 1992

Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund: A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40(2): 73-78 (1991)

Ulf Nilsson: Abstract Interpretation: A Kind of Magic. PLILP 1991: 299-309

Ulf Nilsson, Jan Maluszynski: Logic, programming and Prolog. Wiley 1990, isbn 978-0-471-92625-2, pp. I-XIV, 1-289

Ulf Nilsson: Systematic Semantic Approximations of Logic Programs. PLILP 1990: 293-306

Ulf Nilsson: Towards a Framework for the Abstract Interpretation of Logic Programs. PLILP 1988: 68-82

Ulf Nilsson: AID: An Alternative Implementation of DCGs. New Generation Comput. 4(4): 383-399 (1986)