default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th ICTCS 2019: Como, Italy
- Alessandra Cherubini, Nicoletta Sabadini, Simone Tini:
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. CEUR Workshop Proceedings 2504, CEUR-WS.org 2019
Invited Talks
- Filippo Bonchi:
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS 2019 - Giovanni Pighizzini:
Limited Automata: Power and Complexity (text not included). ICTCS 2019
IC-EATCS Best Young Researcher
- Emanuele Natale:
From Distributed Computing to Natural Algorithms and Beyond (text not included). ICTCS 2019
IC-EATCS Best PhD thesis
- Francesco Gavazzo:
Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included). ICTCS 2019 - Cosimo Vinci:
Coping with Selfishness in Congestion Games (text not included). ICTCS 2019
IC-EATCS Best master thesis
- Michele Chiari:
Temporal Logic for Operator Precedence Words (text not included). ICTCS 2019
Session 1: Reasoning Based on Distances and Applications to Biology
- Eugenio Moggi, Amin Farjudian, Walid Taha:
System Analysis and Robustness. 1-7 - Tiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri:
Comparing Related Phylogenetic Trees. 8-13 - Simone Spolaor:
Bridging Qualitative and Quantitative Modeling with FuzzX. 14-19 - Sara Giuliani, Zsuzsanna Lipták, Romeo Rizzi:
When a Dollar Makes a BWT. 20-33
Session 2: Formal Languages
- Samuele Buro, Isabella Mastroeni:
On the Semantic Equivalence of Language Syntax Formalisms. 34-51 - Martin Kutrib
, Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
Iterated Uniform Finite-State Transducers. 52-57 - Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Deque Languages, Automata and Planar Graphs (text not included). ICTCS 2019 - Sabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino:
String Attractors and Combinatorics on Words. 57-71 - Giovanni Pighizzini, Luca Prigioniero:
Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract. 72-77 - Massimiliano Goldwurm, Jianyi Lin, Marco Vignati:
Saddle Point Method in the analysis of pattern statistics for regular languages. 78-90
Session 3: Algorithms and Graphs
- Marc Demange, David Ellison, Raffaella Gentilini:
Online Firefighting on Grids. 91-96 - Mohammad Abouei Mehrizi, Federico Corò, Emilio Cruciani, Gianlorenzo D'Angelo, Stefano Ponziani:
Models and Algorithms for Election Control through Influence Maximization. 97-103 - Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco:
On the Complexity of Opinion Consensus under Majority Dynamics. 104-109 - Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis:
Top-k Overlapping Densest Subgraphs: Approximation and Complexity. 110-121 - Domenico Cantone, Pietro Maugeri, Stefano Scafiti:
A Potential-Based Variant of the Bellman-Ford Algorithm. 122-135
Session 4: Petri Nets, Process Calculi and Interacting Automata
- Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi:
Modeling Imperative Constructs in the Pi-Calculus. 136-138 - Federica Adobbati, Luca Bernardinello, Lucia Pomello:
Asynchronous Games on Petri Nets and Partial Order. 139-144 - Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen:
On the Axiomatizability of Priority III: The Return of Sequential Composition. 145-157 - Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. 158-170 - Luca Geatti, Federico Igne, Marino Miculan:
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. 171-183
Session 5: Types and Evolving Network Analysis
- Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for the Computational lambda-Calculus. 184-189 - Paola Giannini, Marco Servetto, Elena Zucca:
Tracing and Preventing Sharing and Mutation. 190-203 - Giorgio Marabelli, Alberto Momigliano:
Formalizing Program Equivalences in Dependent Type Theory. 204-209 - Michele Amoretti, Gianluigi Ferrari:
Resilience Analysis of Time-varying Networks with Addition and Deletion of Nodes. 210-221
Session 6: Logic, (Automatic) Verification and Model Checking
- Michele Chiari, Dino Mandrioli, Matteo Pradella:
Word- and Tree-based Temporal Logics for Operator Precedence Languages. 222-228 - Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano:
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. 229-234 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Model Checking Timeline-Based Systems over Dense Temporal Domains. 235-247 - Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. 248-260 - Domenico Cantone, Pietro Maugeri:
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. 261-273
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
