A. Ingólfsdóttir

发表

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

L. Aceto, A. Ingólfsdóttir, 1995 .

A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization

A. Ingólfsdóttir, 1995 .

Testing Hennessy-Milner Logic with Recursion

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1998 .

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2000, STACS.

Axiomatizing weak simulation semantics over BCCSP

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, 2014, Theor. Comput. Sci..

Algebraic Synchronization Trees and Processes

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2012, ICALP.

The complexity of identifying characteristic formulae

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2020, J. Log. Algebraic Methods Program..

On the Axiomatizability of Priority

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2006, ICALP.

The Saga of the Axiomatization of Parallel Composition

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 2007, CONCUR.

Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)

Z. Ésik, L. Aceto, A. Ingólfsdóttir, 2002 .

Monitorability for the Hennessy–Milner logic with recursion

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2017, Formal Methods Syst. Des..

Compositional Reasoning for Epistemic Logics ∗

L. Aceto, A. Ingólfsdóttir, Cristian Prisacariu, 2012 .

Finite equational bases in process algebra: results and open questions

W. Fokkink, L. Aceto, A. Ingólfsdóttir, 2005 .

Ready To Preorder: Get Your BCCSP Axiomatization for Free!

W. Fokkink, L. Aceto, A. Ingólfsdóttir, 2007 .

A Fully Abstract Denotational Model for Observational Congruence

A. Ingólfsdóttir, A. Schalk, 1995 .

The Equational Logic of Parallel Processes Principal Investigators

Luca Aceto, L. Aceto, A. Ingólfsdóttir, 2005 .

Rule formats for distributivity

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2012 .

The Complexity of Recursion in Modal Logic: First Steps∗

L. Aceto, A. Ingólfsdóttir, A. Achilleos, 2019 .

The Complexity of Identifying Characteristic Formulas for μHML

L. Aceto, A. Ingólfsdóttir, A. Achilleos, 2017 .

Equational Theories of Tropical Semirings

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2001 .

Axiomatizing recursion-free, regular monitors

L. Aceto, A. Ingólfsdóttir, A. Achilleos, 2020, J. Log. Algebraic Methods Program..

On the Axiomatisation of Branching Bisimulation Congruence over CCS

L. Aceto, A. Ingólfsdóttir, Valentina Castiglioni, 2022, CONCUR.

On the �xiomatizability of Priority II

L. Aceto, A. Ingólfsdóttir, Taolue Chen, 2022 .

The algorithmics of bisimilarity

Luca Aceto, Anna Ingólfsdóttir, Jiri Srba, 2012, Advanced Topics in Bisimulation and Coinduction.

Modelling and Simulation of Real-Time Systems using Timed Rebeca

Arni Hermann Reynisson, Steinar Hugi Sigurdarson, M. Sirjani, 2011 .

Advanced Topics in Bisimulation and Coinduction

Luca Aceto, Anna Ingólfsdóttir, Luca Aceto, 2012, Cambridge tracts in theoretical computer science.

Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II

Ivan Damgård, Igor Walukiewicz, Anna Ingólfsdóttir, 2008 .

L. Aceto, A. Ingólfsdóttir, J. Sack, 2010 .

Automata, Languages and Programming

Ivan Damgård, Igor Walukiewicz, Luca Aceto, 2008, Lecture Notes in Computer Science.

Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II

Ivan Damgård, Igor Walukiewicz, Anna Ingólfsdóttir, 2008 .

A Monitoring Tool for Linear-Time μHML

L. Aceto, A. Ingólfsdóttir, A. Achilleos, 2022, COORDINATION.

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations

Igor Walukiewicz, Luca Aceto, Anna Ingólfsdóttir, 2008, ICALP.

Guest Editors' Foreword

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 2008, J. Log. Algebraic Methods Program..

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

L. Aceto, A. Ingólfsdóttir, Adrian Francalanza, 2022, ArXiv.

A Complete Equational Axiomatizationfor Pre x Iteration with Silent

