| A basic model of typed components JC Seco, L Caires European Conference on Object-Oriented Programming, 108-128, 2000 | 148 | 2000 |
| The conversation calculus: A model of service-oriented computation HT Vieira, L Caires, JC Seco European Symposium on Programming, 269-283, 2008 | 135 | 2008 |
| The type discipline of behavioral separation L Caires, JC Seco ACM SIGPLAN Notices 48 (1), 275-286, 2013 | 33 | 2013 |
| Type-based Access Control in Data-Centric Systems L Caires, P Jorge, J Costa Seco, H Torres Vieira, F Lúcio Programming Languages and Systems, 136--155, 2011 | 22 | 2011 |
| Component j: A component-based programming language with dynamic reconfiguration JC Seco, R Silva, M Piriquito Computer Science and Information Systems 5 (2), 63-86, 2008 | 22 | 2008 |
| Types for Dynamic Reconfiguration JC Seco, L Caires Programming languages and systems: 15th European Symposium on Programming …, 2006 | 13* | 2006 |
| Verification of snapshot isolation in transactional memory Java programs RJ Dias, D Distefano, JC Seco, JM Lourenço European Conference on Object-Oriented Programming, 640-664, 2012 | 12 | 2012 |
| Adding type safety to component programming JC Seco Proc. of The PhD Student’s Workshop, 2002 | 12 | 2002 |
| Parametric typed components JC Seco, L Caires Proc. of the Fifth Intl. Workshop on Component-Oriented Programming ECOOP’00, 2000 | 10* | 2000 |
| A society of agents in environmental monitoring JC Seco, C Pinto-Ferreira, L Correia From Animals to Animats 5, 447-452, 1998 | 9 | 1998 |
| Type safe composition in .NET JC Seco First Microsoft Research Summer Workshop, Cambridge, UK, 2002 | 8 | 2002 |
| A common data manipulation language for nested data in heterogeneous environments JC Seco, H Lourenço, P Ferreira Proceedings of the 15th Symposium on Database Programming Languages, 11-20, 2015 | 7 | 2015 |
| SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL LER Ferrão, SJRV Da Costa, CLMM Da Costa, C Borrêga, GF Xavier, ... US Patent 20,130,246,995, 2013 | 7 | 2013 |
| A model of service oriented computation L Caires, HT Vieira, JC Seco publishing October, 2007 | 7 | 2007 |
| Subtyping first-class polymorphic components JC Seco, L Caires European Symposium on Programming, 342-356, 2005 | 7 | 2005 |
| Snapshot isolation anomalies detection in software transactional memory RJ Dias, J Seco, JM Lourenço INForum, 2010 | 6 | 2010 |
| ComponentJ: The reference manual JC Seco, L Caires | 6 | 2002 |
| RESEDA: Declaring live event-driven computations as reactive semi-structured data JC Seco, S Debois, T Hildebrandt, T Slaats 2018 IEEE 22nd International enterprise distributed object computing …, 2018 | 5 | 2018 |
| Type-safe evolution of web services J Campinhos, JC Seco, J Cunha 2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in …, 2017 | 5 | 2017 |
| Managing and querying a bilingual lexicon with suffix trees J Costa, L Gomes, GP Lopes, LMS Russo Proceedings of the 15th Portuguese Conference in Arificial Intelligence …, 2011 | 5 | 2011 |
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
