Luca Aceto

305 papers A* 4A 5B 41C 8Misc 1Journal 176Unranked 54
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Sound Type System for Secure Currency Flow.
ACM Trans. Program. Lang. Syst.
Luca Aceto, Daniele Gorla, Stian Lybech
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2025 J jnl
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Non finite axiomatisability of weak bisimulation-based congruences.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 — conf
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract).
GandALF
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2025 B conf
The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum.
CSL
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2025 J jnl
The complexity of deciding characteristic formulae modulo nested simulation.
CoRR
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2025 J jnl
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts.
CoRR
Stian Lybech, Daniele Gorla, Luca Aceto
2024 A conf
A Sound Type System for Secure Currency Flow.
ECOOP
Luca Aceto, Daniele Gorla, Stian Lybech
2024 J jnl
A Sound Type System for Secure Currency Flow.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech
2024 J jnl
A monitoring tool for linear-time
Sci. Comput. Program.
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
A unified rule format for bounded nondeterminism in SOS with terms as labels.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
Log. Methods Comput. Sci.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Logical characterisations, rule formats and compositionality for input-output conformance simulation.
CoRR
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2024 J jnl
On the specification of modal systems: A comparison of three frameworks.
CoRR
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2024 — conf
Preventing Out-of-Gas Exceptions by Typing.
ISoLA (1)
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024 J jnl
Preventing Out-of-Gas Exceptions by Typing.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024 J jnl
Rule Formats for Nominal Process Calculi.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2024 J jnl
Runtime Instrumentation for Reactive Components (Artifact).
Dagstuhl Artifacts Ser.
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Runtime Instrumentation for Reactive Components (Extended Version).
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 A conf
Runtime Instrumentation for Reactive Components.
ECOOP
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum.
CoRR
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2024 J jnl
The role of an invited speaker at a conference.
Bull. EATCS
Luca Aceto
2024 J jnl
Typing Composite Subjects.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech
2024 J jnl
When Are Prime Formulae Characteristic?
CoRR
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2023 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
Log. Methods Comput. Sci.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2023 J jnl
On first-order runtime enforcement of branching-time properties.
Acta Informatica
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2023 — conf
The Way We Were: Structural Operational Semantics Research in Perspective.
EXPRESS/SOS
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2022 C conf
A Monitoring Tool for Linear-Time μHML.
COORDINATION
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2022 J jnl
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Trans. Comput. Log.
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2022 J jnl
Axiomatizing recursion-free, regular monitors.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2022 J jnl
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2022 J jnl
CONCUR through time.
Bull. EATCS
Luca Aceto, Pierluigi Crescenzi
2022 — conf
Complexity through Translations for Modal Logic with Recursion.
GandALF
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2022 J jnl
Interviews with the 2022 CONCUR Test-of-Time Award Recipients.
Bull. EATCS
Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi
2022 C conf
Monitoring Hyperproperties with Circuits.
FORTE
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 J jnl
Monitoring hyperproperties with circuits.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 — conf
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.
A Journey from Process Algebra via Timed Automata to Model Learning
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2022 J jnl
On the Axiomatisability of Parallel Composition.
Log. Methods Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2022 B conf
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2022 J jnl
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components.
CoRR
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
An operational guide to monitorability with applications to regular properties.
Softw. Syst. Model.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 B conf
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CSL
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2021 C conf
Better Late Than Never or: Verifying Asynchronous Components at Runtime.
FORTE
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 J jnl
Comparing controlled system synthesis and suppression enforcement.
Int. J. Softw. Tools Technol. Transf.
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 A* conf
In search of lost time: Axiomatising parallel composition in process algebras.
LICS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
In search of lost time: Axiomatising parallel composition in process algebras.
CoRR
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
Interviews with the 2021 CONCUR Test-of-Time Award Recipients.
Bull. EATCS
Luca Aceto, Nathalie Bertrand, Nobuko Yoshida
2021 — conf
Introducing Formal Methods to First-Year Students in Three Intensive Weeks.
FMTea
Luca Aceto, Anna Ingólfsdóttir
2021 B conf
On Benchmarking for Concurrent Runtime Verification.
FASE
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
2021 C conf
On Bidirectional Runtime Enforcement.
FORTE
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2021 J jnl
On the Axiomatisability of Parallel Composition.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2021 B conf
The Best a Monitor Can Do.
CSL
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2020 J jnl
An axiomatization of verdict equivalence over regular monitors.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2020 J jnl
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CoRR
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2020 B conf
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper).
CONCUR
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
2020 J jnl
Determinizing monitors for HML with recursion.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2020 J jnl
Interviews with the 2020 CONCUR Test-of-Time Award Recipients.
Bull. EATCS
Luca Aceto
2020 B conf
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci.
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
The complexity of identifying characteristic formulae.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2019 J jnl
Adventures in Monitorability: From Branching to Linear Time and Back Again.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
Adventures in monitorability: from branching to linear time and back again.
Proc. ACM Program. Lang.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
An Operational Guide to Monitorability.
SEFM
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
An Operational Guide to Monitorability.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way.
Models, Languages, and Tools for Concurrent and Distributed Programming
Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
2019 B conf
Comparing Controlled System Synthesis and Suppression Enforcement.
RV
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2019 J jnl
Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo Church Award Recipients.
Bull. EATCS
Luca Aceto
2019 J jnl
Logical characterisations, rule formats and compositionality for input-output conformance simulation.
J. Log. Algebraic Methods Program.
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2019 — conf
On the Axiomatizability of Priority III: The Return of Sequential Composition.
ICTCS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
2019 J jnl
Rule Formats for Nominal Process Calculi.
Log. Methods Comput. Sci.
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2019 — conf
Testing Equivalence vs. Runtime Monitoring.
Models, Languages, and Tools for Concurrent and Distributed Programming
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
The Cost of Monitoring Alone.
From Reactive Systems to Cyber-Physical Systems
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
The Cost of Monitoring Alone.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
When are prime formulae characteristic?
Theor. Comput. Sci.
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2018 B conf
A Framework for Parameterized Monitorability.
FoSSaCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
Developing Theoretical Foundations for Runtime Enforcement.
CoRR
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2018 B conf
On Runtime Enforcement via Suppressions.
CONCUR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
On Runtime Enforcement via Suppressions.
CoRR
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2018 J jnl
Report on ICE-TCS Theory Day 2018.
Bull. EATCS
Luca Aceto
2018 J jnl
Rule Formats for Nominal Process Calculi.
CoRR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
A Generic Instrumentation Tool for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Suite of Monitoring Tools for Erlang.
RV-CuBES
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
A Survey of Runtime Monitoring Instrumentation Techniques.
PrePost@iFM
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 J jnl
A unified rule format for bounded nondeterminism in SOS with terms as labels.
J. Log. Algebraic Methods Program.
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
2017 J jnl
Computer Science at the Gran Sasso Science Institute.
Bull. EATCS
Luca Aceto
2017 J jnl
Interview with Alexandra Silva Recipient of the 2017 Presburger Award.
Bull. EATCS
Luca Aceto
2017 J jnl
Interview with Thomas Henzinger President of IST Austria.
Bull. EATCS
Luca Aceto
2017 B conf
Logical Characterisations and Compositionality of Input-Output Conformance Simulation.
SOFSEM
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2017 — ed.
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools
Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
2017 J jnl
Monitorability for the Hennessy-Milner logic with recursion.
Formal Methods Syst. Des.
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017 — conf
Monitoring for Silent Actions.
FSTTCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2017 C conf
On the Complexity of Determinizing Monitors.
CIAA
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2017 J jnl
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015).
J. Log. Algebraic Methods Program.
Luca Aceto, Anna Ingólfsdóttir
2017 B conf
Rule Formats for Nominal Process Calculi.
CONCUR
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
2017 J jnl
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
Acta Informatica
Luca Aceto, David de Frutos-Escrig
2017 J jnl
Spotlight on Marta Kwiatkowska.
ACM SIGLOG News
Luca Aceto
2017 J jnl
Ten years of the European Research Council A view from theoretical computer science.
Bull. EATCS
Luca Aceto
2017 J jnl
Trace Simulation Semantics is not Finitely Based over BCCSP.
Acta Cybern.
Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir
2017 — conf
eAOP: an aspect oriented programming framework for Erlang.
Erlang Workshop
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2016 J jnl
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2016 J jnl
Abstracts of the EATCS Distinguished Dissertations 2015.
Bull. EATCS
Luca Aceto
2016 J jnl
Algebraic Synchronization Trees and Processes.
CoRR
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
2016 J jnl
Determinizing Monitors for HML with Recursion.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2016 J jnl
EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
Bull. EATCS
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
2016 J jnl
Interview with Paul Spirakis, President of the EATCS.
Bull. EATCS
Luca Aceto
2016 J jnl
Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award Recipients.
Bull. EATCS
Luca Aceto
2016 J jnl
Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel Prize.
Bull. EATCS
Luca Aceto
2016 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2016 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2016 — conf
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App.
PrePost@IFM
Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson, Dharmalingam Ganesan
2016 — ed.
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016.
PrePost@IFM
Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir
2016 J jnl
Report on ICALP 2016.
Bull. EATCS
Luca Aceto
2016 J jnl
Report on NWPT 2015.
Bull. EATCS
Luca Aceto, Anna Ingólfsdóttir
2016 J jnl
Report on The EATCS Council Meeting.
Bull. EATCS
Luca Aceto
2016 J jnl
Report on The EATCS General Assembly.
Bull. EATCS
Luca Aceto
2016 — conf
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.
Semantics, Logics, and Calculi
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
2016 J jnl
Viewpoints on "Logic activities in Europe", twenty years later.
Bull. EATCS
Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi
2016 J jnl
Zoltan Esik (1951-2016) In Memoriam.
Bull. EATCS
Luca Aceto, Anna Ingólfsdóttir
2015 B ed.
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1-4, 2015
CONCUR
Luca Aceto, David de Frutos-Escrig
2015 — conf
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
FACS
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
2015 J jnl
A ground-complete axiomatization of stateless bisimilarity over Linda.
Inf. Process. Lett.
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2015 — conf
Decision Support for Mobile Cloud Computing Applications via Model Checking.
MobileCloud
Luca Aceto, Andrea Morichetta, Francesco Tiezzi
2015 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2015 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2015 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2015 B conf
On Verifying Hennessy-Milner Logic with Recursion at Runtime.
RV
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2015 J jnl
Report on ICALP 2015.
Bull. EATCS
Luca Aceto
2015 J jnl
Report on ICE-TCS tenth anniversary.
Bull. EATCS
Luca Aceto
2015 J jnl
Report on ICTCS 2015.
Bull. EATCS
Luca Aceto
2015 J jnl
Report on The EATCS Council Meeting.
Bull. EATCS
Luca Aceto
2015 J jnl
Report on The EATCS General Assembly.
Bull. EATCS
Luca Aceto
2015 — conf
When Are Prime Formulae Characteristic?
MFCS (1)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
2014 J jnl
Axiomatizing weak simulation semantics over BCCSP.
Theor. Comput. Sci.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2014 J jnl
Foreword to the contributions by two EATCS award-recipients.
Bull. EATCS
Luca Aceto
2014 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2014 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2014 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2014 J jnl
Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program.
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
2014 B conf
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
JELIA
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2014 J jnl
Report on ICALP 2014.
Bull. EATCS
Luca Aceto
2014 J jnl
Report on Two events at ICE-TCS, Reykjavik University.
Bull. EATCS
Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir
2014 J jnl
SOS rule formats for idempotent terms and idempotent unary operators.
J. Log. Algebraic Methods Program.
Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac
2013 J jnl
38th International Colloquium on Automata, Languages and Programming.
Inf. Comput.
Luca Aceto, Monika Henzinger, Jirí Sgall
2013 C conf
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
TIME
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 B conf
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
LPAR
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 Misc conf
Compositional Reasoning for Multi-modal Logics.
LFCS
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack
2013 B conf
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
CALCO
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2013 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2013 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2013 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2013 — conf
Meta SOS - A Maude Based SOS Meta-Theory Framework.
EXPRESS/SOS
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2013 J jnl
On the specification of modal systems: A comparison of three frameworks.
Sci. Comput. Program.
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2013 J jnl
Report on ICALP 2013.
Bull. EATCS
Luca Aceto
2013 J jnl
Report on the General Assembly 2013.
Bull. EATCS
Luca Aceto
2013 B conf
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.
SOFSEM
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2012 — conf
Algebraic Synchronization Trees and Processes.
ICALP (2)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
2012 — conf
Characteristic Formulae for Relations with Nested Fixed Points
FICS
Luca Aceto, Anna Ingólfsdóttir
2012 J jnl
Characteristic formulae for fixed-point semantics: a general framework.
Math. Struct. Comput. Sci.
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack
2012 J jnl
Letter from the President.
Bull. EATCS
Luca Aceto
2012 J jnl
Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
Math. Struct. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir
2012 J jnl
Rule formats for determinism and idempotence.
Sci. Comput. Program.
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2012 J jnl
Rule formats for distributivity.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2012 B conf
The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
SOFSEM
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2012 — ch.
The algorithmics of bisimilarity.
Advanced Topics in Bisimulation and Coinduction
Luca Aceto, Anna Ingólfsdóttir, Jirí Srba
2011 — ed.
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
ICALP (1)
Luca Aceto, Monika Henzinger, Jirí Sgall
2011 — ed.
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
ICALP (2)
Luca Aceto, Monika Henzinger, Jirí Sgall
2011 — conf
Axiomatizing GSOS with Predicates
SOS
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2011 C conf
Axiomatizing Weak Ready Simulation Semantics over BCCSP.
ICTAC
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2011 J jnl
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
Inf. Process. Lett.
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
2011 — conf
Decompositional Reasoning about the History of Parallel Processes.
FSEN
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2011 — conf
Graphical representation of covariant-contravariant modal formulae
EXPRESS
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2011 — conf
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
FOCLASA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
2011 J jnl
On the axiomatizability of priority II.
Theor. Comput. Sci.
Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol
2011 B conf
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.
CALCO
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2011 — ed.
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011.
PACO
Luca Aceto, Mohammad Reza Mousavi
2011 — conf
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
FSEN
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
2011 C conf
Rule Formats for Distributivity.
LATA
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 J jnl
SOS rule formats for zero and unit elements.
Theor. Comput. Sci.
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011 B conf
Sigma algebras in probabilistic epistemic dynamics.
TARK
Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack
2011 J jnl
The Concurrency Column.
Bull. EATCS
Luca Aceto
2010 B conf
A Rule Format for Unit Elements.
SOFSEM
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010 J jnl
Lifting non-finite axiomatizability results to extensions of process algebras.
Acta Informatica
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2010 B conf
On Rule Formats for Zero and Unit Elements.
MFPS
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2010 — ed.
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010.
SOS
Luca Aceto, Pawel Sobocinski
2010 J jnl
Resource bisimilarity and graded bisimilarity coincide.
Inf. Process. Lett.
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
2009 — conf
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
SOS
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir
2009 J jnl
A finite equational base for CCS with left merge and communication merge.
ACM Trans. Comput. Log.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2009 J jnl
Algebraic Properties for Free!
Bull. EATCS
Luca Aceto, Anna Ingólfsdóttir
2009 — conf
Characteristic Formulae for Fixed-Point Semantics: A General Framework
EXPRESS
Luca Aceto, Anna Ingólfsdóttir, Joshua Sack
2009 J jnl
Foreword: special issue in memory of Nadia Busi.
Math. Struct. Comput. Sci.
Luca Aceto, Anna Ingólfsdóttir
2009 J jnl
On the relations between B
J. Comput. Appl. Math.
Luca Aceto, Cecilia Magherini
2009 J jnl
Preface.
J. Log. Algebraic Methods Program.
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2009 — conf
Rule Formats for Determinism and Idempotence.
FSEN
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2009 — conf
Teaching Concurrency: Theory in Practice.
TFM
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba
2008 J jnl
A Cancellation Theorem for BCCSP.
Fundam. Informaticae
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2008 J jnl
Applying Concurrency Research in Industry Report on a Strategic Workshop.
Bull. EATCS
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2008 — ed.
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
ICALP (1)
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz
2008 — ed.
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
ICALP (2)
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz
2008 — conf
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
IFIP TCS
Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg
2008 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2008 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Anna Ingólfsdóttir
2008 — conf
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
IFIP TCS
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2008 J jnl
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.
Bull. EATCS
Luca Aceto, Silvio Capobianco
2008 J jnl
On the axiomatisability of priority.
Math. Struct. Comput. Sci.
Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2008 J jnl
On the expressibility of priority.
Inf. Process. Lett.
Luca Aceto, Anna Ingólfsdóttir
2008 J jnl
The equational theory of prebisimilarity over basic CCS with divergence.
Inf. Process. Lett.
Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik
2007 J jnl
Characteristic Formulae: From Automata to Logic.
Bull. EATCS
Luca Aceto, Anna Ingólfsdóttir
2007 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Anna Ingólfsdóttir
2007 B conf
Impossibility Results for the Equational Theory of Timed CCS.
CALCO
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2007 B conf
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
CALCO
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2007 B conf
The Saga of the Axiomatization of Parallel Composition.
CONCUR
Luca Aceto, Anna Ingólfsdóttir
2006 J jnl
A Finite Equational Base for CCS with Left Merge and Communication Merge
CoRR
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006 — conf
A Finite Equational Base for CCS with Left Merge and Communication Merge.
ICALP (2)
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2006 J jnl
Bisimilarity is not finitely based over BPA with interrupt.
Theor. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
2006 B ed.
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
FoSSaCS
Luca Aceto, Anna Ingólfsdóttir
2006 — conf
Impossibility Results in the Equational Logic of Processes.
LMCS
Luca Aceto
2006 — conf
On the Axiomatizability of Priority.
ICALP (2)
Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2006 — ed.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005
APC 25
Luca Aceto, Andrew D. Gordon
2005 B conf
Bisimilarity Is Not Finitely Based over BPA with Interrupt.
CALCO
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
2005 J jnl
CCS with Hennessy's merge has no finite-equational axiomatization.
Theor. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 — conf
Finite Equational Bases in Process Algebra: Results and Open Questions.
Processes, Terms and Cycles
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 J jnl
Guest editors' foreword: Process Algebra.
Theor. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Zoltán Ésik
2005 — conf
Preface.
APC 25
Luca Aceto, Andrew D. Gordon
2005 — ed.
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004
SOS
Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2005 J jnl
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
CoRR
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 J jnl
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.
Log. Methods Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2005 — conf
The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems.
APC 25
Luca Aceto, Wan J. Fokkink
2004 J jnl
Guesteditors'introduction: Special issue on Structural Operational Semantics.
J. Log. Algebraic Methods Program.
Luca Aceto, Wan J. Fokkink
2004 J jnl
Nested semantics over finite trees are equationally hard.
Inf. Comput.
Luca Aceto, Wan J. Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
2004 — conf
Preface.
SOS@CONCUR
Luca Aceto, Wan J. Fokkink, Irek Ulidowski
2004 J jnl
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
J. Comput. Sci. Technol.
Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
2003 — ed.
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000
EXPRESS
Luca Aceto, Björn Victor
2003 J jnl
A note on an expressiveness hierarchy for multi-exit iteration.
Inf. Process. Lett.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2003 J jnl
Equational theories of tropical semirings.
Theor. Comput. Sci.
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
2003 J jnl
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation.
Math. Struct. Comput. Sci.
Luca Aceto, Giuseppe Longo, Björn Victor
2003 — conf
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk.
EXPRESS
Luca Aceto
2003 J jnl
Some of My Favourite Results in Classic Process Algebra.
Bull. EATCS
Luca Aceto
2003 — conf
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
ICTCS
Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
2003 J jnl
The max-plus algebra of the natural numbers has no finite equational basis.
Theor. Comput. Sci.
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
2003 J jnl
The power of reachability testing for timed automata.
Theor. Comput. Sci.
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
2002 — ed.
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001
EXPRESS
Luca Aceto, Prakash Panangaden
2002 J jnl
A Fully Equational Proof of Parikh's Theorem.
RAIRO Theor. Informatics Appl.
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
2002 — conf
Equational Axioms for Probabilistic Bisimilarity.
AMAST
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
2002 J jnl
Guest Editors' Foreword.
Nord. J. Comput.
Luca Aceto, Prakash Panangaden
2002 J jnl
Is your model checker on time? On the complexity of model checking for timed modal logics.
J. Log. Algebraic Methods Program.
Luca Aceto, François Laroussinie
2002 — conf
Kleene through the process algebraic glass.
FICS
Luca Aceto
2001 A conf
2-Nested Simulation Is Not Finitely Equationally Axiomatizable.
STACS
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
2001 B conf
Axiomatizing Tropical Semirings.
FoSSaCS
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
2001 — ch.
Conservative Extension in Structural Operational Semantics.
Current Trends in Theoretical Computer Science
Luca Aceto, Wan J. Fokkink, Chris Verhoef
2001 J jnl
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218.
Inf. Comput.
Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir
2001 — conf
Preface.
EXPRESS
Luca Aceto, Prakash Panangaden
2001 J jnl
Preface: Process Algebra.
Inf. Process. Lett.
Luca Aceto, Wan J. Fokkink
2001 — ch.
Structural Operational Semantics.
Handbook of Process Algebra
Luca Aceto, Wan J. Fokkink, Chris Verhoef
2000 J jnl
Characteristic formulae for timed automata.
RAIRO Theor. Informatics Appl.
Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen
2000 A conf
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers.
STACS
Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
1999 J jnl
A Complete Equational Axiomatization for MPA with String Iteration.
Theor. Comput. Sci.
Luca Aceto, Jan Friso Groote
1999 J jnl
Conservative Extension in Structural Operational Semantics.
Bull. EATCS
Luca Aceto, Wan J. Fokkink, Chris Verhoef
1999 B conf
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics.
MFCS
Luca Aceto, François Laroussinie
1999 B conf
Testing Hennessy-Milner Logic with Recursion.
FoSSaCS
Luca Aceto, Anna Ingólfsdóttir
1998 B conf
A Cook's Tour of Equational Axiomatizations for Prefix Iteration.
FoSSaCS
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998 J jnl
A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces.
Math. Struct. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998 A conf
Model Checking via Reachability Testing for Timed Automata.
TACAS
Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen
1998 J jnl
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based.
Theor. Comput. Sci.
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir
1998 — conf
The Power of Reachability Testing for Timed Automata.
FSTTCS
Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
1997 J jnl
A Characterization of Finitary Bisimulation.
Inf. Process. Lett.
Luca Aceto, Anna Ingólfsdóttir
1997 J jnl
An Equational Axiomatization for Multi-Exit Iteration.
Inf. Comput.
Luca Aceto, Wan J. Fokkink
1997 — conf
Relating semantic models for the object calculus.
EXPRESS
Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
1996 — conf
An Equational Axiomatization of Observation Congruence for Prefix Iteration.
AMAST
Luca Aceto, Anna Ingólfsdóttir
1996 J jnl
Axiomatizing Prefix Iteration with Silent Steps.
Inf. Comput.
Luca Aceto, Rob J. van Glabbeek, Wan J. Fokkink, Anna Ingólfsdóttir
1996 J jnl
CPO Models for Compact GSOS Languages.
Inf. Comput.
Luca Aceto, Anna Ingólfsdóttir
1996 J jnl
Timing and Causality in Process Algebra.
Acta Informatica
Luca Aceto, David Murphy
1995 J jnl
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours.
Theor. Comput. Sci.
Luca Aceto, Alan Jeffrey
1995 — conf
CPO Models for a Class of GSOS Languages.
TAPSOFT
Luca Aceto, Anna Ingólfsdóttir
1994 J jnl
A Static View of Localities.
Formal Aspects Comput.
Luca Aceto
1994 J jnl
Adding Action Refinement to a Finite Process Algebra
Inf. Comput.
Luca Aceto, Matthew Hennessy
1994 B conf
Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours.
CONCUR
Luca Aceto
1994 J jnl
GSOS and Finite Labelled Transition Systems.
Theor. Comput. Sci.
Luca Aceto
1994 J jnl
On "Axiomatising Finite Concurrent Processes".
SIAM J. Comput.
Luca Aceto
1994 J jnl
Turning SOS Rules into Equations
Inf. Comput.
Luca Aceto, Bard Bloom, Frits W. Vaandrager
1993 B conf
On the Ill-Timed but Well-Caused.
CONCUR
Luca Aceto, David Murphy
1993 J jnl
Towards Action-Refinement in Process Algebras
Inf. Comput.
Luca Aceto, Matthew Hennessy
1992 J jnl
History preserving, causal and mixed-ordering equivalence over stable event structures.
Fundam. Informaticae
Luca Aceto
1992 J jnl
Relating distributed, temporal and causal observations of simple processes.
Fundam. Informaticae
Luca Aceto
1992 J jnl
Termination, Deadlock, and Divergence.
J. ACM
Luca Aceto, Matthew Hennessy
1992 A* conf
Turning SOS Rules into Equations
LICS
Luca Aceto, Bard Bloom, Frits W. Vaandrager
1991 B conf
A Theory of Testing for ACP.
CONCUR
Luca Aceto, Anna Ingólfsdóttir
1991 — —
Action refinement in process algebras.
Luca Aceto
1991 A* conf
Adding Action Refinement to a Finite Process Algebra.
ICALP
Luca Aceto, Matthew Hennessy
1991 — conf
Failures Semantics for a Simple Process Language with Refinement.
FSTTCS
Luca Aceto, Uffe Engberg
1991 — conf
Full Abstraction for Series-Parallel Pomsets.
TAPSOFT, Vol.1
Luca Aceto
1991 B conf
On Relating Concurency and Nondeterminism.
MFPS
Luca Aceto
1989 B conf
Termination, Deadlock and Divergence.
Mathematical Foundations of Programming Semantics
Luca Aceto, Matthew Hennessy
1989 A* conf
Towards Action-Refinement in Process Algebras
LICS
Luca Aceto, Matthew Hennessy
1986 — conf
Testing Equivalences for Event Structures.
Mathematical Models for the Semantics of Parallelism
Luca Aceto, Rocco De Nicola, Alessandro Fantechi