L. Aceto, A. Ingólfsdóttir, 1995 .

Finite Equational Axiomatization

W. J. Fokkink, L. Aceto, A. Ingólfsdóttir, 2003 .

Monitorability for the Hennessy–Milner logic with recursion

L. Aceto, A. Ingólfsdóttir, Adrian Francalanza, 2017, Formal Methods in System Design.

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2016, Acta Informatica.

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2014, JELIA.

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.

Allegro version 2

Anna Ingolfsdottir, D. Gudbjartsson, A. Kong, 2005, Nature Genetics.

A Cook's Tour of Equational Axiomatizations for Prefix Iteration

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 1998, FoSSaCS.

An Equational Axiomatization of Observation Congruence for Prefix Iteration

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1996, AMAST.

SOS rule formats for zero and unit elements

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2011, Theor. Comput. Sci..

Rule Formats for Distributivity

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2011, LATA.

A Cancellation Theorem for BCCSP

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2007, Fundam. Informaticae.

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2005, Theor. Comput. Sci..

Finite Equational Bases in Process Algebra: Results and Open Questions

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2005, Processes, Terms and Cycles.

A note on an expressiveness hierarchy for multi-exit iteration

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2002, Inf. Process. Lett..

The max-plus algebra of the natural numbers has no finite equational basis

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 1999, Theor. Comput. Sci..

On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 1999, STACS.

A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 1998, Mathematical Structures in Computer Science.

A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces

Luca Aceto, Anna Ingólfsdóttir, W. J. Fokkink, 1996 .

CPO Models for Compact GSOS Languages

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1996, Inf. Comput..

Equational theories of tropical semirings

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2001, Theor. Comput. Sci..

When Are Prime Formulae Characteristic?

Dario Della Monica, Luca Aceto, Anna Ingólfsdóttir, 2015, MFCS.

The Equational Theory of Weak Complete Simulation Semantics over BCCSP

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, 2012, SOFSEM.

Characteristic formulae for fixed-point semantics: a general framework

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2009, Mathematical Structures in Computer Science.

Axiomatizing Weak Ready Simulation Semantics over BCCSP

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, 2011, ICTAC.

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, 2011, Inf. Process. Lett..

Equational Axioms for Probabilistic Bisimilarity

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2002, AMAST.

Characteristic formulae for timed automata

Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, 2000, RAIRO Theor. Informatics Appl..

An operational guide to monitorability with applications to regular properties

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2021, Software and Systems Modeling.

Testing Equivalence vs. Runtime Monitoring

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.

A Framework for Parameterized Monitorability

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2018, FoSSaCS.

Lifting non-finite axiomatizability results to extensions of process algebras

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2010, Acta Informatica.

The equational theory of prebisimilarity over basic CCS with divergence

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2008, Inf. Process. Lett..

A fully abstract denotational model for observational precongruence

Anna Ingólfsdóttir, Andrea Schalk, A. Ingólfsdóttir, 1995, Theor. Comput. Sci..

A Characterization of Finitary Bisimulation

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1997, Inf. Process. Lett..

Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 1995, Inf. Comput..

On the Finitary Bisimulation

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1995 .

CPO Models for a Class of GSOS Languages

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1995, TAPSOFT.

On the specification of modal systems: A comparison of three frameworks

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2013, Sci. Comput. Program..

Graphical representation of covariant-contravariant modal formulae

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2011, EXPRESS.

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2011, FSEN.

Characteristic Formulae for Processes with Divergence

Bernhard Steffen, Anna Ingólfsdóttir, B. Steffen, 1994, Inf. Comput..

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Reactive Systems: Figures and tables

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Developing Theoretical Foundations for Runtime Enforcement pdf

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2018, ArXiv.

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2021, FORTE.

Impossibility Results for the Equational Theory of Timed CCS

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2007, CALCO.

Characteristic Formulae: From Automata to Logic

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 2007, Bull. EATCS.

An Introduction to Milner ’ s CCS

