AID: An Alternative Implementation of DCGs. - Ulf Nilsson (New Gener. Comput., 1986)

Towards a Framework for the Abstract Interpretation of Logic Programs. - Ulf Nilsson (PLILP, 1988)

Logic, programming and Prolog. - Ulf Nilsson; Jan Maluszynski (Wiley, 1990)

Systematic Semantic Approximations of Logic Programs. - Ulf Nilsson (PLILP, 1990)

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. - Staffan Bonnier; Ulf Nilsson; Torbjörn Näslund (Inf. Process. Lett., 1991)

Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. - Ulf Nilsson (1992)

Goal-directed Bottom-up Evaluation of Normal Logic Programs. - Ulf Nilsson (ILPS, 1993)

Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. - Ulf Nilsson (J. Log. Program., 1993)

Magic Computation for Wll-founded Semantics. - Lars Degerstedt; Ulf Nilsson (NMELP, 1994)

Abstract Interpretation: A Kind of Magic. - Ulf Nilsson (Theor. Comput. Sci., 1995)

Detailed Design of Avionics Control Software. - Ulf Nilsson; S. Streiffert; Anders Törne (RTSS, 1998)

On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. - J. Leubcke; Ulf Nilsson (ECOOP Workshops, 1999)

Constraint Logic Programming for Local and Symbolic Model-Checking. - Ulf Nilsson; Johan Lübcke (Computational Logic, 2000)

Unavoidable Configurations of Parameterized Rings of Processes. - Marie Duflot; Laurent Fribourg; Ulf Nilsson (CONCUR, 2001)

A Logic Based Asynchronous Multi-Agent System. - Pierangelo Dell'Acqua; Ulf Nilsson; Luís Moniz Pereira (CLIMA, 2002)

Fault isolation in discrete event systems by observational abstraction. - Dan Lawesson; Ulf Nilsson; Inger Klein (CDC, 2003)

An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. - Dan Lawesson; Ulf Nilsson; Inger Klein (MoChArt@CONCUR/SPIN, 2005)

A Comparative Study of Industrial Static Analysis Tools. - Pär Emanuelsson; Ulf Nilsson (SSV, 2008)

Service Selection for Mobile IPv6. - Jouni Korhonen; Ulf Nilsson; Vijay Devarapalli (RFC, 2008)

Service Selection for Mobile IPv4. - Jouni Korhonen; Ulf Nilsson (RFC, 2009)

Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. - Yiran Wang; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (SIGSOFT FSE Companion, 2024)

Why do Machine Learning Notebooks Crash? - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (CoRR, 2024)

Dataset of paper "Why do Machine Learning Notebooks Crash?". - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (Zenodo, 2024)

Dataset of paper "Why do Machine Learning Notebooks Crash?". - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (Zenodo, 2025)

Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks. - Yiran Wang; Willem Meijer; José Antonio Hernández López; Ulf Nilsson; Dániel Varró (IEEE Trans. Software Eng., 2025)