Invariants-based Architecture for Semantic Malware Resistance
Multivariate Formal Power Series Invariants Generation for Non Linear Hybrid Systems
Creating a HasCASL Library
GRASP Strategies for Scheduling Activities at Oil Wells with Resource Displacement
Problemas de Escalonamento de Pessoal em Enfermarias Hospitalares
Classes of Timed Automata and the Undecidability of Universality
IC Technical Reports 2013
IC Technical Reports 2014
IC Technical Reports 2000
IC Technical Reports 2001
IC Technical Reports 1999
IC Technical Reports 2012
Rachid Rebiha
Nadir Matringe
Cid C. de Souza
Guilherme A. Pinto
Tallys H. Yunes
Adilson L. Bonifacio