A basic model of typed components JC Seco, L Caires European Conference on Object-Oriented Programming, 108-128, 2000 | 153 | 2000 |
The conversation calculus: A model of service-oriented computation HT Vieira, L Caires, JC Seco Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 143 | 2008 |
Closing the gap between designers and developers in a low code ecosystem M Bexiga, S Garbatov, JC Seco Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 44 | 2020 |
The type discipline of behavioral separation L Caires, JC Seco ACM SIGPLAN Notices 48 (1), 275-286, 2013 | 42 | 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 | 30 | 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 | 23 | 2008 |
OSTRICH-a type-safe template language for low-code development H Lourenço, C Ferreira, JC Seco 2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021 | 20 | 2021 |
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 | 20 | 2018 |
Verification of snapshot isolation in transactional memory Java programs RJ Dias, D Distefano, JC Seco, JM Lourenço ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012 | 17 | 2012 |
Types for Dynamic Reconfiguration JC Seco, L Caires Programming languages and systems: 15th European Symposium on Programming …, 2006 | 17* | 2006 |
Uav cloud platform for precision farming M Pino, JP Matos-Carvalho, D Pedro, LM Campos, JC Seco 2020 12th International Symposium on Communication Systems, Networks and …, 2020 | 16 | 2020 |
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 | 15 | 2013 |
Adding type safety to component programming JC Seco Proc. of The PhD Student’s Workshop, 2002 | 12 | 2002 |
Type-safe evolution of web services J Campinhos, JC Seco, J Cunha 2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in …, 2017 | 11 | 2017 |
Type safe evolution of live systems M Domingues, JC Seco Workshop on reactive and event-based languages & systems (REBLS’15), 2015 | 11 | 2015 |
A society of agents in environmental monitoring JC Seco, C Pinto-Ferreira, L Correia From Animals to Animats 5, 447-452, 1998 | 11 | 1998 |
Deep semantic versioning for evolution and variability L Carvalho, JC Seco Proceedings of the 23rd International Symposium on Principles and Practice …, 2021 | 10 | 2021 |
Parametric typed components JC Seco, L Caires Proc. of the Fifth Intl. Workshop on Component-Oriented Programming ECOOP’00, 2000 | 10* | 2000 |
An Ontology based Task Oriented Dialogue. JQ Silva, D Melo, IP Rodrigues, JC Seco, C Ferreira, J Parreira KEOD, 96-107, 2021 | 9 | 2021 |
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 | 9 | 2015 |