Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Anna Ingólfsdóttir

A Survey of Runtime Monitoring Instrumentation Techniques

Electronic Proceedings in Theoretical Computer Science, EPTCS

English

On the Existence of a Finite Base for Complete Trace Equivalence Over BPA With Interrupt

BRICS Report Series

English

Checking Consistency of Pedigree Information Is NP-complete (Preliminary Report)

BRICS Report Series

English

CCS With Hennessy's Merge Has No Finite Equational Axiomatization

BRICS Report Series

English

A Complete Equational Axiomatization for Prefix Iteration With Silent Steps

BRICS Report Series

English

On the Axiomatizability of Priority

BRICS Report Series

English

A Semantic Theory for Value-Passing Processes Based on the Late Approach

BRICS Report Series

English

Preface

RAIRO - Theoretical Informatics and Applications

Computer Science Applications

English

A Fully Equational Proof of Parikh's Theorem

RAIRO - Theoretical Informatics and Applications

Computer Science Applications

English