Ulf Nilsson
Ulf Nilsson
Professor Computer Science, Linköping University
Verified email at liu.se
Title
Cited by
Cited by
Year
Logic, Programming and Prolog (2ed)
J Maluszynski, U Nilsson
John Wiley, 1995
476*1995
A comparative study of industrial static analysis tools
P Emanuelsson, U Nilsson
Electronic notes in theoretical computer science 217, 5-21, 2008
2332008
Constraint logic programming for local and symbolic model-checking
U Nilsson, J Lübcke
International Conference on Computational Logic, 384-398, 2000
532000
AID: An alternative implementation of DCGs
U Nilsson
New Generation Computing 4 (4), 383-399, 1986
371986
Systematic semantic approximations of logic programs
U Nilsson
International Workshop on Programming Language Implementation and Logic …, 1990
331990
Towards a methodology for the design of abstract machines for logic programming languages
U Nilsson
The Journal of Logic Programming 16 (1-2), 163-189, 1993
281993
Abstract interpretation: A kind of magic
U Nilsson
International Symposium on Programming Language Implementation and Logic …, 1991
271991
A simple fixed point characterization of three-valued stable model semantics
S Bonnier, U Nilsson, T Naslund
Information processing letters, 1990
251990
Towards a framework for the abstract interpretation of logic programs
U Nilsson
International Workshop on Programming Language Implementation and Logic …, 1988
251988
Logic programs with external procedures
J Maluszynski, S Bonnier, J Boye, F Kluzniak, A Kagedal, U Nilsson
Logic Programming Constraints, Functions, and Objects, 1993
151993
A logic based asynchronous multi-agent system
P Dell'Acqua, U Nilsson, LM Pereira
Electronic Notes in Theoretical Computer Science 70 (5), 72-88, 2002
142002
Abstract interpretations and abstract machines: contributions to a methodology for the implementation of logic programs
U Nilsson
Linköping University, 1992
141992
Detailed design of avionics control software
U Nilsson, S Streiffert, A Torne
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 82-91, 1998
131998
Abstract interpretation: A kind of magic
U Nilsson
Theoretical computer science 142 (1), 125-138, 1995
131995
Magic computation for well-founded semantics
L Degerstedt, U Nilsson
International Workshop on Non-monotonic Extensions of Logic Programming, 181-204, 1994
131994
A systematic approach to abstract interpretation of logic programs
U Nilsson
Univ., 1989
111989
Fault isolation in object oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
IFAC Proceedings Volumes 33 (11), 1065-1069, 2000
72000
Model Checking Based Fault Isolation Using Automatic Abstraction
I Lawesson, U Nilsson, I Klein
Linköping University Electronic Press, 2003
62003
Model based fault isolation for object-oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
Linköping University Electronic Press, 1999
61999
The need for fault isolation in object-oriented control systems
M Larsson, I Klein, D Lawesson, U Nilsson
Linköping University Electronic Press, 1999
51999
The system can't perform the operation now. Try again later.
Articles 1–20