default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Aceto
Person information
- affiliation: Reykjavík University, Iceland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j138]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Artifact). Dagstuhl Artifacts Ser. 10(2): 1:1-1:4 (2024)- [j137]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20(3) (2024) - [j136]Luca Aceto, Antonis Achilleos, Duncan Paul Attard
, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir:
A monitoring tool for linear-time μHML. Sci. Comput. Program. 232: 103031 (2024) - [c107]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR 2024: 4:1-4:19 - [c106]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. ECOOP 2024: 1:1-1:27 - [c105]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components. ECOOP 2024: 2:1-2:33 - [i29]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. CoRR abs/2402.00966 (2024) - [i28]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? CoRR abs/2402.00970 (2024) - [i27]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR abs/2402.00973 (2024) - [i26]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/2402.00982 (2024) - [i25]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. CoRR abs/2402.02847 (2024) - [i24]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CoRR abs/2405.12882 (2024) - [i23]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. CoRR abs/2405.12976 (2024) - [i22]Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir:
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum. CoRR abs/2405.13697 (2024) - [i21]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Extended Version). CoRR abs/2406.19904 (2024) - [i20]Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. CoRR abs/2407.15676 (2024) - 2023
- [j135]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On first-order runtime enforcement of branching-time properties. Acta Informatica 60(4): 385-451 (2023) - [j134]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. Log. Methods Comput. Sci. 19(1) (2023) - [c104]Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS 2023: 26-40 - [i19]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity results for modal logic with recursion via translations and tableaux. CoRR abs/2306.16881 (2023) - 2022
- [j133]Luca Aceto, Pierluigi Crescenzi:
CONCUR through time. Bull. EATCS 138 (2022) - [j132]Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi:
Interviews with the 2022 CONCUR Test-of-Time Award Recipients. Bull. EATCS 138 (2022) - [j131]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir:
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127: 100778 (2022) - [j130]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) - [j129]Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. 23(4): 22:1-22:56 (2022) - [c103]Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir:
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 1-26 - [c102]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen:
On Probabilistic Monitorability. Principles of Systems Design 2022: 325-342 - [c101]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik:
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CONCUR 2022: 6:1-6:18 - [c100]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 - [c99]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring Hyperproperties with Circuits. FORTE 2022: 1-10 - [c98]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. GandALF 2022: 34-48 - [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, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring hyperproperties with circuits. CoRR abs/2202.11570 (2022) - [i16]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
- [j128]Luca Aceto, Nathalie Bertrand, Nobuko Yoshida:
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS 135 (2021) - [j127]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) - [j126]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) - [c97]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
The Best a Monitor Can Do. CSL 2021: 7:1-7:23 - [c96]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 - [c95]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
On Benchmarking for Concurrent Runtime Verification. FASE 2021: 3-23 - [c94]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. FORTE 2021: 3-21 - [c93]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 - [c92]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 - [c91]Luca Aceto, Anna Ingólfsdóttir:
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. FMTea 2021: 1-17 - [i15]Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen:
On the Axiomatisability of Parallel Composition. CoRR abs/2102.11166 (2021) - [i14]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR abs/2104.09433 (2021) - [i13]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) - 2020
- [j125]Luca Aceto:
Interviews with the 2020 CONCUR Test-of-Time Award Recipients. Bull. EATCS 131 (2020) - [j124]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) - [j123]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112: 100529 (2020) - [j122]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) - [c90]Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c89]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
- [j121]Luca Aceto:
Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo Church Award Recipients. Bull. EATCS 128 (2019) - [j120]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) - [j119]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) - [j118]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) - [j117]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When are prime formulae characteristic? Theor. Comput. Sci. 777: 3-31 (2019) - [c88]Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani:
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 7-12 - [c87]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 - [c86]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 - [c85]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 - [c84]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
Comparing Controlled System Synthesis and Suppression Enforcement. RV 2019: 148-164 - [c83]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
- [j116]Luca Aceto:
Report on ICE-TCS Theory Day 2018. Bull. EATCS 126 (2018) - [c82]Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Runtime Enforcement via Suppressions. CONCUR 2018: 34:1-34:17 - [c81]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
- [j115]Luca Aceto, David de Frutos-Escrig:
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). Acta Informatica 54(1): 1-2 (2017) - [j114]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) - [j113]Luca Aceto:
Interview with Thomas Henzinger President of IST Austria. Bull. EATCS 121 (2017) - [j112]Luca Aceto:
Interview with Alexandra Silva Recipient of the 2017 Presburger Award. Bull. EATCS 122 (2017) - [j111]Luca Aceto:
Ten years of the European Research Council A view from theoretical computer science. Bull. EATCS 123 (2017) - [j110]Luca Aceto:
Computer Science at the Gran Sasso Science Institute. Bull. EATCS 123 (2017) - [j109]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) - [j108]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) - [j107]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) - [j106]Luca Aceto:
Spotlight on Marta Kwiatkowska. ACM SIGLOG News 4(1): 3-4 (2017) - [c80]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 - [c79]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop 2017: 20-30 - [c78]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir:
Monitoring for Silent Actions. FSTTCS 2017: 7:1-7:14 - [c77]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 - [c76]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 - [c75]Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. RV-CuBES 2017: 48-54 - [c74]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 - [c73]Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson:
On the Complexity of Determinizing Monitors. CIAA 2017: 1-13 - [c72]Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM 2017: 15-28 - [e14]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
- [j105]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) - [j104]Luca Aceto:
Letter from the President. Bull. EATCS 118 (2016) - [j103]Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016) - [j102]Luca Aceto, Anna Ingólfsdóttir:
Report on NWPT 2015. Bull. EATCS 118 (2016) - [j101]Luca Aceto:
Letter from the President. Bull. EATCS 119 (2016) - [j100]Luca Aceto:
Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel Prize. Bull. EATCS 119 (2016) - [j99]Luca Aceto:
Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award Recipients. Bull. EATCS 119 (2016) - [j98]Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas:
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016) - [j97]Luca Aceto:
Interview with Paul Spirakis, President of the EATCS. Bull. EATCS 120 (2016) - [j96]Luca Aceto:
Report on The EATCS Council Meeting. Bull. EATCS 120 (2016) - [j95]Luca Aceto:
Report on The EATCS General Assembly. Bull. EATCS 120 (2016) - [j94]Luca Aceto:
Report on ICALP 2016. Bull. EATCS 120 (2016) - [j93]Luca Aceto:
Abstracts of the EATCS Distinguished Dissertations 2015. Bull. EATCS 120 (2016) - [j92]Luca Aceto, Anna Ingólfsdóttir:
Zoltan Esik (1951-2016) In Memoriam. Bull. EATCS 120 (2016) - [c71]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 - [c70]Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson, Dharmalingam Ganesan:
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App. PrePost@IFM 2016: 16-30 - [e13]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
- [j91]Luca Aceto:
Letter from the President. Bull. EATCS 115 (2015) - [j90]Luca Aceto:
Letter from the President. Bull. EATCS 116 (2015) - [j89]Luca Aceto:
Letter from the President. Bull. EATCS 117 (2015) - [j88]Luca Aceto:
Report on The EATCS Council Meeting. Bull. EATCS 117 (2015) - [j87]