Agent Based Approaches to Engineering Autonomous Space Software

Por Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres
Publicado em 2010-03-01

Optimal Bounds in Parametric LTL Games

Por Martin Zimmermann
Publicado em 2011-06-01

On the Number of Membranes in Unary P Systems

Por Rudolf Freund, Andreas Klein, Martin Kutrib
Publicado em 2009-07-01

Representing Small Ordinals by Finite Automata

Por Zoltan Ésik
Publicado em 2010-08-01

Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies

Por Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
Publicado em 2011-06-01

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Por Petros Kefalas, Ioanna Stamatopoulou
Publicado em 2010-08-01

Small Turing universal signal machines

Por Jérôme Durand-Lose
Publicado em 2009-06-01

Programming Idioms for Transactional Events

Por Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman
Publicado em 2010-02-01

Improvements for Free

Por Daniel Seidel, Janis Voigtländer
Publicado em 2011-07-01

Imitation in Large Games

Por Soumya Paul, R. Ramanujam
Publicado em 2010-06-01

On the Shuffle Automaton Size for Words

Por Franziska Biegler, Mark Daley, Ian McQuillan
Publicado em 2009-07-01

The GF Mathematics Library

Por Jordi Saludes, Sebastian Xambó
Publicado em 2012-02-01

The Rabin index of parity games

Por Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Publicado em 2013-07-01

Flux Analysis in Process Models via Causality

Por Ozan Kahramanoğulları
Publicado em 2010-02-01

Communications in cellular automata

Por Guillaume Theyssier, Ivan Rapaport, Eric Goles, Pierre-Etienne Meunier
Publicado em 2009-06-01

A Swiss Pocket Knife for Computability

Por Neil D. Jones
Publicado em 2013-09-01

Common Representation of Information Flows for Dynamic Coalitions

Por Igor Mozolevsky, John Fitzgerald
Publicado em 2010-01-01

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Por Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits Vaandrager
Publicado em 2009-12-01

On Improving Local Search for Unsatisfiability

Por David Pereira, Inês Lynce, Steven Prestwich
Publicado em 2009-10-01

Partially-commutative context-free languages

Por Sławomir Lasota, Wojciech Czerwiński
Publicado em 2012-08-01