Anna Ingólfsdóttir, A. Ingólfsdóttir, Larsen, 2004 .

Logical characterisations, rule formats and compositionality for input-output conformance simulation

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2019, J. Log. Algebraic Methods Program..

Compositional Reasoning for Multi-modal Logics

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2013, LFCS.

Proving the validity of equations in GSOS languages using rule-matching bisimilarity

Luca Aceto, Anna Ingólfsdóttir, Matteo Cimini, 2012, Mathematical Structures in Computer Science.

Decompositional Reasoning about the History of Parallel Processes

Arnar Birgisson, Luca Aceto, Anna Ingólfsdóttir, 2011, FSEN.

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Luca Aceto, Anna Ingólfsdóttir, Matteo Cimini, 2010, SOS.

Testing Hennessy-Milner Logic with Recursion

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1998, FoSSaCS.

What is Theoretical Computer Science? (Preliminary Version)

Anna Ingólfsdóttir, Luca Aceto, L. Aceto, 2005 .

An Operational Guide to Monitorability pdf

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2019, SEFM.

Reactive Systems: Modelling mutual exclusion algorithms

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Rule formats for determinism and idempotence

Arnar Birgisson, Luca Aceto, Anna Ingólfsdóttir, 2009, Sci. Comput. Program..

A unified rule format for bounded nondeterminism in SOS with terms as labels

Luca Aceto, Anna Ingólfsdóttir, Ignacio Fábregas, 2017, J. Log. Algebraic Methods Program..

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2010, Inf. Process. Lett..

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2004, Log. Methods Comput. Sci..

Adventures in monitorability: from branching to linear time and back again

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2019, Proc. ACM Program. Lang..

A Foundation for Runtime Monitoring

Dario Della Monica, Luca Aceto, Anna Ingólfsdóttir, 2017, RV.

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Luca Aceto, Anna Ingólfsdóttir, Marjan Sirjani, 2011, Sci. Comput. Program..

Sigma algebras in probabilistic epistemic dynamics

Luca Aceto, Anna Ingólfsdóttir, Joshua Sack, 2011, TARK XIII.

Models, Languages, and Tools for Concurrent and Distributed Programming

Luca Aceto, Anna Ingólfsdóttir, Antonis Achilleos, 2019, Lecture Notes in Computer Science.

A Survey of Runtime Monitoring Instrumentation Techniques

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2017, PrePost@iFM.

PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates

Luca Aceto, Anna Ingólfsdóttir, Georgiana Caltais, 2011, CALCO.

Axiomatizing GSOS with Predicates

Luca Aceto, Anna Ingólfsdóttir, Georgiana Caltais, 2011, SOS.

In search of lost time: Axiomatising parallel composition in process algebras

Bas Luttik, Luca Aceto, Elli Anastasiadi, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

On the axiomatisability of priority

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2008, Mathematical Structures in Computer Science.

Preface (Special issue on the IFIP WG1.8 Workshop on Applying Concurrency Research in Industry)

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2009 .

On the Axiomatisability of Parallel Composition

Mathias R. Perdesen, L. Aceto, A. Ingólfsdóttir, 2021, Log. Methods Comput. Sci..

On the axiomatisability of priority III: Priority strikes again

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2020, Theor. Comput. Sci..

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2013, CALCO.

Meta SOS - A Maude Based SOS Meta-Theory Framework

Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac, 2013, EXPRESS/SOS.

SOS rule formats for idempotent terms and idempotent unary operators

Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac, 2013, J. Log. Algebraic Methods Program..

On the axiomatizability of priority II

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2011, Theor. Comput. Sci..

On Rule Formats for Zero and Unit Elements

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2010, MFPS.

A Rule Format for Unit Elements

Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, 2009, SOFSEM.

Teaching Concurrency: Theory in Practice

Kim G. Larsen, Jirí Srba, Luca Aceto, 2009, TFM.

Ready to Preorder: Get Your BCCSP Axiomatization for Free!

