- Gossiping in Message-Passing Systems B. Bollig M. Fortin P. Gastin Tue 09 October 2018
- An automata-theoretic approach to the verification of distributed algorithms C. Aiswarya Benedikt Bollig Paul Gastin Tue 09 October 2018
- On parametrized verification of asynchronous, shared-memory pushdown systems M. Fortin A. Muscholl I. Walukiewicz Tue 09 October 2018
- Communicating Finite-State Machines and Two-Variable Logic Benedikt Bollig Marie Fortin Paul Gastin Tue 09 October 2018
- It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before'' Benedikt Bollig Marie Fortin Paul Gastin Tue 09 October 2018
- The Effects of Bounding Syntactic Resources on Presburger LTL S. Demri R. Gascon Mon 08 October 2018
- Enumeration for FO Queries over Nowhere Dense Graphs Nicole Schweikardt Luc Segoufin Alexandre Vigny Mon 08 October 2018
- Width of Non-deterministic Automata Denis Kuperberg Anirban Majumdar Mon 08 October 2018
- Complementation of Finitely Ambiguous Buchi Automata Alexander Rabinovich Mon 08 October 2018
- Unifying Leakage Models: From Probing Attacks to Noisy Leakage Alexandre Duc Stefan Dziembowski Sebastian Faust Mon 08 October 2018
- BrainNet: A Multi-Person Brain-to-Brain Interface for Direct Collaboration Between Brains L. Jiang A. Stocco D. M. Losey J. A. Abernethy C. S. Prat R. P. N. Rao Mon 08 October 2018
- Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable Ian Pratt-Hartmann Fri 05 October 2018
- Intersection Non-emptiness and Hardness Within Polynomial Time Mateus de Oliveira Oliveira Michael Wehar Fri 05 October 2018
- Hardness Results for Intersection Non-Emptiness Michael Wehar Fri 05 October 2018
- On the Upward/Downward Closures of Petri Nets Mohamed Faouzi Atig Roland Meyer Sebastian Muskalla Prakash Saivasan Fri 05 October 2018
- L(A) = L(B) Decidability Results from Complete Formal Systems Géraud Sénizergues Thu 04 October 2018
- L(A)=L(B) A simplified decidability proof Géraud Sénizergues Thu 04 October 2018
- L(A)=L(B) decidability results from complete formal systems Géraud Sénizergues Thu 04 October 2018
- Some Applications of the Decidability of DPDA's Equivalence Géraud Sénizergues Thu 04 October 2018
- Complete formal systems for equivalence problems Géraud Sénizergues Thu 04 October 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
