default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUlf Nilsson
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c14]Yiran Wang
, José Antonio Hernández López, Ulf Nilsson, Dániel Varró:
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. SIGSOFT FSE Companion 2024: 497-501
2000 – 2009
- 2009
- [i2]Jouni Korhonen, Ulf Nilsson:
Service Selection for Mobile IPv4. RFC 5446: 1-9 (2009) - 2008
- [c13]Pär Emanuelsson, Ulf Nilsson:
A Comparative Study of Industrial Static Analysis Tools. SSV 2008: 5-21 - [i1]Jouni Korhonen, Ulf Nilsson, Vijay Devarapalli:
Service Selection for Mobile IPv6. RFC 5149: 1-9 (2008) - 2005
- [c12]Dan Lawesson, Ulf Nilsson, Inger Klein:
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. MoChArt@CONCUR/SPIN 2005: 139-153 - 2003
- [c11]Dan Lawesson, Ulf Nilsson, Inger Klein:
Fault isolation in discrete event systems by observational abstraction. CDC 2003: 5118-5123 - 2002
- [c10]Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira:
A Logic Based Asynchronous Multi-Agent System. CLIMA 2002: 72-88 - 2001
- [c9]Marie Duflot, Laurent Fribourg, Ulf Nilsson:
Unavoidable Configurations of Parameterized Rings of Processes. CONCUR 2001: 472-486 - 2000
- [c8]Ulf Nilsson, Johan Lübcke:
Constraint Logic Programming for Local and Symbolic Model-Checking. Computational Logic 2000: 384-398
1990 – 1999
- 1999
- [c7]J. Leubcke, Ulf Nilsson:
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops 1999: 261 - 1998
- [c6]Ulf Nilsson, S. Streiffert, Anders Törne:
Detailed Design of Avionics Control Software. RTSS 1998: 82-91 - 1995
- [j4]Ulf Nilsson:
Abstract Interpretation: A Kind of Magic. Theor. Comput. Sci. 142(1): 125-139 (1995) - 1994
- [c5]Lars Degerstedt, Ulf Nilsson:
Magic Computation for Wll-founded Semantics. NMELP 1994: 181-204 - 1993
- [j3]Ulf Nilsson:
Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. J. Log. Program. 16(1): 163-189 (1993) - [c4]Ulf Nilsson:
Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS 1993: 647 - 1992
- [b2]Ulf Nilsson:
Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. Linköping University, Department of Computer and Information Science, 1992 - 1991
- [j2]Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund:
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40(2): 73-78 (1991) - [c3]Ulf Nilsson:
Abstract Interpretation: A Kind of Magic. PLILP 1991: 299-309 - 1990
- [b1]Ulf Nilsson, Jan Maluszynski:
Logic, programming and Prolog. Wiley 1990, ISBN 978-0-471-92625-2, pp. I-XIV, 1-289 - [c2]Ulf Nilsson:
Systematic Semantic Approximations of Logic Programs. PLILP 1990: 293-306
1980 – 1989
- 1988
- [c1]Ulf Nilsson:
Towards a Framework for the Abstract Interpretation of Logic Programs. PLILP 1988: 68-82 - 1986
- [j1]Ulf Nilsson:
AID: An Alternative Implementation of DCGs. New Gener. Comput. 4(4): 383-399 (1986)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
