ProfileOfResearchers

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, VOLUME: Part F128003

INDEXED IN:

Scopus

DBLP

CrossRef: 13

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

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 |

CIÊNCIAVITAE

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 |

CIÊNCIAVITAE

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: 7

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

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

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 |

CIÊNCIAVITAE

TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; 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: 2

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: A method for rigorous design of reconfigurable systems Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 12

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE

TITLE: An Enhanced Model for Stochastic Coordination Full Text
AUTHORS: Nuno Oliveira; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, ISSUE: 228

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

IN MY:

ORCID |

DBLP |

CIÊNCIAVITAE