- Tips for creating a block language with blockly E. Pasternak R. Fenichel A. N. Marshall Fri 02 August 2019
- Ten Things We'Ve Learned from Blockly Neil Fraser Fri 02 August 2019
- A single-stranded architecture for cotranscriptional folding of RNA nanostructures Cody Geary Paul W. K. Rothemund Ebbe S. Andersen Thu 01 August 2019
- An Introduction to Logical Relations Lau Skorstengaard Mon 29 July 2019
- Eventually Safe Languages Simon Iosti Denis Kuperberg Mon 29 July 2019
- Revisiting Piecewise Testable Separability Parosh Aziz Abdulla Mohamed Faouzi Atig Vrunda Dave Shankara Narayanan Krishna Fri 26 July 2019
- On Conciseness of Extensions of Timed Automata Patricia Bouyer Fabrice Chevalier Fri 26 July 2019
- Model Checking Higher-Order Programs Naoki Kobayashi Fri 26 July 2019
- The complexity of homomorphism and constraint satisfaction problems seen from the other side Martin Grohe Fri 26 July 2019
- A Characterization of Regular Expressions Under Bisimulation J. C. M. Baeten F. Corradini C. A. Grabmayer Fri 26 July 2019
- On Rationality of Nonnegative Matrix Factorization Dmitry Chistikov Stefan Kiefer Ines Marusic Mahsa Shirmohammadi James Worrell Fri 26 July 2019
- On Restricted Nonnegative Matrix Factorization Dmitry Chistikov Stefan Kiefer Ines Marusic Mahsa Shirmohammadi James Worrell Fri 26 July 2019
- Unary Pushdown Automata and Straight-Line Programs Dmitry Chistikov Rupak Majumdar Fri 26 July 2019
- Optimal Asynchronous Newton Method for the Solution of Nonlinear Equations A. Bojańczyk Fri 26 July 2019
- Marlowe: Financial Contracts on Blockchain Pablo Lamela Seijas Simon Thompson Fri 26 July 2019
- Single use register automata for data words Mikołaj Bojańczyk Rafał Stefański Thu 25 July 2019
- Minimization of visibly pushdown automata is NP-complete Olivier Gauwin Anca Muscholl Michael Raskin Wed 24 July 2019
- The Syntax and Semantics of Quantitative Type Theory Robert Atkey Tue 23 July 2019
- Two-way Parikh Automata Emmanuel Filiot Shibashis Guha Nicolas Mazzocchi Tue 23 July 2019
- Counting Solutions to Presburger Formulas: How and Why William Pugh Mon 22 July 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
