- ICE-Based Refinement Type Discovery for Higher-Order Functional Programs Adrien Champion Tomoya Chiba Naoki Kobayashi Ryosuke Sato Fri 02 March 2012
- Complexity of the Two-Variable Fragment with Counting Quantifiers Ian Pratt-Hartmann Fri 02 March 2012
- Higher-Order Airy Scaling in Deformed Dyck Paths Nina Haug Adri Olde Daalhuis Thomas Prellberg Fri 02 March 2012
- Zero-Sum Differential Games Involving Hybrid Controls S. Dharmatti M. Ramaswamy Fri 02 March 2012
- Call-by-push-value: Decomposing call-by-value and call-by-name Paul Blain Levy Fri 02 March 2012
- The octagon abstract domain Antoine Miné Fri 02 March 2012
- Proof Analysis in Modal Logic Sara Negri Fri 02 March 2012
- Spectral learning of weighted automata Borja Balle Xavier Carreras Franco M. Luque Ariadna Quattoni Fri 02 March 2012
- Learning register automata: from languages to program structures Malte Isberner Falk Howar Bernhard Steffen Fri 02 March 2012
- Learning deterministic probabilistic automata from a model checking perspective Hua Mao Yingke Chen Manfred Jaeger Thomas D. Nielsen Kim G. Larsen Brian Nielsen Fri 02 March 2012
- Computation with finite stochastic chemical reaction networks David Soloveichik Matthew Cook Erik Winfree Jehoshua Bruck Fri 02 March 2012
- Petri nets for modelling metabolic pathways: a survey Paolo Baldan Nicoletta Cocco Andrea Marin Marta Simeoni Fri 02 March 2012
- Model-based computation Cameron Beebe Fri 02 March 2012
- On the properties of positive spanning sets and positive bases Rommel G. Regis Fri 02 March 2012
- N-qudit SLOCC equivalent W states are determined by their bipartite reduced density matrices with tree form Xia Wu Heng-Yue Jia Dan-Dan Li Ying-Hui Yang Fei Gao Fri 02 March 2012
- Interaction Grammars Bruno Guillaume Guy Perrier Fri 02 March 2012
- Pairwise testing for software product lines: comparison of two approaches Gilles Perrouin Sebastian Oster Sagar Sen Jacques Klein Benoit Baudry Yves le Traon Fri 02 March 2012
- The Undecidability of Iterated Modal Relativization Joseph S. Miller Lawrence S. Moss Fri 02 March 2012
- Program Extraction from Normalization Proofs Ulrich Berger Stefan Berghofer Pierre Letouzey Helmut Schwichtenberg Fri 02 March 2012
- Intuitionistic Games: Determinacy, Completeness, and Normalization Paweł Urzyczyn Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
