Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDAnna Ingólfsdóttir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j71]Luca Aceto, Antonis Achilleos, Elli Anastasiadi
, Anna Ingólfsdóttir:
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127: 100778 (2022)- [j70]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the Axiomatisability of Parallel Composition. Log. Methods Comput. Sci. 18(1) (2022) - [c79]Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
A Monitoring Tool for Linear-Time μHML. COORDINATION 2022: 200-219 - [i18]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR abs/2201.03108 (2022) - [i17]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik:
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CoRR abs/2206.13927 (2022) - 2021
- [j69]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20(2): 335-361 (2021) - [j68]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing controlled system synthesis and suppression enforcement. Int. J. Softw. Tools Technol. Transf. 23(4): 601-614 (2021) - [c78]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Best a Monitor Can Do. CSL 2021: 7:1-7:23 - [c77]Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL 2021: 8:1-8:17 - [c76]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
On Benchmarking for Concurrent Runtime Verification. FASE 2021: 3-23 - [c75]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. FORTE 2021: 3-21 - [c74]Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE 2021: 207-225 - [c73]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA 2021: 1203-1208 - [c72]Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik:
In search of lost time: Axiomatising parallel composition in process algebras. LICS 2021: 1-14 - [c71]Luca Aceto, Anna Ingólfsdóttir:
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. FMTea 2021: 1-17 - [i16]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the Axiomatisability of Parallel Composition. CoRR abs/2102.11166 (2021) - [i15]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR abs/2104.09433 (2021) - [i14]Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik:
In search of lost time: Axiomatising parallel composition in process algebras. CoRR abs/2105.00735 (2021) - [i13]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR abs/2110.03014 (2021) - 2020
- [j67]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing monitors for HML with recursion. J. Log. Algebraic Methods Program. 111: 100515 (2020) - [j66]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112: 100529 (2020) - [j65]Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the axiomatisability of priority III: Priority strikes again. Theor. Comput. Sci. 837: 223-246 (2020) - [c70]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. CONCUR 2020: 18:1-18:22 - [i12]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir:
An axiomatization of verdict equivalence over regular monitors. CoRR abs/2006.05463 (2020) - [i11]Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR abs/2010.01943 (2020)
2010 – 2019
- 2019
- [j64]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106: 78-106 (2019) - [j63]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15(4) (2019) - [j62]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL): 52:1-52:29 (2019) - [j61]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When are prime formulae characteristic? Theor. Comput. Sci. 777: 3-31 (2019) - [c69]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 28-44 - [c68]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems 2019: 259-275 - [c67]Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen:
On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS 2019: 145-157 - [c66]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing Controlled System Synthesis and Suppression Enforcement. RV 2019: 148-164 - [c65]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. SEFM 2019: 433-453 - [i10]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR abs/1902.00435 (2019) - [i9]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Cost of Monitoring Alone. CoRR abs/1902.05152 (2019) - [i8]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. CoRR abs/1906.00766 (2019) - 2018
- [c64]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CONCUR 2018: 34:1-34:17 - [c63]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
A Framework for Parameterized Monitorability. FoSSaCS 2018: 203-220 - [i7]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Developing Theoretical Foundations for Runtime Enforcement. CoRR abs/1804.08917 (2018) - [i6]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CoRR abs/1807.01004 (2018) - [i5]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CoRR abs/1807.02081 (2018) - 2017
- [j60]Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir:
Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern. 23(1): 81-90 (2017) - [j59]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51(1): 87-116 (2017) - [j58]Luca Aceto, Anna Ingólfsdóttir:
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015). J. Log. Algebraic Methods Program. 87: 5 (2017) - [j57]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir:
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92: 64-86 (2017) - [c62]Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén:
Rule Formats for Nominal Process Calculi. CONCUR 2017: 10:1-10:16 - [c61]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop 2017: 20-30 - [c60]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
Monitoring for Silent Actions. FSTTCS 2017: 7:1-7:14 - [c59]Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir:
A Foundation for Runtime Monitoring. RV 2017: 8-29 - [c58]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Suite of Monitoring Tools for Erlang. RV-CuBES 2017: 41-47 - [c57]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. RV-CuBES 2017: 48-54 - [c56]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM 2017: 37-48 - [c55]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
On the Complexity of Determinizing Monitors. CIAA 2017: 1-13 - [c54]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM 2017: 15-28 - [e7]Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2 [contents] - 2016
- [j56]Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [j55]Luca Aceto, Anna Ingólfsdóttir:
Report on NWPT 2015. Bull. EATCS 118 (2016) - [j54]Luca Aceto, Anna Ingólfsdóttir:
Zoltan Esik (1951-2016) In Memoriam. Bull. EATCS 120 (2016) - [c53]Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi 2016: 313-343 - [e6]Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents] - [i4]Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir:
Algebraic Synchronization Trees and Processes. CoRR abs/1610.00450 (2016) - [i3]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
Determinizing Monitors for HML with Recursion. CoRR abs/1611.10212 (2016) - 2015
- [j53]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
A ground-complete axiomatization of stateless bisimilarity over Linda. Inf. Process. Lett. 115(2): 212-220 (2015) - [c52]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? MFCS (1) 2015: 76-88 - [c51]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV 2015: 71-86 - 2014
- [j52]Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir:
Report on Two events at ICE-TCS, Reykjavik University. Bull. EATCS 114 (2014) - [j51]Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac:
SOS rule formats for idempotent terms and idempotent unary operators. J. Log. Algebraic Methods Program. 83(1): 64-80 (2014) - [j50]Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson:
Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Sci. Comput. Program. 89: 41-68 (2014) - [j49]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing weak simulation semantics over BCCSP. Theor. Comput. Sci. 537: 42-71 (2014) - [c50]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA 2014: 267-281 - 2013
- [j48]Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78(12): 2468-2487 (2013) - [c49]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50 - [c48]Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack:
Compositional Reasoning for Multi-modal Logics. LFCS 2013: 1-15 - [c47]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17 - [c46]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM 2013: 108-120 - [c45]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72 - [c44]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Meta SOS - A Maude Based SOS Meta-Theory Framework. EXPRESS/SOS 2013: 93-107 - 2012
- [j47]Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack:
Characteristic formulae for fixed-point semantics: a general framework. Math. Struct. Comput. Sci. 22(2): 125-173 (2012) - [j46]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir:
Proving the validity of equations in GSOS languages using rule-matching bisimilarity. Math. Struct. Comput. Sci. 22(2): 291-331 (2012) - [j45]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule formats for determinism and idempotence. Sci. Comput. Program. 77(7-8): 889-907 (2012) - [j44]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule formats for distributivity. Theor. Comput. Sci. 458: 1-28 (2012) - [c43]Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir:
Algebraic Synchronization Trees and Processes. ICALP (2) 2012: 30-41 - [c42]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. SOFSEM 2012: 141-152 - [c41]Luca Aceto, Anna Ingólfsdóttir:
Characteristic Formulae for Relations with Nested Fixed Points. FICS 2012: 15-22 - [p2]Luca Aceto, Anna Ingólfsdóttir, Jirí Srba:
The algorithmics of bisimilarity. Advanced Topics in Bisimulation and Coinduction 2012: 100-172 - 2011
- [j43]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett. 111(9): 408-413 (2011) - [j42]Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol:
On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011) - [j41]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412(28): 3045-3071 (2011) - [c40]Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO 2011: 378-385 - [c39]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47 - [c38]Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN 2011: 268-283 - [c37]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24 - [c36]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule Formats for Distributivity. LATA 2011: 80-91 - [c35]Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack:
Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199 - [c34]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani:
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. FOCLASA 2011: 1-19 - [c33]Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates. SOS 2011: 1-15 - [c32]Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae. EXPRESS 2011: 1-15 - 2010
- [j40]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Lifting non-finite axiomatizability results to extensions of process algebras. Acta Informatica 47(3): 147-177 (2010) - [j39]Luca Aceto, Anna Ingólfsdóttir, Joshua Sack:
Resource bisimilarity and graded bisimilarity coincide. Inf. Process. Lett. 111(2): 68-76 (2010) - [c31]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
A Rule Format for Unit Elements. SOFSEM 2010: 141-152 - [c30]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
On Rule Formats for Zero and Unit Elements. MFPS 2010: 145-160
2000 – 2009
- 2009
- [j38]Luca Aceto, Anna Ingólfsdóttir:
Algebraic Properties for Free! Bull. EATCS 99: 82-103 (2009) - [j37]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. J. Log. Algebraic Methods Program. 78(4) (2009) - [j36]Luca Aceto, Anna Ingólfsdóttir:
Foreword: special issue in memory of Nadia Busi. Math. Struct. Comput. Sci. 19(6): 1061-1063 (2009) - [j35]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
A finite equational base for CCS with left merge and communication merge. ACM Trans. Comput. Log. 10(1): 6:1-6:26 (2009) - [c29]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161 - [c28]Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
Teaching Concurrency: Theory in Practice. TFM 2009: 158-175 - [c27]Luca Aceto, Anna Ingólfsdóttir, Joshua Sack:
Characteristic Formulae for Fixed-Point Semantics: A General Framework. EXPRESS 2009: 1-15 - [c26]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir:
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. SOS 2009: 1-16 - 2008
- [j34]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94: 113-129 (2008) - [j33]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Cancellation Theorem for BCCSP. Fundam. Informaticae 88(1-2): 1-21 (2008) - [j32]Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik:
The equational theory of prebisimilarity over basic CCS with divergence. Inf. Process. Lett. 108(5): 284-289 (2008) - [j31]Luca Aceto, Anna Ingólfsdóttir:
On the expressibility of priority. Inf. Process. Lett. 109(1): 83-85 (2008) - [j30]Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 77(1-2) (2008) - [j29]Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir:
On the axiomatisability of priority. Math. Struct. Comput. Sci. 18(1): 5-28 (2008) - [c25]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. IFIP TCS 2008: 301-316 - [c24]Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg:
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. IFIP TCS 2008: 317-332 - [e5]Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games. Lecture Notes in Computer Science 5125, Springer 2008, ISBN 978-3-540-70574-1 [contents] - [e4]Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz:
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. Lecture Notes in Computer Science 5126, Springer 2008, ISBN 978-3-540-70582-6 [contents] - 2007
- [j28]Luca Aceto, Anna Ingólfsdóttir:
Characteristic Formulae: From Automata to Logic. Bull. EATCS 91: 58-75 (2007) - [j27]Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 73(1-2): 1 (2007) - [c23]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79 - [c22]