Luca Aceto - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Luca Aceto' as author, editor, or advisor:

Integration of DInSAR and Multi-Source Data for the Multi-Scale Management of Built-Up Areas Exposed to Slow-Moving Landslide RiskDario Peduto, Gianfranco Nicodemo, Settimio Ferlisi, Diego Reale, Gianfranco Fornaro, L. Aceto, Luigi Borrelli, Giovanni Gullà. igarss 2022: 4939-4942 [doi]
A Framework for Parameterized MonitorabilityLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir. fossacs 2018: 203-220 [doi]
Interview with Alexandra Silva Recipient of the 2017 Presburger AwardLuca Aceto. eatcs, 122, 2017. [doi]
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with PredicatesLuca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir. calco 2011: 378-385 [doi]
Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 75(1):1-2, 2008. [doi]
A ground-complete axiomatization of stateless bisimilarity over LindaLuca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir. ipl, 115(2):212-220, 2015. [doi]
Rule formats for distributivityLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. TCS, 458:1-28, 2012. [doi]
On the Axiomatisability of Parallel CompositionLuca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen. lmcs, 18(1), 2022. [doi]
A unified rule format for bounded nondeterminism in SOS with terms as labelsLuca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir. jlp, 92:64-86, 2017. [doi]
Letter from the PresidentLuca Aceto. eatcs, 109:3-5, 2013. [doi]
Teaching Concurrency: Theory in PracticeLuca Aceto, Anna IngÃ³lfsdÃ³ttir, Kim Guldstrand Larsen, JirÃ Srba. tfm 2009: 158-175 [doi]
The Equational Theory of Weak Complete Simulation Semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. sofsem 2012: 141-152 [doi]
Axiomatizing Tropical SemiringsLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. fossacs 2001: 42-56 [doi]
Letter from the PresidentLuca Aceto. eatcs, 108:11-13, 2012. [doi]
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik. csl 2021: [doi]
Monitoring for Silent ActionsLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir. fsttcs 2018: [doi]
Rule Formats for Nominal Process CalculiLuca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. lmcs, 15(4), 2019. [doi]
Abstracts of the EATCS Distinguished Dissertations 2015Luca Aceto. eatcs, 120, 2016. [doi]
Letter from the PresidentLuca Aceto. eatcs, 116, 2015. [doi]
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense casesLuca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco. ACTA, 53(3):207-246, 2016. [doi]
Nested semantics over finite trees are equationally hardLuca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir. iandc, 191(2):203-232, 2004. [doi]
An Operational Guide to MonitorabilityLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. SEFM 2019: 433-453 [doi]
Failures Semantics for a Simple Process Language with RefinementLuca Aceto, Uffe Engberg. fsttcs 1991: 89-108
On the Axiomatisability of Parallel Composition: A Journey in the SpectrumLuca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen. concur 2020: [doi]
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal LogicsLuca Aceto, François Laroussinie. mfcs 1999: 125-136
Turning SOS Rules into EquationsLuca Aceto, Bard Bloom, Frits W. Vaandrager. lics 1992: 113-124
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000Luca Aceto, Björn Victor, editors, Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003. [doi]
History preserving, causal and mixed-ordering equivalence over stable event structuresLuca Aceto. FUIN, 17(4):319-331, 1992.
Lifting Non-Finite Axiomatizability Results to Extensions of Process AlgebrasLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. ifipTCS 2008: 301-316 [doi]
Report on ICALP 2013Luca Aceto. eatcs, 111, 2013. [doi]
Equational Axioms for Probabilistic BisimilarityLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. amast 2002: 239-253 [doi]
A Complete Equational Axiomatization for MPA with String IterationLuca Aceto, Jan Friso Groote. TCS, 211(1-2):339-374, 1999. [doi]
Action refinement in process algebrasLuca Aceto. PhD thesis, University of Sussex, Falmer, East Sussex, UK, 1991. [doi]
Building International Doctoral Schools in Computer Science in Italy, De Nicola's WayLuca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani. BIRTHDAY 2019: 7-12 [doi]
On Benchmarking for Concurrent Runtime VerificationLuca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir. FASE 2021: 3-23 [doi]
Some of My Favourite Results in Classic Process AlgebraLuca Aceto. eatcs, 81:90-108, 2003.
Adding Action Refinement to a Finite Process AlgebraLuca Aceto, Matthew Hennessy. icalp 1991: 506-519
A Characterization of Finitary BisimulationLuca Aceto, Anna Ingólfsdóttir. ipl, 64(3):127-134, 1997. [doi]
A Cook s Tour of Equational Axiomatizations for Prefix IterationLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. fossacs 1998: 20-34 [doi]
Letter from the PresidentLuca Aceto. eatcs, 115, 2015. [doi]
Trace Simulation Semantics is not Finitely Based over BCCSPLuca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir. actaC, 23(1):81-90, 2017. [doi]
An Equational Axiomatization of Observation Congruence for Prefix IterationLuca Aceto, Anna Ingólfsdóttir. amast 1996: 195-209
Letter from the PresidentLuca Aceto. eatcs, 112, 2014. [doi]
Compositional Reasoning for Multi-modal LogicsLuca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack. lfcs 2013: 1-15 [doi]
On the Complexity of Determinizing MonitorsLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson. wia 2017: 1-13 [doi]
Interviews with the 2020 CONCUR Test-of-Time Award RecipientsLuca Aceto. eatcs, 131, 2020. [doi]
Towards Action-Refinement in Process AlgebrasLuca Aceto, Matthew Hennessy. lics 1989: 138-145
Monitorability for the Hennessy-Milner logic with recursionAdrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. fmsd, 51(1):87-116, 2017. [doi]
Model Checking via Reachability Testing for Timed AutomataLuca Aceto, Augusto Burgueño, Kim Guldstrand Larsen. TACAS 1998: 263-280 [doi]
Report on ICALP 2014Luca Aceto. eatcs, 114, 2014. [doi]
Interviews with the 2022 CONCUR Test-of-Time Award RecipientsLuca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi. eatcs, 138, 2022. [doi]
SOS Rule Formats for Idempotent Terms and Idempotent Unary OperatorsLuca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir. sofsem 2013: 108-120 [doi]
A Theory of Testing for ACPLuca Aceto, Anna Ingólfsdóttir. concur 1991: 78-95
Testing Hennessy-Milner Logic with RecursionLuca Aceto, Anna Ingólfsdóttir. fossacs 1999: 41-55
Sigma algebras in probabilistic epistemic dynamicsLuca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack. tark 2011: 191-199 [doi]
Ten years of the European Research Council A view from theoretical computer scienceLuca Aceto. eatcs, 123, 2017. [doi]
Lifting non-finite axiomatizability results to extensions of process algebrasLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. ACTA, 47(3):147-177, 2010. [doi]
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with InterruptLuca Aceto, Silvio Capobianco. eatcs, 95:220-240, 2008.
Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo Church Award RecipientsLuca Aceto. eatcs, 128, 2019. [doi]
Comparing controlled system synthesis and suppression enforcementLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. STTT, 23(4):601-614, 2021. [doi]
The Cost of Monitoring AloneLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. BIRTHDAY 2019: 259-275 [doi]
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud ComputingLuca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi. facs2 2016: 66-85 [doi]
Guest Editors ForewordLuca Aceto, Prakash Panangaden. njc, 9(1):69, 2002.
eAOP: an aspect oriented programming framework for ErlangIan Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. erlang 2017: 20-30 [doi]
Report on The EATCS Council MeetingLuca Aceto. eatcs, 120, 2016. [doi]
Report on ICTCS 2015Luca Aceto. eatcs, 117, 2015. [doi]
Interviews with the 2021 CONCUR Test-of-Time Award RecipientsLuca Aceto, Nathalie Bertrand 0001, Nobuko Yoshida. eatcs, 135, 2021. [doi]
On Probabilistic MonitorabilityLuca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen. BIRTHDAY 2022: 325-342 [doi]
Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Current Trends in Theoretical Computer Science. pages 504-524, 2001.
The Power of Reachability Testing for Timed AutomataLuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen. fsttcs 1998: 245-256
EATCS Fellows' Advice to the Young Theoretical Computer ScientistLuca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas. eatcs, 119, 2016. [doi]
CPO Models for Compact GSOS LanguagesLuca Aceto, Anna Ingólfsdóttir. iandc, 129(2):107-141, 1996.
An Equational Axiomatization for Multi-Exit IterationLuca Aceto, Wan Fokkink. iandc, 137(2):121-158, 1997.
On Bidirectional Runtime EnforcementLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. forte 2021: 3-21 [doi]
On Verifying Hennessy-Milner Logic with Recursion at RuntimeAdrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. RV 2015: 71-86 [doi]
Report on ICALP 2015Luca Aceto. eatcs, 117, 2015. [doi]
Termination, Deadlock and DivergenceLuca Aceto, Matthew Hennessy. mfps 1990: 301-318
Rule formats for determinism and idempotenceLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. SCP, 77(7-8):889-907, 2012. [doi]
On Rule Formats for Zero and Unit ElementsLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. ENTCS, 265:145-160, 2010. [doi]
Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 197-292, North-Holland / Elsevier, 2001. [doi]
Preface: Process AlgebraLuca Aceto, Wan Fokkink. ipl, 80(1):1, 2001. [doi]
On the Axiomatizability of PriorityLuca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir. icalp 2006: 480-491 [doi]
On the axiomatisability of priorityLuca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir. mscs, 18(1):5-28, 2008. [doi]
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS RestrictionLuca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir. BIRTHDAY 2022: 1-26 [doi]
Axiomatizing recursion-free, regular monitorsLuca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir. jlap, 127:100778, 2022. [doi]
SOS rule formats for zero and unit elementsLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. TCS, 412(28):3045-3071, 2011. [doi]
On the specification of modal systems: A comparison of three frameworksLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino. SCP, 78(12):2468-2487, 2013. [doi]
CONCUR through timeLuca Aceto, Pierluigi Crescenzi. eatcs, 138, 2022. [doi]
Turning SOS Rules into EquationsLuca Aceto, Bard Bloom, Frits W. Vaandrager. iandc, 111(1):1-52, May 1994.
Interview with Paul Spirakis, President of the EATCSLuca Aceto. eatcs, 120, 2016. [doi]
A Static View of LocalitiesLuca Aceto. fac, 6(2):201-222, 1994.
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6756 of Lecture Notes in Computer Science, Springer, 2011. [doi]
The algorithmics of bisimilarityLuca Aceto, Anna Ingólfsdóttir, Jirí Srba. In Davide Sangiorgi, Jan J. M. M. Rutten, editors, Advanced Topics in Bisimulation and Coinduction. Volume 52 of Cambridge tracts in theoretical computer science, pages 100-172, Cambridge University Press, 2012.
Kleene through the process algebraic glassLuca Aceto. fics 2002: 20-21
Report on ICALP 2016Luca Aceto. eatcs, 120, 2016. [doi]
Letter from the PresidentLuca Aceto. eatcs, 117, 2015. [doi]
On Axiomatising Finite Concurrent Processes Luca Aceto. SICOMP, 23(4):852-863, 1994.
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)Luca Aceto, Anna Ingólfsdóttir. jlp, 87:5, 2017. [doi]
Interview with Thomas Henzinger President of IST AustriaLuca Aceto. eatcs, 121, 2017. [doi]
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001Luca Aceto, Prakash Panangaden, editors, Volume 52 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Bidirectional Runtime Enforcement of First-Order Branching-Time PropertiesLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. lmcs, 19(1), 2023. [doi]
Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel PrizeLuca Aceto. eatcs, 119, 2016. [doi]
A Monitoring Tool for Linear-Time μHMLLuca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir. coordination 2022: 200-219 [doi]
Letter from the PresidentLuca Aceto. eatcs, 113, 2014. [doi]
Report on ICE-TCS Theory Day 2018Luca Aceto. eatcs, 126, 2018. [doi]
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)Luca Aceto, David de Frutos-Escrig. ACTA, 54(1):1-2, 2017. [doi]
38th International Colloquium on Automata, Languages and ProgrammingLuca Aceto, Monika Henzinger, Jiri Sgall. iandc, 222:1, 2013. [doi]
Impossibility Results for the Equational Theory of Timed CCSLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi. calco 2007: 80-95 [doi]
Spotlight on Marta KwiatkowskaLuca Aceto. siglog, 4(1):3-4, 2017. [doi]
Axiomatizing Weak Ready Simulation Semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. ictac 2011: 7-24 [doi]
Characteristic formulae for timed automataLuca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen. ita, 34(6):565-584, 2000. [doi]
The max-plus algebra of the natural numbers has no finite equational basisLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. TCS, 293(1):169-188, 2003. [doi]
Rule Formats for Nominal Process CalculiLuca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. concur 2017: [doi]
Foreword: special issue in memory of Nadia BusiLuca Aceto, Anna IngÃ³lfsdÃ³ttir. mscs, 19(6):1061-1063, 2009. [doi]
Exploiting Algebraic Laws to Improve Mechanized AxiomatizationsLuca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. calco 2013: 36-50 [doi]
The Best a Monitor Can DoLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. csl 2021: [doi]
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part ILuca Aceto, Monika Henzinger, Jiri Sgall, editors, Volume 6755 of Lecture Notes in Computer Science, Springer, 2011. [doi]
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva 0001. concur 2020: [doi]
Timing and Causality in Process AlgebraLuca Aceto, David Murphy. ACTA, 33(4):317-350, 1996.
Decompositional Reasoning about the History of Parallel ProcessesLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi. fsen 2012: 32-47 [doi]
Characteristic formulae for fixed-point semantics: a general frameworkLuca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack. mscs, 22(2):125-173, 2012. [doi]
Ready to Preorder: Get Your BCCSP Axiomatization for Free!Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir. calco 2007: 65-79 [doi]
On Relating Concurency and NondeterminismLuca Aceto. mfps 1992: 376-402
On Runtime Enforcement via SuppressionsLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. concur 2018: [doi]
When Are Prime Formulae Characteristic?Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir. mfcs 2015: 76-88 [doi]
Comparing Controlled System Synthesis and Suppression EnforcementLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. RV 2019: 148-164 [doi]
Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 72(1):1-2, 2007. [doi]
A Cancellation Theorem for BCCSPLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. FUIN, 88(1-2):1-21, 2008. [doi]
PrefaceLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna IngÃ³lfsdÃ³ttir, Uwe Nestmann. jlp, 78(4), 2009. [doi]
Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 70(2):119-120, 2007. [doi]
An operational guide to monitorability with applications to regular propertiesLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. SoSyM, 20(2):335-361, 2021. [doi]
Rule Formats for Determinism and IdempotenceLuca Aceto, Arnar Birgisson, Anna IngÃ³lfsdÃ³ttir, Mohammad Reza Mousavi, Michel A. Reniers. fsen 2010: 146-161 [doi]
Foreword to the contributions by two EATCS award-recipientsLuca Aceto. eatcs, 114, 2014. [doi]
Monitoring Hyperproperties with CircuitsLuca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza. forte 2022: 1-10 [doi]
Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. eatcs, 69:110-132, 1999.
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear OrdersLuca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco. time 2013: 65-72 [doi]
Adding Action Refinement to a Finite Process AlgebraLuca Aceto, Matthew Hennessy. iandc, 115(2):179-247, December 1994.
Equational theories of tropical semiringsLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. TCS, 3(298):417-469, 2003. [doi]
Logical Characterisations and Compositionality of Input-Output Conformance SimulationLuca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. sofsem 2017: 37-48 [doi]
A Rule Format for Unit ElementsLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. sofsem 2010: 141-152 [doi]
Algebraic Synchronization Trees and ProcessesLuca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir. icalp 2012: 30-41 [doi]
A Generic Instrumentation Tool for ErlangIan Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir. RV 2017: 48-54 [doi]
Proving the validity of equations in GSOS languages using rule-matching bisimilarityLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir. mscs, 22(2):291-331, 2012. [doi]
The Complexity of Checking Consistency of Pedigree Information and Related ProblemsLuca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen. jcst, 19(1):42-59, 2004. [doi]
Adventures in monitorability: from branching to linear time and back againLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. PACMPL, 3, 2019. [doi]
Is your model checker on time? On the complexity of model checking for timed modal logicsLuca Aceto, François Laroussinie. jlp, 52-53:7-51, 2002. [doi]
Resource bisimilarity and graded bisimilarity coincideLuca Aceto, Anna Ingólfsdóttir, Joshua Sack. ipl, 111(2):68-76, 2010. [doi]
Better Late Than Never or: Verifying Asynchronous Components at RuntimeDuncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. forte 2021: 207-225 [doi]
Relating distributed, temporal and causal observations of simple processesLuca Aceto. FUIN, 17(4):369-397, 1992.
μHMLLuca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir. SCP, 232:103031, January 2024. [doi]
A Suite of Monitoring Tools for ErlangIan Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir. RV 2017: 41-47 [doi]
Bisimilarity Is Not Finitely Based over BPA with InterruptLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain. calco 2005: 52-66 [doi]
On the relations between B::2::V Ms and Runge-Kutta collocation methodsLuca Aceto, Cecilia Magherini. jcam, 231(1):11-23, 2009. [doi]
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015Luca Aceto, David de Frutos-Escrig, editors, Volume 42 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular BehavioursLuca Aceto, Alan Jeffrey. TCS, 152(2):251-268, 1995. [doi]
Modelling and simulation of asynchronous real-time systems using Timed RebecaArni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson. SCP, 89:41-68, 2014. [doi]
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabetLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. ipl, 111(9):408-413, 2011. [doi]
Applying Concurrency Research in Industry Report on a Strategic WorkshopLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann. eatcs, 94:113-129, 2008.
When are prime formulae characteristic?Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir. TCS, 777:3-31, 2019. [doi]
A note on an expressiveness hierarchy for multi-exit iterationLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. ipl, 87(1):17-23, 2003. [doi]
Introducing Formal Methods to First-Year Students in Three Intensive WeeksLuca Aceto, Anna Ingólfsdóttir. tfm 2021: 1-17 [doi]
On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely BasedLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. TCS, 209(1-2):163-178, 1998. [doi]
The power of reachability testing for timed automataLuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen. TCS, 300(1-3):411-475, 2003. [doi]
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear OrdersLuca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco. jelia 2014: 267-281 [doi]
Letter from the PresidentLuca Aceto. eatcs, 110:3-6, 2013. [doi]
Axiomatizing weak simulation semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. TCS, 537:42-71, 2014. [doi]
Towards Action-Refinement in Process AlgebrasLuca Aceto, Matthew Hennessy. iandc, 103(2):204-269, April 1993.
Testing Equivalence vs. Runtime MonitoringLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. BIRTHDAY 2019: 28-44 [doi]
GSOS and Finite Labelled Transition SystemsLuca Aceto. TCS, 131(1):181-195, 1994.
Decision Support for Mobile Cloud Computing Applications via Model CheckingLuca Aceto, Andrea Morichetta, Francesco Tiezzi. MobileCloud 2015: 199-204 [doi]
Report on The EATCS General AssemblyLuca Aceto. eatcs, 117, 2015. [doi]
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal LogicsLuca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco. lpar 2013: 1-17 [doi]
Rule Formats for DistributivityLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. LATA 2011: 80-91 [doi]
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004Luca Aceto, Wan J. Fokkink, Irek Ulidowski, editors, Volume 128 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
On first-order runtime enforcement of branching-time propertiesLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. ACTA, 60(4):385-451, December 2023. [doi]
A Foundation for Runtime MonitoringAdrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir. RV 2017: 8-29 [doi]
On the axiomatisability of priority III: Priority strikes againLuca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen. TCS, 837:223-246, 2020. [doi]
In search of lost time: Axiomatising parallel composition in process algebrasLuca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik. lics 2021: 1-14 [doi]
A Fully Equational Proof of Parikh s TheoremLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. ita, 36(2):129-153, 2002. [doi]
Guest editors foreword: Process AlgebraLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik. TCS, 335(2-3):127-129, 2005. [doi]
On the Axiomatisation of Branching Bisimulation Congruence over CCSLuca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik. concur 2022: [doi]
On the axiomatizability of priority IILuca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol. TCS, 412(28):3035-3044, 2011. [doi]
Report on The EATCS Council MeetingLuca Aceto. eatcs, 117, 2015. [doi]
Report on ICE-TCS tenth anniversaryLuca Aceto. eatcs, 117, 2015. [doi]
Viewpoints on "Logic activities in Europe", twenty years laterLuca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi. eatcs, 118, 2016. [doi]
Algebraic Properties for Free!Luca Aceto, Anna Ingólfsdóttir. eatcs, 99:82-103, 2009.
On the expressibility of priorityLuca Aceto, Anna Ingólfsdóttir. ipl, 109(1):83-85, 2008. [doi]
Zoltan Esik (1951-2016) In MemoriamLuca Aceto, Anna Ingólfsdóttir. eatcs, 120, 2016. [doi]
The complexity of identifying characteristic formulaeLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir. jlap, 112:100529, 2020. [doi]
Computer Science at the Gran Sasso Science InstituteLuca Aceto. eatcs, 123, 2017. [doi]
2-Nested Simulation Is Not Finitely Equationally AxiomatizableLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. STACS 2001: 39-50 [doi]
SOS rule formats for idempotent terms and idempotent unary operatorsLuca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac. jlp, 83(1):64-80, 2014. [doi]
Logical characterisations, rule formats and compositionality for input-output conformance simulationLuca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. jlp, 106:78-106, 2019. [doi]
Characteristic Formulae: From Automata to LogicLuca Aceto, Anna Ingólfsdóttir. eatcs, 91:58-75, 2007.
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial BisimulationsLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino. fsen 2012: 268-283 [doi]
Testing Equivalences for Event StructuresLuca Aceto, Rocco De Nicola, Alessandro Fantechi. ac 1987: 1-20
Letter from the PresidentLuca Aceto. eatcs, 111, 2013. [doi]
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, ProceedingsLuca Aceto, Anna Ingólfsdóttir, editors, Volume 3921 of Lecture Notes in Computer Science, Springer, 2006.
Rule Formats for Bounded Nondeterminism in Structural Operational SemanticsLuca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir. BIRTHDAY 2016: 313-343 [doi]
Report on the General Assembly 2013Luca Aceto. eatcs, 111, 2013. [doi]
Determinizing monitors for HML with recursionLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson. jlap, 111:100515, 2020. [doi]
Report on The EATCS General AssemblyLuca Aceto. eatcs, 120, 2016. [doi]
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th BirthdayLuca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare, editors, Volume 10460 of Lecture Notes in Computer Science, Springer, 2017. [doi]
Letter from the PresidentLuca Aceto. eatcs, 114, 2014. [doi]
Guest Editors ForewordLuca Aceto, Anna Ingólfsdóttir. jlp, 73(1-2):1, 2007. [doi]
Impossibility Results in the Equational Logic of ProcessesLuca Aceto. ENTCS, 169:3-6, 2007. [doi]
On the Axiomatizability of Priority III: The Return of Sequential CompositionLuca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen. ictcs 2019: 145-157 [doi]
On the Ill-Timed but Well-CausedLuca Aceto, David Murphy. concur 1993: 97-111
Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005Luca Aceto, Andrew D. Gordon 0001, editors, Volume 162 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
The Concurrency ColumnLuca Aceto. eatcs, 105:72, 2011. [doi]
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik. tocl, 23(4), 2022. [doi]
Report on Two events at ICE-TCS, Reykjavik UniversityLuca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir. eatcs, 114, 2014. [doi]
Guest Editors ForewordLuca Aceto, Anna Ingólfsdóttir. jlp, 77(1-2), 2008. [doi]
Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award RecipientsLuca Aceto. eatcs, 119, 2016. [doi]
Bisimilarity is not finitely based over BPA with interruptLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain. TCS, 366(1-2):60-81, 2006. [doi]
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural NumbersLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. STACS 2000: 267-278 [doi]
Letter from the PresidentLuca Aceto. eatcs, 118, 2016. [doi]
PrefaceLuca Aceto, Andrew D. Gordon. ENTCS, 162:1-2, 2006. [doi]
Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular BehavioursLuca Aceto. concur 1994: 449-464
Report on NWPT 2015Luca Aceto, Anna Ingólfsdóttir. eatcs, 118, 2016. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Luca Aceto's Profile

Unidentified Publications