Nils Klarlund

From MaRDI portal
Person:815003

Available identifiers

zbMath Open klarlund.nilsMaRDI QIDQ815003

List of research outcomes





PublicationDate of PublicationType
Liminf progress measures2023-08-16Paper
Progress measures and stack assertions for fair termination2017-08-21Paper
Reachability Problems in Piecewise FIFO Systems2015-09-17Paper
Automated logical verification based on trace abstractions2015-09-11Paper
Regularity results for FIFO channels2013-09-26Paper
Software Model Checking: Searching for Computations in the Abstract or the Concrete2007-11-29Paper
Relativizations for the logic-automata connection2006-02-08Paper
MONA IMPLEMENTATION SECRETS2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q48188082004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q44748602004-07-21Paper
The DSD schema language2003-02-17Paper
https://portal.mardi4nfdi.de/entity/Q45409672002-07-28Paper
YakYak: Parsing with logical side constraints2001-04-04Paper
An nlogn Algorithm for Online BDD Refinement2000-10-17Paper
https://portal.mardi4nfdi.de/entity/Q49544502000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q42599781999-09-07Paper
https://portal.mardi4nfdi.de/entity/Q42189391999-05-16Paper
Progress measures, immediate determinacy, and a subset construction for tree automata1995-09-19Paper
Proving nondeterministically specified safety properties using progress measures1994-03-24Paper

Research outcomes over time

This page was built for person: Nils Klarlund

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:815003&oldid=7093412"
Powered by MediaWiki