41
TITLE: Reactive Models for Biological Regulatory Networks
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
42
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
43
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017.
INDEXED IN: DBLP
IN MY: ORCID | DBLP
44
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
45
TITLE: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. Literature Review, Trends and Gap Analysis
AUTHORS: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2017, New Delhi, India, March 07 - 09, 2017
INDEXED IN: DBLP CrossRef: 6
IN MY: ORCID | DBLP
46
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
47
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
48
TITLE: Digital Governance for Sustainable Development
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
49
TITLE: Layered Logics, Coalgebraically
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669
INDEXED IN: DBLP
IN MY: ORCID | DBLP
50
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 5 of 19. Total results: 185.