High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1659
149 Team MembersFilters -> Year: 2026
981
TITLE: HCI engineering: charting the way towards methods and tools for advanced interactive systems. charting the way towards methods and tools for advanced interactive systems
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
982
TITLE: Improving FEM crash simulation accuracy through local thickness estimation based on CAD data Full Text
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
983
TITLE: Improving the Scalability of DPWS-Based Networked Infrastructures
AUTHORS: Filipe Campos; José Pereira ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8546
AUTHORS: Filipe Campos; José Pereira ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8546
INDEXED IN: 
DBLP
DBLP984
TITLE: LAYSTREAM: composing standard gossip protocols for live video streaming
AUTHORS: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-10
AUTHORS: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-10
985
TITLE: Link Community Detection Using Generative Model and Nonnegative Matrix Factorization Full Text
AUTHORS: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLISHED: 2014, SOURCE: PLOS ONE, VOLUME: 9, ISSUE: 1
AUTHORS: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLISHED: 2014, SOURCE: PLOS ONE, VOLUME: 9, ISSUE: 1
986
TITLE: Making Operation-Based CRDTs Operation-Based
AUTHORS: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 126-140
AUTHORS: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 126-140
987
TITLE: Making operation-based CRDTs operation-based
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 7:1-7:2
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 7:1-7:2
988
TITLE: MDSheet -model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PAGES: 31-33
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PAGES: 31-33
INDEXED IN: 
Scopus 
Handle
Scopus Handle989
TITLE: Model-based programming environments for spreadsheets
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
990
TITLE: Modeling e-government processes using YAWL: half-way towards their effective real implementation. half-way towards their effective real implementation
AUTHORS: Orlando Belo ; José Luis Faria ; António Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: ICEGOV, VOLUME: 2014-January, PAGES: 288-291
AUTHORS: Orlando Belo ; José Luis Faria ; António Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: ICEGOV, VOLUME: 2014-January, PAGES: 288-291
991
TITLE: Monadic combinators for "Putback" style bidirectional programming
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 39-50
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 39-50
992
TITLE: On the Support of Versioning in Distributed Key-Value Stores
AUTHORS: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
AUTHORS: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
993
TITLE: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
994
TITLE: Paradigm integration in a specification course
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), PAGES: 492-499
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), PAGES: 492-499
995
TITLE: pH1: A Transactional Middleware for NoSQL
AUTHORS: Coelho, F ; Cruz, F ; Vilaça, R ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 115-124
AUTHORS: Coelho, F ; Cruz, F ; Vilaça, R ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 115-124
996
TITLE: Preparing relational algebra for "just good enough" hardware
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8428 LNCS, PAGES: 119-138
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8428 LNCS, PAGES: 119-138
997
TITLE: Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014
AUTHORS: Elsa Estevez; Marijn Janssen; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: ICEGOV
AUTHORS: Elsa Estevez; Marijn Janssen; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: ICEGOV
INDEXED IN: DBLP
DBLP998
TITLE: Prototyping and analysing ubiquitous computing environments using multiple layers
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5, PAGES: 488-506
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 5, PAGES: 488-506
999
TITLE: Quantitative analysis of Reo-based service coordination
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 1247-1254
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 1247-1254
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef1000
TITLE: Rapid development of first person serious games using the APEX platform: the asthma game. the asthma game
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 169-174
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 169-174
