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

Ulf Nilsson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
18EEPär Emanuelsson, Ulf Nilsson: A Comparative Study of Industrial Static Analysis Tools. Electr. Notes Theor. Comput. Sci. 217: 5-21 (2008)
2006
17EEDan 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)
2002
16 Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. CLIMA III 2002: 63-78
15EEPierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira: A Logic Based Asynchronous Multi-Agent System. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
14EEMarie Duflot, Laurent Fribourg, Ulf Nilsson: Unavoidable Configurations of Parameterized Rings of Processes. CONCUR 2001: 472-486
2000
13EEUlf Nilsson, Johan Lübcke: Constraint Logic Programming for Local and Symbolic Model-Checking. Computational Logic 2000: 384-398
1999
12 J. Leubcke, Ulf Nilsson: On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops 1999: 261
1998
11EEUlf Nilsson, S. Streiffert, Anders Törne: Detailed Design of Avionics Control Software. IEEE Real-Time Systems Symposium 1998: 82-91
1995
10EEUlf Nilsson: Abstract Interpretation: A Kind of Magic. Theor. Comput. Sci. 142(1): 125-139 (1995)
1994
9 Lars Degerstedt, Ulf Nilsson: Magic Computation for Wll-founded Semantics. NMELP 1994: 181-204
1993
8 Ulf Nilsson: Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS 1993: 647
7 Ulf Nilsson: Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. J. Log. Program. 16(1): 163-189 (1993)
1992
6 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
1991
5 Ulf Nilsson: Abstract Interpretation: A Kind of Magic. PLILP 1991: 299-309
4 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)
1990
3 Ulf Nilsson: Systematic Semantic Approximations of Logic Programs. PLILP 1990: 293-306
1988
2 Ulf Nilsson: Towards a Framework for the Abstract Interpretation of Logic Programs. PLILP 1988: 68-82
1986
1 Ulf Nilsson: AID: An Alternative Implementation of DCGs. New Generation Comput. 4(4): 383-399 (1986)

Coauthor Index

1Staffan Bonnier [4]
2Lars Degerstedt [9]
3Pierangelo Dell'Acqua [15] [16]
4Marie Duflot [14]
5Pär Emanuelsson [18]
6Laurent Fribourg [14]
7Inger Klein [17]
8Dan Lawesson [17]
9J. Leubcke [12]
10Johan Lübcke [13]
11Torbjörn Näslund [4]
12Luís Moniz Pereira (Luíz Moniz Pereira) [15] [16]
13S. Streiffert [11]
14Anders Törne [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)