Ulf Nilsson

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Linköping University, Department of Computer and Information Science (PHD)

Education History

Linköping University, Department of Computer and Information Science

PHD

Publications

Jouni Korhonen, Ulf Nilsson
Service Selection for Mobile IPv4. RFC 5446 (2009)
Pär Emanuelsson, Ulf Nilsson
A Comparative Study of Industrial Static Analysis Tools. Electron. Notes Theor. Comput. Sci. 217 (2008)
Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli
Service Selection for Mobile IPv6. RFC 5149 (2008)
Dan Lawesson, Ulf Nilsson, Inger Klein
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Dan Lawesson, Ulf Nilsson, Inger Klein
Fault isolation in discrete event systems by observational abstraction. CDC (2003)
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
A Logic Based Asynchronous Multi-Agent System. CLIMA (2002)
Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
A Logic Based Asynchronous Multi-Agent System. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
Marie Duflot, Laurent Fribourg, Ulf Nilsson
Unavoidable Configurations of Parameterized Rings of Processes. CONCUR (2001)
Ulf Nilsson, Johan Lübcke
Constraint Logic Programming for Local and Symbolic Model-Checking. Computational Logic (2000)
J. Leubcke, Ulf Nilsson
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops (1999)
Ulf Nilsson, S. Streiffert, Anders Törne
Detailed Design of Avionics Control Software. RTSS (1998)
Ulf Nilsson
Abstract Interpretation: A Kind of Magic. Theor. Comput. Sci. 142 (1) (1995)
Lars Degerstedt, Ulf Nilsson
Magic Computation for Wll-founded Semantics. NMELP (1994)
Ulf Nilsson
Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS (1993)
Ulf Nilsson
Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. J. Log. Program. 16 (1) (1993)
Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40 (2) (1991)
Ulf Nilsson
Abstract Interpretation: A Kind of Magic. PLILP (1991)
Ulf Nilsson
Systematic Semantic Approximations of Logic Programs. PLILP (1990)
Ulf Nilsson
Towards a Framework for the Abstract Interpretation of Logic Programs. PLILP (1988)
Ulf Nilsson
AID: An Alternative Implementation of DCGs. New Gener. Comput. 4 (4) (1986)

Ulf Nilsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulf Nilsson