- Behavioral Types in Programming Languages Davide Ancona Viviana Bono Mario Bravetti Joana Campos Giuseppe Castagna Pierre-Malo Deniélou Simon J. Gay Nils Gesbert Elena Giachino Raymond Hu Einar Broch Johnsen Francisco Martins Viviana Mascardi Fabrizio Montesi Rumyana Neykova Nicholas Ng Bono Luca Padovani Vasco T. Vasconcelos Nobuko Yoshida Fri 02 March 2012
- QED at Large: A Survey of Engineering of Formally Verified Software Talia Ringer Karl Palmskog Ilya Sergey Milos Gligoric Zachary Tatlock Fri 02 March 2012
- Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks Christopher Morris Martin Ritzert Matthias Fey William L. Hamilton Jan Eric Lenssen Gaurav Rattan Martin Grohe Fri 02 March 2012
- Blameworthiness in Multi-Agent Settings Meir Friedenberg Joseph Y. Halpern Fri 02 March 2012
- The umbral moonshine module for the unique unimodular Niemeier root system John Duncan Jeffrey Harvey Fri 02 March 2012
- The sixth moment of automorphic L-functions Vorrapan Chandee Xiannan Li Fri 02 March 2012
- A duality in Buchsbaum rings and triangulated manifolds Satoshi Murai Isabella Novik Ken-ichi Yoshida Fri 02 March 2012
- Linear dependency for the difference in exponential regression Indika Sathish Diawara Norou Fri 02 March 2012
- Provenance analysis for logic and games Erich Grädel Val Tannen Fri 02 March 2012
- Antichains for the Automata-Based Approach to Model-Checking Laurent Doyen Jean-Francois Raskin Fri 02 March 2012
- Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs Thomas Martin Gawlitza David Monniaux Fri 02 March 2012
- Some Aspects of Model Theory and Finite Structures Eric Rosen Fri 02 March 2012
- Describing Groups André Nies Fri 02 March 2012
- Automata Presenting Structures: A Survey of the Finite String Case Sasha Rubin Fri 02 March 2012
- Kleenetextquotesingles Amazing Second Recursion Theorem Yiannis N. Moschovakis Fri 02 March 2012
- Effective Choice and Boundedness Principles in Computable Analysis Vasco Brattka Guido Gherardi Fri 02 March 2012
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax Murdoch J. Gabbay Fri 02 March 2012
- On the decidability of implicational ticket entailment Katalin Bimbó J. Michael Dunn Fri 02 March 2012
- The laws of integer divisibility, and solution sets of linear divisibility conditions L. van den Dries A. J. Wilkie Fri 02 March 2012
- Products of `transitivetextquotedblright modal logics D. Gabelaia A. Kurucz F. Wolter M. Zakharyaschev Fri 02 March 2012
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
