Login

Articles

Hypermedia Entertainment and Information Spaces in Mixed Reality (WIP Technical Note)

Article

Published in 01/03/2004

Authors

Nuno Correia, Luis Romero, Jorge Santiago,

Integração Multimédia em Meios e Ambientes Aumentados nos Contextos Educativos e Culturais

Article

Published in 01/01/2004

Authors

Nuno Correia, Teresa Chambel,

Constraint Reasoning over Differential Equations

Article

Published in 01/01/2004

Authors

Jorge Cruz, Pedro Barahona,

Adding Mobility to Software Architectures _

Article

Published in 01/01/2004

Authors

Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems

Article

Published in 01/01/2004

Authors

A Resource-bounded Default Logic (Abstract)

Article

Published in 01/01/2004

Authors

Gregory Wheeler,

A Spatial Logic for Concurrency – II

Article

Published in 01/01/2004

Authors

Luis Caires, Luca Cardelli,

A noninterleaving model of concurrency based on transition systems with spatial structure

Article

Published in 01/01/2004

Authors

Luís Monteiro,

Guest editors of the special arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications

Article

Published in 01/01/2004

Authors

C. Delrieux, Luís Moniz Pereira,

Common-sense reasoning as proto-scientific agent activity

Article

Published in 01/01/2004

Authors

Pierangelo Dell'Acqua, Luís Moniz Pereira,