- HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories C.-H. Luke Ong Dominik Wagner Fri 02 March 2012
- Learning Concepts Definable in First-Order Logic with Counting Steffen van Bergerem Fri 02 March 2012
- Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete Petr Jancar Sylvain Schmitz Fri 02 March 2012
- Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests Christoph Haase Georg Zetzsche Fri 02 March 2012
- Forbidden Induced Subgraphs and the ĊoĊtextendashTarski Theorem Yijia Chen Jorg Flum Fri 02 March 2012
- Stable Open Loop Control of Soft Robotic Manipulators Thomas George Thuruthel Egidio Falotico Mariangela Manti Cecilia Laschi Fri 02 March 2012
- Can Programming Be Liberated, Period D. Harel Fri 02 March 2012
- Embedded Software: Facts, Figures, and Future Christof Ebert Capers Jones Fri 02 March 2012
- Accessible Software Verification with Dafny K. Rustan M. Leino Fri 02 March 2012
- Dynamic Graphical Models Jeff Bilmes Fri 02 March 2012
- On Information Lossless Automata of Finite Order Shimon Even Fri 02 March 2012
- On non-decidability of reachability for timed-arc Petri nets V. Valero Ruiz D. de Frutos Escrig F. Cuartero Gomez Fri 02 March 2012
- Checking LTL properties of recursive Markov chains M. Yannakakis K. Etessami Fri 02 March 2012
- Model Checking MDPs with a Unique Compact Invariant Set of Distributions Rohit Chadha Vijay Anand Korthikanti Mahesh Viswanathan Gul Agha Youngmin Kwon Fri 02 March 2012
- Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework Zhifeng Lai S.c. Cheung Yunfei Jiang Fri 02 March 2012
- Scheduling real-time applications in an open environment Z. Deng J.W.-S. Liu Fri 02 March 2012
- Improving Model Inference in Industry by Combining Active and Passive Learning Nan Yang Kousar Aslam Ramon Schiffelers Leonard Lensink Dennis Hendriks Loek Cleophas Alexander Serebrenik Fri 02 March 2012
- An Empirical Study of Messaging Passing Concurrency in Go Projects Nicolas Dilley Julien Lange Fri 02 March 2012
- On uniformity within NC/sup 1/ D.A.M. Barrington N. Immerman H. Straubing Fri 02 March 2012
- BP: Formal Proofs, the Fine Print and Side Effects Toby Murray Paul van Oorschot Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
