Login

In Proceedings

Travelling Through Space and Time in Lisbon’s Religious Buildings

InProceedings

Published in 01/10/2015

Authors

Fernando Branco, Armanda Rodrigues, Nuno Correia,

Extracting Static and Dynamic Structural Information from Java Concurrent Programs for Coverage Testing

InProceedings

Published in 01/10/2015

Authors

Paulo Souza, Simone Souza, Rafael Regis do Prado, George G. M. Dourado, Julio C. Estrella, Sarita M. Bruschi, João Lourenço,

On Conditionals

InProceedings

Published in 01/10/2015

Authors

Emmanuelle Anna Dietz, Steffen Holldobler, Luís Moniz Pereira,

LITESCAPE.PT – A Portuguese Literary Atlas

InProceedings

Published in 01/10/2015

Authors

Manuel Almas, Armanda Rodrigues, Nuno Correia, Ana Isabel Queiroz, Daniel Alves,

A common data manipulation language for nested data in heterogeneous environments.

InProceedings

Published in 01/10/2015

Authors

João Costa Seco, Paulo Jorge Abreu Duarte Ferreira,

FERRAMENTA DE APOIO À GESTÃO COSTEIRA E PORTUÁRIA: O SISTEMA HIDRALERTA

InProceedings

Published in 01/10/2015

Authors

C. J. E. M. Fortes, M. T. Reis, Pedro Poseiro, J. A. Santos, Tiago Garcia, L. Pinheiro, R. Reis, J. Craveiro, Pedro Lopes, Armanda Rodrigues, André Sabino, João Araújo, J. C. Ferreira, S. F. Silva, P. Raposeiro, E. B. Azevedo, M. C. Rodrigues, Francisco V. Reis, Carlos Pereira da Silva,

Type Safe Evolution of Live Systems

InProceedings

Published in 01/10/2015

Authors

Miguel Domingues, João Costa Seco,

Probabilistic Constraints for Robot Localization

InProceedings

Published in 01/09/2015

Authors

Marco Correia, Olga Meshcheryakova , Pedro Sousa, Jorge Cruz,

Unifying Justifications and Debugging for Answer-Set Programs

InProceedings

Published in 01/09/2015

Authors

Anastasia Analyti, Carlos Viegas Damásio, João Moura,

Enriquecimento de plataformas web colaborativas com comunicação browser-a-browser

InProceedings

Published in 01/09/2015

Authors

Albert van der Linde, João Leitão, Nuno Preguiça,