- Parameterized, concurrent session types for asynchronous multi-actor interactions Minas Charalambides Peter Dinges Gul Agha Fri 02 March 2012
- Computing all identifiable functions of parameters for ODE models Alexey Ovchinnikov Anand Pillay Gleb Pogudin Thomas Scanlon Fri 02 March 2012
- Realizability of high-level message sequence charts: closing the gaps Markus Lohrey Fri 02 March 2012
- On groups whose word problem is solved by atextasciitildecounter automaton Gillian Z. Elston Gretchen Ostheimer Fri 02 March 2012
- Metrics for labelled Markov processes Josée Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden Fri 02 March 2012
- Counting the solutions of Presburger equations without enumerating them Bernard Boigelot Louis Latour Fri 02 March 2012
- On the computational complexity of imperative programming languages L. Kristiansen K.-H. Niggl Fri 02 March 2012
- Soft linear logic and polynomial time Yves Lafont Fri 02 March 2012
- Inference of ømega-languages from prefixes C. de la Higuera J.C. Janodet Fri 02 March 2012
- On the state complexity of reversals of regular languages Arto Salomaa Derick Wood Sheng Yu Fri 02 March 2012
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton Ines Klimann Sylvain Lombardy Jean Mairesse Christophe Prieur Fri 02 March 2012
- On deterministic finite automata and syntactic monoid size Markus Holzer Barbara König Fri 02 March 2012
- State complexity of some operations on binary regular languages Galina Jirásková Fri 02 March 2012
- A brief history of process algebra J.C.M. Baeten Fri 02 March 2012
- Coalgebraic minimization of HD-automata for the -calculus using polymorphic types Gianluigi Ferrari Ugo Montanari Emilio Tuosto Fri 02 March 2012
- Domain theory, testing and simulation for labelled Markov processes Franck van Breugel Michael Mislove Joël Ouaknine James Worrell Fri 02 March 2012
- Measuring the confinement of probabilistic systems Alessandra Di Pierro Chris Hankin Herbert Wiklicky Fri 02 March 2012
- A topological approach to transductions Jean-Éric Pin Pedro V. Silva Fri 02 March 2012
- Sequential algorithms and strongly stable functions Paul-André Melliès Fri 02 March 2012
- Parameterised boolean equation systems Jan Friso Groote Tim A.C. Willemse Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