Luca Aceto, Anna Ingólfsdóttir, Wan Fokkink, 2007, CALCO.

CCS with Hennessy's merge has no finite-equational axiomatization

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2005, Theor. Comput. Sci..

CCS with Hennessy's merge has no finite equational axiomatization

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2003 .

A semantic theory for value-passing processes based on the late approach

Anna Ingólfsdóttir, A. Ingólfsdóttir, 2003, Inf. Comput..

Late and Early Semantics Coincide for Testing

Anna Ingólfsdóttir, A. Ingólfsdóttir, 1995, Theor. Comput. Sci..

Communicating processes with value-passing and assignments

Anna Ingólfsdóttir, Matthew Hennessy, M. Hennessy, 1993, Formal Aspects of Computing.

A Theory of Testing for ACP

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 1991, CONCUR.

A Theory of Communicating Processes with Value-Passing

Anna Ingólfsdóttir, Matthew Hennessy, M. Hennessy, 1990, ICALP.

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum

Bas Luttik, Luca Aceto, Anna Ingólfsdóttir, 2020, CONCUR.

On the Axiomatizability of Priority III: The Return of Sequential Composition

Luca Aceto, Anna Ingólfsdóttir, Elli Anastasiadi, 2019, ICTCS.

Trace Simulation Semantics is not Finitely Based over BCCSP

Luca Aceto, Anna Ingólfsdóttir, David de Frutos-Escrig, 2017, Acta Cybern..

On Verifying Hennessy-Milner Logic with Recursion at Runtime

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2015, RV.

Algebraic Properties for Free!

Luca Aceto, Anna Ingólfsdóttir, L. Aceto, 2009, Bull. EATCS.

Comparing controlled system synthesis and suppression enforcement

Luca Aceto, Anna Ingólfsdóttir, Adrian Francalanza, 2019, International Journal on Software Tools for Technology Transfer.

Axiomatizing Tropical Semirings

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2001, FoSSaCS.

Verification of the legOS Scheduler using Uppaal

A. Ingólfsdóttir, L. Halkjaer, Karen Haervig, 2000, MTCS.

The Way We Were: Structural Operational Semantics Research in Perspective

L. Aceto, A. Ingólfsdóttir, Pierluigi Crescenzi, 2023, EXPRESS/SOS.

A Fully Equational Proof of Parikh's Theorem

Luca Aceto, Anna Ingólfsdóttir, Zoltán Ésik, 2001, RAIRO Theor. Informatics Appl..

Relating semantic models for the object calculus

Luca Aceto, Anna Ingólfsdóttir, Josva Kleist, 1999, EXPRESS.

A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness

A. Ingólfsdóttir, 1995 .

A Theory of Communicating Processes with Value Passing

Anna Ingólfsdóttir, Matthew Hennessy, M. Hennessy, 1993, Inf. Comput..

A Symbolic Approach to Value-Passing Processes

Anna Ingólfsdóttir, Huimin Lin, A. Ingólfsdóttir, 2001, Handbook of Process Algebra.

A ground-complete axiomatization of stateless bisimilarity over Linda

Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac, 2015, Inf. Process. Lett..

Weak Semantics Based on Lighted Button Pressing Experiments

Anna Ingólfsdóttir, A. Ingólfsdóttir, 1996, CSL.

A Menagerie of Non-Finitely Based Process Semantics over BPA ∗ : From Ready Simulation Semantics to Completed Tracs

L. Aceto, A. Ingólfsdóttir, W. Fokkink, 1996 .

Models, Algorithms, Logics and Tools

Axel Legay, Luca Aceto, Anna Ingólfsdóttir, 2017, Lecture Notes in Computer Science.

On the Axiomatizability of Priority

L. Aceto, A. Ingólfsdóttir, W. Fokkink, 2006, ICALP.

Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings

Anna Ingólfsdóttir, Zoltán Ésik, Z. Ésik, 2002, Fixed Points in Computer Science.