Publications

Export 33 results:
Sort by: Author [ Title (Asc)] 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 
O
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.
A
Caires, L., J. C. Seco, and Hugo T. Vieira Automotive and Finance Case Studies in the Conversation Calculus. Departamento de Informática FCT/UNL, 2007.
B
Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.
C
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, 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, 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, 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, J. C., and L. Caires ComponentJ: The Reference Manual. Departamento de Informática FCT/UNL, 2002.
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.
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.
D
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.
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.
L
Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.thesis.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.
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.
Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho, 2010.
M
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
N
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
O
Grade, Nuno, Lúcio Ferrão, and João Costa Seco Optimizing Data Queries Over Heterogeneous Sources. INForum 2013. Évora, 2013.inforum2013.pdf
P
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.
Aguiar, Hugo Menino, J. C. Seco, and Lúcio Ferrão. "Profiling of Real-World Web Applications." Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Ed. Shmuel Ur João Lourenço, Eitan Farchi. ACM Electronic Library, 2010.
S
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.
Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho, 2010.
Dias, Ricardo J., Dino Distefano, João M. Lourenço, and João Costa Seco StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. Departamento de Informática FCT/UNL, 2010.
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.