Stop the war!Остановите войну!
for scientists:
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
- 2023
[j132]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)- [i20]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) - [i19]Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
The Way We Were: Structural Operational Semantics Research in Perspective. CoRR abs/2309.07304 (2023) - 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]