Publications

Export 32 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Vieira, Hugo T., L. Caires, and J. C. Seco. "The Conversation Calculus: A Model of Service Oriented Computation." Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008. Ed. Sophia Drossopoulou. Lecture Notes in Computer Science. Springer-Verlag, 2008.
S
Sousa, Diogo G., João C. Martins, and João Costa Seco Paralelização de Código Puro numa Linguagem Imperativa. Simpósio de Informática, InForum. Caparica, 2012.
Seco, João Costa, Ricardo Silva, and Margarida Piriquito. "Component J: A component-based programming language with dynamic reconfiguration." Comput. Sci. Inf. Syst.. 5 (2008): 63-86.
Seco, João Costa, Paulo Ferreira, and Hugo Lourenço A common data manipulation language for nested data in heterogeneous environments.. 15th International Symposium on Database Programming Languages (DBPL'15). Pittsburgh, 2015.dbpl_2015.pdf
Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: component programming and reconfiguration." Proceedings of CoRTA (Compilers, Related Technologies and Applications). Instituto Politécnico de Bragança - ESTG, 2008.
Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.thesis.pdf
Seco, J. C., and L. Caires ComponentJ: The Reference Manual. Departamento de Informática FCT/UNL, 2002.
Seco, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. 2005.
Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration." Computer Science and Information Systems. 05 (2008): 65-86.
Seco, João Costa, Paulo Ferreira, and Hugo Lourenço Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version. Universidade Nova de Lisboa, 2016.tech-report.pdf
Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.
Seco, João Costa, and Luís Caires. "Types for Dynamic Reconfiguration." Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006. 2006. esop-final.pdf
M
Mateus, João, Miguel Domingues, and João Costa Seco Sistema de Runtime para uma Linguagem Web Reativa. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.
L
Lourenço, Luís, and João Costa Seco Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. INForum 2011. Coimbra, 2011.
Lourenço, Luís Miguel, João Costa Seco, and Francisco Martins Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.
G
Grade, Nuno, Lúcio Ferrão, and João Costa Seco Optimizing Data Queries Over Heterogeneous Sources. INForum 2013. Évora, 2013.inforum2013.pdf
Grácio, Bruno, João Costa Seco, and Hugo Lourenço Linguagem de manipulação de dados para NoSQL. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.
Gonçalves, Sara, Hugo Lourenço, and Sérgio Silva Otimização automática de aplicações web usando templates client-side. INForum 2014 - Actas do 6º Simpósio de Informática., 2014.
F
Ferreira, Paulo, João Costa Seco, and Carla Ferreira Fluxo de Informação em Sistemas com Políticas de Confidencialidade Dinâmicas. INForum 2013. Évora, 2013.
Ferrão, Lúcio Emanuel Represas, Seco João Ricardo Viegas Da Costa, Caires Luis Manuel Marques Da Costa, Caleira Borrêga, Gonçalo Filipe Xavier, António Augusto Vieira Melo, and OutSystems-Software em Rede SA SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL., 2013. Abstract

n/a

D
Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.techreport-2013.pdf
Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.rebls15.pdf
Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho, 2010.
Dias, Ricardo J., João M. Lourenço, and João Costa Seco Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach. Departamento de Informática FCT/UNL, 2010.
Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.