Classes of Timed Automata and the Undecidability of Universality
Abordagem Etnográfica-Aplicada e a Avaliação de Interfaces: Um Estudo de Caso
Context-Based JIT Compilation: The Design & Implementation of a Distributed JVM
A Multi-Scale Technique for Computer Assisted Re-Assembly of Fragmented Objects
A Program for Building Contig Scaffolds in Double-Barreled Shotgun Genome Sequencing
On Almost Deterministic Timed Automata