| Logic, Programming and Prolog (2ed) J Maluszynski, U Nilsson John Wiley, 1995 | 541* | 1995 |
| A comparative study of industrial static analysis tools P Emanuelsson, U Nilsson Electronic notes in theoretical computer science 217, 5-21, 2008 | 346 | 2008 |
| Constraint logic programming for local and symbolic model-checking U Nilsson, J Lübcke International Conference on Computational Logic, 384-398, 2000 | 56 | 2000 |
| AID: An alternative implementation of DCGs U Nilsson New Generation Computing 4, 383-399, 1986 | 43 | 1986 |
| Systematic semantic approximations of logic programs U Nilsson International Workshop on Programming Language Implementation and Logic …, 1990 | 35 | 1990 |
| 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 | 28 | 1993 |
| Towards a framework for the abstract interpretation of logic programs U Nilsson Programming Languages Implementation and Logic Programming: International …, 1989 | 27 | 1989 |
| A simple fixed point characterization of three-valued stable model semantics S Bonnier, U Nilsson, T Näslund Information processing letters 40 (2), 73-78, 1991 | 26 | 1991 |
| A comparative study of industrial static analysis tools (extended version) P Emanuelsson, U Nilsson Linköping University Electronic Press, 2008 | 25 | 2008 |
| Abstract interpretation: A kind of magic U Nilsson International Symposium on Programming Language Implementation and Logic …, 1991 | 25 | 1991 |
| Logic programs with external procedures J Małuszyński, S Bonnier, J Boye, F Kluźniak, A Kågedal, U Nilsson Logic programming languages: constraints, functions, and objects, 21-48, 1993 | 15 | 1993 |
| Magic computation for well-founded semantics L Degerstedt, U Nilsson International Workshop on Non-monotonic Extensions of Logic Programming, 181-204, 1994 | 14 | 1994 |
| 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 | 13 | 2002 |
| 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 | 13 | 1998 |
| Abstract interpretation: A kind of magic U Nilsson Theoretical computer science 142 (1), 125-138, 1995 | 12 | 1995 |
| A systematic approach to abstract interpretation of logic programs U Nilsson Univ., 1989 | 12 | 1989 |
| Fault isolation in object oriented control systems M Larsson, I Klein, D Lawesson, U Nilsson IFAC Proceedings Volumes 33 (11), 1065-1069, 2000 | 7 | 2000 |
| Abstract interpretations and abstract machines: contributions to a methodology for the implementation of logic programs U Nilsson Linköping University, 1992 | 7 | 1992 |
| Model Checking Based Fault Isolation Using Automatic Abstraction I Lawesson, U Nilsson, I Klein Linköping University Electronic Press, 2003 | 6 | 2003 |
| Model based fault isolation for object-oriented control systems M Larsson, I Klein, D Lawesson, U Nilsson Linköping University Electronic Press, 1999 | 6 | 1999 |
