Nils Klarlund

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Liminf progress measures Lecture Notes in Computer Science	2023-08-16	Paper
Progress measures and stack assertions for fair termination Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92	2017-08-21	Paper
Reachability problems in piecewise FIFO systems ACM Transactions on Computational Logic	2015-09-17	Paper
Automated logical verification based on trace abstractions Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96	2015-09-11	Paper
Regularity results for FIFO channels	2013-09-26	Paper
Software Model Checking: Searching for Computations in the Abstract or the Concrete Lecture Notes in Computer Science	2007-11-29	Paper
Relativizations for the logic-automata connection Higher-Order and Symbolic Computation	2006-02-08	Paper
MONA IMPLEMENTATION SECRETS International Journal of Foundations of Computer Science	2005-06-22	Paper
scientific article; zbMATH DE number 2102722 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 2079047 (Why is no real title available?)	2004-07-21	Paper
The DSD schema language Automated Software Engineering	2003-02-17	Paper
scientific article; zbMATH DE number 1773084 (Why is no real title available?)	2002-07-28	Paper
YakYak: Parsing with logical side constraints	2001-04-04	Paper
An nlogn Algorithm for Online BDD Refinement Journal of Algorithms	2000-10-17	Paper
scientific article; zbMATH DE number 1456961 (Why is no real title available?)	2000-06-07	Paper
scientific article; zbMATH DE number 1332657 (Why is no real title available?)	1999-09-07	Paper
scientific article; zbMATH DE number 1223628 (Why is no real title available?)	1999-05-16	Paper
Progress measures, immediate determinacy, and a subset construction for tree automata Annals of Pure and Applied Logic	1995-09-19	Paper
Proving nondeterministically specified safety properties using progress measures Information and Computation	1994-03-24	Paper

Research outcomes over time

This page was built for person: Nils Klarlund