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
- 2025
[c109]Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir:
The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. CSL 2025: 26:1-26:18- 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) - [c108]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR 2024: 4:1-4:19 - [c107]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. ECOOP 2024: 1:1-1:27 - [c106]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components. ECOOP 2024: 2:1-2:33 - [c105]Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. ISoLA (1) 2024: 409-426 - [i30]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) - [i29]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? CoRR abs/2402.00970 (2024) - [i28]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) - [i27]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) - [i26]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) - [i25]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CoRR abs/2405.12882 (2024) - [i24]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. CoRR abs/2405.12976 (2024) - [i23]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) - [i22]Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Extended Version). CoRR abs/2406.19904 (2024) - [i21]Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. CoRR abs/2407.15676 (2024) - [i20]Luca Aceto, Daniele Gorla, Stian Lybech:
Typing Composite Subjects. CoRR abs/2411.13732 (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]Luca Aceto:
Report on The EATCS General Assembly. Bull. EATCS 117 (2015) - [j86]Luca Aceto:
Report on ICALP 2015. Bull. EATCS 117 (2015) - [j85]Luca Aceto:
Report on ICE-TCS tenth anniversary. Bull. EATCS 117 (2015) - [j84]Luca Aceto:
Report on ICTCS 2015. Bull. EATCS 117 (2015) - [j83]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) - [c69]Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85 - [c68]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? MFCS (1) 2015: 76-88 - [c67]Luca Aceto, Andrea Morichetta, Francesco Tiezzi:
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204 - [c66]Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV 2015: 71-86 - [e12]Luca Aceto, David de Frutos-Escrig:
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 [contents] - 2014
- [j82]Luca Aceto:
Letter from the President. Bull. EATCS 112 (2014) - [j81]Luca Aceto:
Letter from the President. Bull. EATCS 113 (2014) - [j80]Luca Aceto:
Letter from the President. Bull. EATCS 114 (2014) - [j79]Luca Aceto:
Foreword to the contributions by two EATCS award-recipients. Bull. EATCS 114 (2014) - [j78]Luca Aceto:
Report on ICALP 2014. Bull. EATCS 114 (2014) - [j77]Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir:
Report on Two events at ICE-TCS, Reykjavik University. Bull. EATCS 114 (2014) - [j76]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) - [j75]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) - [j74]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) - [c65]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
- [j73]Luca Aceto:
Letter from the President. Bull. EATCS 109: 3-5 (2013) - [j72]Luca Aceto:
Letter from the President. Bull. EATCS 110: 3-6 (2013) - [j71]Luca Aceto:
Letter from the President. Bull. EATCS 111 (2013) - [j70]Luca Aceto:
Report on the General Assembly 2013. Bull. EATCS 111 (2013) - [j69]Luca Aceto:
Report on ICALP 2013. Bull. EATCS 111 (2013) - [j68]Luca Aceto, Monika Henzinger, Jirí Sgall:
38th International Colloquium on Automata, Languages and Programming. Inf. Comput. 222: 1 (2013) - [j67]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) - [c64]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 - [c63]Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack:
Compositional Reasoning for Multi-modal Logics. LFCS 2013: 1-15 - [c62]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 - [c61]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM 2013: 108-120 - [c60]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 - [c59]Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Meta SOS - A Maude Based SOS Meta-Theory Framework. EXPRESS/SOS 2013: 93-107 - 2012
- [j66]Luca Aceto:
Letter from the President. Bull. EATCS 108: 11-13 (2012) - [j65]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) - [j64]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) - [j63]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) - [j62]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) - [c58]Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir:
Algebraic Synchronization Trees and Processes. ICALP (2) 2012: 30-41 - [c57]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 - [c56]Luca Aceto, Anna Ingólfsdóttir:
Characteristic Formulae for Relations with Nested Fixed Points. FICS 2012: 15-22 - [p3]Luca Aceto, Anna Ingólfsdóttir, Jirí Srba:
The algorithmics of bisimilarity. Advanced Topics in Bisimulation and Coinduction 2012: 100-172 - 2011
- [j61]Luca Aceto:
The Concurrency Column. Bull. EATCS 105: 72 (2011) - [j60]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) - [j59]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) - [j58]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) - [c55]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 - [c54]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47 - [c53]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 - [c52]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 - [c51]Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule Formats for Distributivity. LATA 2011: 80-91 - [c50]Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack:
Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199 - [c49]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 - [c48]Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates. SOS 2011: 1-15 - [c47]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 - [e11]Luca Aceto, Monika Henzinger, Jirí Sgall:
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6755, Springer 2011, ISBN 978-3-642-22005-0 [contents] - [e10]Luca Aceto, Monika Henzinger, Jirí Sgall:
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6756, Springer 2011, ISBN 978-3-642-22011-1 [contents] - [e9]Luca Aceto, Mohammad Reza Mousavi:
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 60, 2011 [contents] - 2010
- [j57]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) - [j56]Luca Aceto, Anna Ingólfsdóttir, Joshua Sack:
Resource bisimilarity and graded bisimilarity coincide. Inf. Process. Lett. 111(2): 68-76 (2010) - [c46]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
A Rule Format for Unit Elements. SOFSEM 2010: 141-152 - [c45]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 - [e8]Luca Aceto, Pawel Sobocinski:
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. EPTCS 32, 2010 [contents]
2000 – 2009
- 2009
- [j55]Luca Aceto, Anna Ingólfsdóttir:
Algebraic Properties for Free! Bull. EATCS 99: 82-103 (2009) - [j54]Luca Aceto, Cecilia Magherini:
On the relations between B2V Ms and Runge-Kutta collocation methods. J. Comput. Appl. Math. 231(1): 11-23 (2009) - [j53]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. J. Log. Algebraic Methods Program. 78(4) (2009) - [j52]Luca Aceto, Anna Ingólfsdóttir:
Foreword: special issue in memory of Nadia Busi. Math. Struct. Comput. Sci. 19(6): 1061-1063 (2009) - [j51]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) - [c44]Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161 - [c43]Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba:
Teaching Concurrency: Theory in Practice. TFM 2009: 158-175 - [c42]Luca Aceto, Anna Ingólfsdóttir, Joshua Sack:
Characteristic Formulae for Fixed-Point Semantics: A General Framework. EXPRESS 2009: 1-15 - [c41]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
- [j50]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) - [j49]Luca Aceto, Silvio Capobianco:
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bull. EATCS 95: 220-240 (2008) - [j48]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Cancellation Theorem for BCCSP. Fundam. Informaticae 88(1-2): 1-21 (2008) - [j47]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) - [j46]Luca Aceto, Anna Ingólfsdóttir:
On the expressibility of priority. Inf. Process. Lett. 109(1): 83-85 (2008) - [j45]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 75(1): 1-2 (2008) - [j44]Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 77(1-2) (2008) - [j43]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) - [c40]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 - [c39]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 - [e7]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] - [e6]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
- [j42]Luca Aceto, Anna Ingólfsdóttir:
Characteristic Formulae: From Automata to Logic. Bull. EATCS 91: 58-75 (2007) - [j41]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 70(2): 119-120 (2007) - [j40]Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 72(1): 1-2 (2007) - [j39]Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 73(1-2): 1 (2007) - [c38]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79 - [c37]Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95 - [c36]Luca Aceto, Anna Ingólfsdóttir:
The Saga of the Axiomatization of Parallel Composition. CONCUR 2007: 2-16 - 2006
- [j38]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain:
Bisimilarity is not finitely based over BPA with interrupt. Theor. Comput. Sci. 366(1-2): 60-81 (2006) - [c35]Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir:
On the Axiomatizability of Priority. ICALP (2) 2006: 480-491 - [c34]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
A Finite Equational Base for CCS with Left Merge and Communication Merge. ICALP (2) 2006: 492-503 - [c33]Luca Aceto:
Impossibility Results in the Equational Logic of Processes. LMCS 2006: 3-6 - [e5]Luca Aceto, Andrew D. Gordon:
Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005. Electronic Notes in Theoretical Computer Science 162, Elsevier 2006 [contents] - [e4]Luca Aceto, Anna Ingólfsdóttir:
Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings. Lecture Notes in Computer Science 3921, Springer 2006, ISBN 3-540-33045-3 [contents] - [i2]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
A Finite Equational Base for CCS with Left Merge and Communication Merge. CoRR abs/cs/0608001 (2006) - 2005
- [j37]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. Log. Methods Comput. Sci. 1(1) (2005) - [j36]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
CCS with Hennessy's merge has no finite-equational axiomatization. Theor. Comput. Sci. 330(3): 377-405 (2005) - [j35]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Zoltán Ésik:
Guest editors' foreword: Process Algebra. Theor. Comput. Sci. 335(2-3): 127-129 (2005) - [c32]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles 2005: 338-367 - [c31]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain:
Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO 2005: 52-66 - [c30]Luca Aceto, Andrew D. Gordon:
Preface. APC 25 2005: 1-2 - [c29]Luca Aceto, Wan J. Fokkink:
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. APC 25 2005: 43-48 - [e3]Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(1), Elsevier 2005 [contents] - [i1]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge. CoRR abs/cs/0501040 (2005) - 2004
- [j34]Luca Aceto, Wan J. Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir:
Nested semantics over finite trees are equationally hard. Inf. Comput. 191(2): 203-232 (2004) - [j33]Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems. J. Comput. Sci. Technol. 19(1): 42-59 (2004) - [j32]Luca Aceto, Wan J. Fokkink:
Guesteditors'introduction: Special issue on Structural Operational Semantics. J. Log. Algebraic Methods Program. 60-61: 1-2 (2004) - [c28]Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Preface. SOS@CONCUR 2004: 1 - 2003
- [j31]Luca Aceto:
Some of My Favourite Results in Classic Process Algebra. Bull. EATCS 81: 90-108 (2003) - [j30]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A note on an expressiveness hierarchy for multi-exit iteration. Inf. Process. Lett. 87(1): 17-23 (2003) - [j29]Luca Aceto, Giuseppe Longo, Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Math. Struct. Comput. Sci. 13(4): 481-484 (2003) - [j28]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
The max-plus algebra of the natural numbers has no finite equational basis. Theor. Comput. Sci. 293(1): 169-188 (2003) - [j27]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Equational theories of tropical semirings. Theor. Comput. Sci. 298(3): 417-469 (2003) - [j26]Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen:
The power of reachability testing for timed automata. Theor. Comput. Sci. 300(1-3): 411-475 (2003) - [c27]Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems. ICTCS 2003: 174-187 - [c26]Luca Aceto:
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. EXPRESS 2003: 5-6 - [e2]Luca Aceto, Björn Victor:
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(1), Elsevier 2003 [contents] - 2002
- [j25]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
A Fully Equational Proof of Parikh's Theorem. RAIRO Theor. Informatics Appl. 36(2): 129-153 (2002) - [j24]Luca Aceto, François Laroussinie:
Is your model checker on time? On the complexity of model checking for timed modal logics. J. Log. Algebraic Methods Program. 52-53: 7-51 (2002) - [j23]Luca Aceto, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 (2002) - [c25]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Equational Axioms for Probabilistic Bisimilarity. AMAST 2002: 239-253 - [c24]Luca Aceto:
Kleene through the process algebraic glass. FICS 2002: 20-21 - [e1]Luca Aceto, Prakash Panangaden:
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 [contents] - 2001
- [j22]Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir:
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. Inf. Comput. 165(2): 119-122 (2001) - [j21]Luca Aceto, Wan J. Fokkink:
Preface: Process Algebra. Inf. Process. Lett. 80(1): 1 (2001) - [c23]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Axiomatizing Tropical Semirings. FoSSaCS 2001: 42-56 - [c22]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
2-Nested Simulation Is Not Finitely Equationally Axiomatizable. STACS 2001: 39-50 - [c21]Luca Aceto, Prakash Panangaden:
Preface. EXPRESS 2001: 137-138 - [p2]Luca Aceto, Wan J. Fokkink, Chris Verhoef:
Structural Operational Semantics. Handbook of Process Algebra 2001: 197-292 - [p1]Luca Aceto, Wan J. Fokkink, Chris Verhoef:
Conservative Extension in Structural Operational Semantics. Current Trends in Theoretical Computer Science 2001: 504-524 - 2000
- [j20]Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen:
Characteristic formulae for timed automata. RAIRO Theor. Informatics Appl. 34(6): 565-584 (2000) - [c20]Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. STACS 2000: 267-278
1990 – 1999
- 1999
- [j19]Luca Aceto, Wan J. Fokkink, Chris Verhoef:
Conservative Extension in Structural Operational Semantics. Bull. EATCS 69: 110-132 (1999) - [j18]Luca Aceto, Jan Friso Groote:
A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. 211(1-2): 339-374 (1999) - [c19]Luca Aceto, Anna Ingólfsdóttir:
Testing Hennessy-Milner Logic with Recursion. FoSSaCS 1999: 41-55 - [c18]Luca Aceto, François Laroussinie:
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. MFCS 1999: 125-136 - 1998
- [j17]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. Math. Struct. Comput. Sci. 8(3): 193-230 (1998) - [j16]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. Theor. Comput. Sci. 209(1-2): 163-178 (1998) - [c17]Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
A Cook's Tour of Equational Axiomatizations for Prefix Iteration. FoSSaCS 1998: 20-34 - [c16]Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen:
The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256 - [c15]Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen:
Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280 - 1997
- [j15]Luca Aceto, Wan J. Fokkink:
An Equational Axiomatization for Multi-Exit Iteration. Inf. Comput. 137(2): 121-158 (1997) - [j14]Luca Aceto, Anna Ingólfsdóttir:
A Characterization of Finitary Bisimulation. Inf. Process. Lett. 64(3): 127-134 (1997) - [c14]Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist:
Relating semantic models for the object calculus. EXPRESS 1997: 3-18 - 1996
- [j13]Luca Aceto, David Murphy:
Timing and Causality in Process Algebra. Acta Informatica 33(4): 317-350 (1996) - [j12]Luca Aceto, Rob J. van Glabbeek, Wan J. Fokkink, Anna Ingólfsdóttir:
Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996) - [j11]Luca Aceto, Anna Ingólfsdóttir:
CPO Models for Compact GSOS Languages. Inf. Comput. 129(2): 107-141 (1996) - [c13]Luca Aceto, Anna Ingólfsdóttir:
An Equational Axiomatization of Observation Congruence for Prefix Iteration. AMAST 1996: 195-209 - 1995
- [j10]Luca Aceto, Alan Jeffrey:
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Theor. Comput. Sci. 152(2): 251-268 (1995) - [c12]Luca Aceto, Anna Ingólfsdóttir:
CPO Models for a Class of GSOS Languages. TAPSOFT 1995: 439-453 - 1994
- [j9]Luca Aceto:
A Static View of Localities. Formal Aspects Comput. 6(2): 201-222 (1994) - [j8]Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations. Inf. Comput. 111(1): 1-52 (1994) - [j7]Luca Aceto, Matthew Hennessy:
Adding Action Refinement to a Finite Process Algebra. Inf. Comput. 115(2): 179-247 (1994) - [j6]Luca Aceto:
On "Axiomatising Finite Concurrent Processes". SIAM J. Comput. 23(4): 852-863 (1994) - [j5]Luca Aceto:
GSOS and Finite Labelled Transition Systems. Theor. Comput. Sci. 131(1): 181-195 (1994) - [c11]Luca Aceto:
Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. CONCUR 1994: 449-464 - 1993
- [j4]Luca Aceto, Matthew Hennessy:
Towards Action-Refinement in Process Algebras. Inf. Comput. 103(2): 204-269 (1993) - [c10]Luca Aceto, David Murphy:
On the Ill-Timed but Well-Caused. CONCUR 1993: 97-111 - 1992
- [j3]Luca Aceto:
History preserving, causal and mixed-ordering equivalence over stable event structures. Fundam. Informaticae 17(4): 319-331 (1992) - [j2]Luca Aceto:
Relating distributed, temporal and causal observations of simple processes. Fundam. Informaticae 17(4): 369-397 (1992) - [j1]Luca Aceto, Matthew Hennessy:
Termination, Deadlock, and Divergence. J. ACM 39(1): 147-187 (1992) - [c9]Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations. LICS 1992: 113-124 - 1991
- [b1]Luca Aceto:
Action refinement in process algebras. University of Sussex, Falmer, East Sussex, UK, 1991 - [c8]Luca Aceto, Anna Ingólfsdóttir:
A Theory of Testing for ACP. CONCUR 1991: 78-95 - [c7]Luca Aceto, Uffe Engberg:
Failures Semantics for a Simple Process Language with Refinement. FSTTCS 1991: 89-108 - [c6]Luca Aceto, Matthew Hennessy:
Adding Action Refinement to a Finite Process Algebra. ICALP 1991: 506-519 - [c5]Luca Aceto:
On Relating Concurency and Nondeterminism. MFPS 1991: 376-402 - [c4]Luca Aceto:
Full Abstraction for Series-Parallel Pomsets. TAPSOFT, Vol.1 1991: 1-25
1980 – 1989
- 1989
- [c3]Luca Aceto, Matthew Hennessy:
Towards Action-Refinement in Process Algebras. LICS 1989: 138-145 - [c2]Luca Aceto, Matthew Hennessy:
Termination, Deadlock and Divergence. Mathematical Foundations of Programming Semantics 1989: 301-318 - 1986
- [c1]Luca Aceto, Rocco De Nicola, Alessandro Fantechi:
Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20
Coauthor Index
[c109] [j138] [j137] [j136] [c106] [i30] [i29] [i28] [i27] [i26] [i23] [i22] [j135] [j134] [c104] [i19] [j131] [j130] [j129] [c103] [c102] [c101] [c100] [c98] [i18] [i16] [j127] [j126] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [i15] [i14] [i13] [j124] [j123] [j122] [c89] [i12] [i11] [j120] [j119] [j118] [j117] [c87] [c86] [c85] [c84] [c83] [i10] [i9] [i8] [c82] [c81] [i7] [i6] [i5] [j114] [j109] [j108] [j107] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [c73] [c72] [e14] [j105] [j102] [j92] [c71] [e13] [i4] [i3] [j83] [c68] [c66] [j77] [j76] [j75] [j74] [c65] [j67] [c64] [c63] [c62] [c61] [c60] [c59] [j65] [j64] [j63] [j62] [c58] [c57] [c56] [p3] [j60] [j59] [j58] [c55] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [j57] [j56] [c46] [c45] [j55] [j53] [j52] [j51] [c44] [c43] [c42] [c41] [j50] [j48] [j47] [j46] [j44] [j43] [c40] [c39] [e7] [e6] [j42] [j39] [c38] [c37] [c36] [j38] [c35] [c34] [e4] [i2] [j37] [j36] [j35] [c32] [c31] [i1] [j34] [j33] [j30] [j28] [j27] [c27] [j25] [c25] [j22] [c23] [c22] [j20] [c20] [c19] [j17] [j16] [c17] [j14] [c14] [j12] [j11] [c13] [c12] [c8]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
