Ulf Nilsson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2009

Service Selection for Mobile IPv4Jouni Korhonen, Ulf Nilsson. rfc, 5446:1-9, February 2009. [doi]

2008

A Comparative Study of Industrial Static Analysis ToolsPär Emanuelsson, Ulf Nilsson. ENTCS, 217:5-21, 2008. [doi]

Service Selection for Mobile IPv6Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli. rfc, 5149:1-9, February 2008. [doi]

2006

An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State SystemsDan Lawesson, Ulf Nilsson, Inger Klein. ENTCS, 149(2):139-153, 2006. [doi]

2003

Fault isolation in discrete event systems by observational abstractionDan Lawesson, Ulf Nilsson, Inger Klein. cdc 2003: 5118-5123 [doi]

2002

A Logic Based Asynchronous Multi-Agent SystemPierangelo Dell Acqua, Ulf Nilsson, Luís Moniz Pereira. ENTCS, 70(5):72-88, 2002. [doi]

A Logic Based Asynchronous Multi-Agent SystemPierangelo Dell Acqua, Ulf Nilsson, Luís Moniz Pereira. clima 2002: 63-78

2001

Unavoidable Configurations of Parameterized Rings of ProcessesMarie Duflot, Laurent Fribourg, Ulf Nilsson. concur 2001: 472-486 [doi]

2000

Constraint Logic Programming for Local and Symbolic Model-CheckingUlf Nilsson, Johan Lübcke. cl 2000: 384-398 [doi]

1999

On-the-Fly Model Checking of CTL Formulas Using Constraint Logic ProgrammingJ. Leubcke, Ulf Nilsson. ECOOPW 1999: 261

1998

Detailed Design of Avionics Control SoftwareUlf Nilsson, S. Streiffert, Anders Törne. rtss 1998: 82-91 [doi]

1995

Abstract Interpretation: A Kind of MagicUlf Nilsson. TCS, 142(1):125-139, 1995. [doi]

1994

Magic Computation for Wll-founded SemanticsLars Degerstedt, Ulf Nilsson. nmelp 1995: 181-204

1993

Towards a Methodology for the Design of Abstract Machines for Logic Programming LanguagesUlf Nilsson. jlp, 16(1):163-189, 1993.

Goal-directed Bottom-up Evaluation of Normal Logic ProgramsUlf Nilsson. SLP 1993: 647

1992

Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic ProgramsUlf Nilsson. PhD thesis, Linköping University, Department of Computer and Information Science, 1992.

1991

A Simple Fixed Point Characterization of Three-Valued Stable Model SemanticsStaffan Bonnier, Ulf Nilsson, Torbjörn Näslund. ipl, 40(2):73-78, 1991.

Abstract Interpretation: A Kind of MagicUlf Nilsson. plilp 1991: 299-309

1990

Systematic Semantic Approximations of Logic ProgramsUlf Nilsson. plilp 1990: 293-306

Logic, programming and PrologUlf Nilsson, Jan Maluszynski. Wiley, 1990.

1988

Towards a Framework for the Abstract Interpretation of Logic ProgramsUlf Nilsson. plilp 1989: 68-82

1986

AID: An Alternative Implementation of DCGsUlf Nilsson. ngc, 4(4):383-399, 1986.

Sign in or sign up to see more results.

runs on WebDSL