bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos [github]
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos [github]
Bisimilarity in fresh-register automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos [github]
Nominal Game Semantics Andrzej S. Murawski Nikos Tzevelekos [github]
Higher-Order Linearisability Andrzej S. Murawski Nikos Tzevelekos [github]
An Invitation to Game Semantics Andrzej S. Murawski Nikos Tzevelekos [github]
Reachability in Pushdown Register Automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos [github]
Functional Reachability C.-H. Luke Ong Nikos Tzevelekos [github]
History-Register automata Nikos Tzevelekos Radu Grigore [github]
Runtime Verification Based on Register Automata Dino Distefano Radu Grigore Rasmus Lerchedahl Petersen Nikos Tzevelekos [github]
Full Abstraction for Reduced ML Andrzej S. Murawski Nikos Tzevelekos [github]
Runtime Verification Based on Register Automata Radu Grigore Dino Distefano Rasmus Lerchedahl Petersen Nikos Tzevelekos [github]
A System-Level Game Semantics Dan R. Ghica Nikos Tzevelekos [github]
Fresh-register automata Nikos Tzevelekos [github]

Library Size: 13G (14 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]