- Communicating automata Dietrich Kuske Anca Muscholl Mon 10 September 2018
- Verifying Quantitative Temporal Properties of Procedural Programs Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan Mon 10 September 2018
- CONTRATTO PER IL GOVERNO DEL CAMBIAMENTO AAVV Fri 07 September 2018
- Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions Henri Hansen Shang-Wei Lin Yang Liu Truong Khanh Nguyen Jun Sun Thu 06 September 2018
- Nash Equilibrium and Bisimulation Invariance J. Gutierrez P. Harrenstein G. Perelli M. Wooldridge Thu 06 September 2018
- The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 S. Kiefer I. Ponomarenko P. Schweitzer Thu 06 September 2018
- Deciding polynomial-transcendental problems Scott McCallum Volker Weispfenning Mon 03 September 2018
- Deciding Linear-Transcendental Problems Volker Weispfenning Mon 03 September 2018
- Alfred Tarski and decidable theories John Doner Wilfrid Hodges Mon 03 September 2018
- Elementary properties of Abelian groups Wanda Szmielew Mon 03 September 2018
- Verifying Mixed Real-integer Quantifier Elimination Amine Chaieb Mon 03 September 2018
- Perfect Timed Communication Is Hard Parosh Aziz Abdulla Mohamed Faouzi Atig Shankara Narayanan Krishna Sat 01 September 2018
- Ordinary Generating Functions of Context-Free Grammars Tanner Swett Edward Aboufadel Thu 23 August 2018
- Nash Equilibrium in Generalised Muller Games Soumya Paul Sunil Simon Thu 23 August 2018
- A Proof of Kamp's theorem A. Rabinovich Thu 23 August 2018
- Timed context-free temporal logics (extended version) L. Bozzelli A. Murano A. Peron Mon 20 August 2018
- Summer School LIPA 2018 - Slides N/A Fri 10 August 2018
- Yamaha MU50 Tone Generator - Owner's Manual Yamaha Fri 10 August 2018
- Some transcendental functions with an empty exceptional set D. Marques F. M. S. Lima Fri 10 August 2018
- Elliptic Functions and Transcendence Michel Waldschmidt Fri 10 August 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
