0 | -- | 0 | Thanh-Hai Tran 0002, Igor Konnov 0001, Josef Widder. A case study on parametric verification of failure detectors |
0 | -- | 0 | Rocco De Nicola, Hernán C. Melgratti. Multiparty testing preorders |
0 | -- | 0 | Richard Garner. Stream processors and comodels |
0 | -- | 0 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino. Sound approximate and asymptotic probabilistic bisimulations for PCTL |
0 | -- | 0 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli. Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala |
0 | -- | 0 | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik. Pushdown Automata and Context-Free Grammars in Bisimulation Semantics |
0 | -- | 0 | Robin Piedeleu, Fabio Zanasi. A Finite Axiomatisation of Finite-State Automata Using String Diagrams |
0 | -- | 0 | Petr Jancar, Petr Osicka, Zdenek Sawa. Countdown games, and simulation on (succinct) one-counter nets |
0 | -- | 0 | Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia. A Formal Model for Polarization under Confirmation Bias in Social Networks |
0 | -- | 0 | Richard Mayr, Eric Munday. Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs |
0 | -- | 0 | Samuel Balco, Alexander Kurz 0001. Completeness of Nominal PROPs |
0 | -- | 0 | Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond. A strong call-by-need calculus |
0 | -- | 0 | Milan Bankovic, Ivan Drecun, Filip Maric. A proof system for graph (non)-isomorphism verification |
0 | -- | 0 | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier. Optimal controller synthesis for timed systems |
0 | -- | 0 | Deepak Kapur. Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties |
0 | -- | 0 | Chad Nester. Concurrent Process Histories and Resource Transducers |
0 | -- | 0 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. Bidirectional Runtime Enforcement of First-Order Branching-Time Properties |
0 | -- | 0 | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions |
0 | -- | 0 | Purandar Bhaduri. Coalgebras for Bisimulation of Weighted Automata over Semirings |
0 | -- | 0 | Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré. A modular construction of type theories |
0 | -- | 0 | Igor Konnov 0001, Marijana Lazic, Ilina Stoilkovska, Josef Widder. Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker |
0 | -- | 0 | Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson. Learning of Structurally Unambiguous Probabilistic Grammars |