Publications

Export 32 results:
Sort by: [ Author (Asc)] 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 
A
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.
C
Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.bst-tr.pdf
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.
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.
D
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.
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.
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.
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.
Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.techreport-2013.pdf
F
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

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.
G
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.
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.
Grade, Nuno, Lúcio Ferrão, and João Costa Seco Optimizing Data Queries Over Heterogeneous Sources. INForum 2013. Évora, 2013.inforum2013.pdf
L
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.
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.
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.
S
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.