 | 2008 |
|---|
| 18 |       | Pär Emanuelsson,
Ulf Nilsson:
A Comparative Study of Industrial Static Analysis Tools.
Electr. Notes Theor. Comput. Sci. 217: 5-21 (2008) |
| 2006 |
|---|
| 17 | | 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) |
| 2002 |
|---|
| 16 |  | Pierangelo Dell'Acqua,
Ulf Nilsson,
Luís Moniz Pereira:
A Logic Based Asynchronous Multi-Agent System.
CLIMA III 2002: 63-78 |
| 15 | | Pierangelo Dell'Acqua,
Ulf Nilsson,
Luís Moniz Pereira:
A Logic Based Asynchronous Multi-Agent System.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 14 | | Marie Duflot,
Laurent Fribourg,
Ulf Nilsson:
Unavoidable Configurations of Parameterized Rings of Processes.
CONCUR 2001: 472-486 |
| 2000 |
|---|
| 13 | | Ulf 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 |
|---|
| 11 | | Ulf Nilsson,
S. Streiffert,
Anders Törne:
Detailed Design of Avionics Control Software.
IEEE Real-Time Systems Symposium 1998: 82-91 |
| 1995 |
|---|
| 10 | | Ulf 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) |
