stacks_image_259AEF00-F59B-49B4-AC10-2F4D45DB2DF8
João Costa Seco
Assistant Professor at the Computer Science Department of the Universidade Nova de Lisboa.
Researcher at the CITI (Center of Computer Science and Information Technology).
Member of the PLASTIC Research Team
Member of ICTI (CMU-Portugal).
e-mail: Joao.Seco@di.fct.unl.pt
Office: p2/13, Ed II (Mon 14:00-15:00)
Phone: +351212948536 (ext. 10752)
Fax: +351212948541
  • Conference Proceedings
  • Luís Caires, João Costa Seco. The Type Discipline of Behavioral Separation. (Long version (TR) with proofs and further examples). Working note on a type-checking algorithm for BST, with checked examples (from paper above). To appear.
  • Ricardo Dias, Dino Distefano, João Costa Seco, João Lourenço. Verification of Snapshot Isolation in Transactional Memory Java Programs. In Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), 2012 [PDF]
  • Luís Caires, Jorge A. Pérez, João C. Seco, Hugo T. Vieira, Lúcio Ferrão. Type-Based Access Control in Data-Centric Systems. In Proceedings of the European Symposium on Programming (ESOP), 2011. [PDF]
  • Miguel Domingues, João Costa Seco. LiveWeb - Core Language for Web Applications. In Proceedings of INFORUM (SOFTPT), 2010.
  • Ricardo Dias, João Costa Seco, João Lourenço. Snapshot Isolation Anomalies Detection in Software Transactional Memory. In Proceedings of INFORUM (SOFTPT), 2010. [PDF]
  • João Costa Seco, Ricardo Silva, Margarida Piriquito. ComponentJ: component programming and reconfiguration. In Proceedings of CoRTA (Compilers, Related Technologies and Applications) - July, 2008. [PDF]
  • Hugo Torres Vieira, Luis Caires, João Costa Seco. The Conversation Calculus: A Model of Service Oriented Computation. In Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008 - March, 2008. [PDF]
  • João Costa Seco and Luís Caires.
    Types for Dynamic Reconfiguration.
    In Proceedings of the European Symposium on Programming (ESOP), 2006. [PDF]
  • João Costa Seco and Luís Caires.
    Subtyping First-Class Polymorphic Components.
    In Proceedings of the European Symposium on Programming (ESOP), 2005.[PDF]
  • João Costa Seco and Luís Caires.
    A basic model of typed components.
    In ECOOP’2000 14th European Conference on Object-Oriented Programming, 2000.
  • Thesis
  • João Costa Seco. Languages and Types for Component-Based Programming PhD Thesis, 2006. [PDF]
  • Journals
  • João Costa Seco, Ricardo Silva, Margarida Piriquito. ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration. Computer Science and Information Systems. Vol 05. Number 02. 2008. [PDF]
  • Workshop Proceedings
  • João C. Seco, Jorge A. Pérez, Hugo T. Vieira, Luís Caires. Language Based Security for Database Access Control. In Proceedings of the Second NET-SCIP Workshop on Security (2010). [Abstract]
  • Luís Caires, João Costa Seco, Jorge Perez, Hugo Torres Vieira. Type based access control to database entities. In International Workshop on Relations and Data Integrity Constraints and Languages (RADICAL), 2010.
  • Hugo Menino Aguiar, João Costa Seco. Profiling of Real-World Web Applications. Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 2010 (PADTAD). [PDF]
  • João Costa Seco.
    Adding type safety to component-oriented programming.
    In OnLine Proceedings of the first PhD Student Workshop of FMOODS, 2002.
    [PDF]
  • João Costa Seco.
    Type safe composition in .NET.
    In First Microsoft Research Summer Workshop, Cambridge, 2002.
    [PDF]
  • João Costa Seco and Luís Caires.
    Parametrically typed components.
    In WCOP’2000 - Workshop on Component Oriented Programming, 2000.
  • Technical reports
  • João Costa Seco and Luís Caires.
    ComponentJ: The Reference Manual
    Technical Report UNL-DI-6-2002
    Monte da Caparica, Portugal, 2002, [PDF].
  • João Costa Seco and Luís Caires.
    A basic model of typed components.
    Technical Report UNL-DI-1-2000, FCT/UNL, 2000.
Mobile Robotics
  • João Costa Seco, Luís Correia and Carlos Pinto-Ferreira.
    A multiagent system for pollutant monitoring.
    In Proceedings of the Sixth IberoAmerican Conference on Artificial Intelligence, Coimbra, 1998.
  • João Costa Seco, Luís Correia and Carlos Pinto-Ferreira.
    A society of agents in environmental monitoring.
    In “From Animals to Animats” Proceedings of the Fifth International Conference on Simulation of Adaptive Behaviour, Zurique, 1998.
  • João Costa Seco.
    Monitorização de nuvens de poluente através de sociedades de agentes robóticos simulados
    Master’s thesis, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1997.