Login

Articles

Linear logical relations and observational equivalences for session-based concurrency

Article

Published in 01/12/2014

Authors

Jorge A Pérez, Luis Caires, Bernardo Toninho, Frank Pfenning,

Clip Art Retrieval Using a Sketch Tablet Application

Article

Published in 01/12/2014

Authors

Ana Sofia Mourato, Rui Jesus,

Healnect: A System to Help Patients of Physical Therapy Achieve their Therapeutic Exercises

Article

Published in 01/12/2014

Authors

Marco Talento, Tiago Martins, Arnaldo Abrantes, Rui Jesus,

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

Article

Published in 01/12/2014

Authors

Matthias Knorr, Martin Slota, João Leite, Martin Homola,

Model-based Programming Environments for Spreadsheets

Article

Published in 01/12/2014

Authors

Jácome Cunha, Joost Visser,

Heterogeneous Programming with Single Operation Multiple Data

Article

Published in 01/10/2014

Authors

Hervé Paulino, Eduardo Marques,

The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming

Article

Published in 01/09/2014

Authors

Ivan Lanese, Francisco Martins, António Ravara, Vasco Vasconcelos,

Contextual Abductive Reasoning with Side-Effects

Article

Published in 01/07/2014

Authors

Luís Moniz Pereira, Emmanuelle Anna Dietz,

Joint Tabling of Logic Program Abductions and Updates

Article

Published in 01/07/2014

Authors

Ari Saptawijaya, Luís Moniz Pereira,

VISUALIZING PRODUCTIVE NETWORKS

Article

Published in 01/06/2014

Authors

André Sabino, Armanda Rodrigues,