Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1464

150 Team Members
Filters -> Year: 2024
1041
TITLE: Convergent and Commutative Replicated Data Types
AUTHORS: Marc Shapiro; Nuno M Preguiça ; Carlos Baquero ; Marek Zawirski;
PUBLISHED: 2011, SOURCE: Bulletin of the EATCS, VOLUME: 104, PAGES: 67-88
INDEXED IN: DBLP
1042
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011, PAGES: 215
INDEXED IN: DBLP
1043
TITLE: Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems
AUTHORS: Jacome Cunha ; Jorge Mendes ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2011, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011), PAGES: 179-186
INDEXED IN: Scopus WOS DBLP CrossRef: 24
1044
TITLE: End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
AUTHORS: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: 3rd International Symposium on End-User Development, IS-EUD 2011 in End-User Development - Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings, VOLUME: 6654, PAGES: 282-288
INDEXED IN: Scopus DBLP CrossRef Handle
1045
TITLE: Estimating local part thickness in midplane meshes for finite element analysis
AUTHORS: Ferreira, V; Santos, LP ; Franzen, M; Ghouati, OO; Simoes, R ;
PUBLISHED: 2011, SOURCE: International Journal of Mathematics and Computers in Simulation, VOLUME: 5, ISSUE: 1, PAGES: 69-76
INDEXED IN: Scopus
1046
TITLE: Experimental evaluation of distributed middleware with a virtualized Java environment
AUTHORS: Carvalho, NA; Bordalo, J; Campos, F; Pereira, J ;
PUBLISHED: 2011, SOURCE: 6th Workshop on Middleware for Service Oriented Computing, MW4SOC 2011 - Co-located with the ACM/IFIP/USENIX 12th International Middleware Conference, Middleware 2011 in Proceedings of the 6th Workshop on Middleware for Service Oriented Computing, MW4SOC 2011 - Co-located with the ACM/IFIP/USENIX 12th International Middleware Conference, Middleware 2011, PAGES: 3
INDEXED IN: Scopus DBLP CrossRef: 5
1047
TITLE: Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution  Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus ; Miguel A Mosteiro;
PUBLISHED: 2011, SOURCE: 15th International Conference on Principles of Distributed Systems (OPODIS 2011) in PRINCIPLES OF DISTRIBUTED SYSTEMS, VOLUME: 7109, PAGES: 513-527
INDEXED IN: Scopus WOS DBLP CrossRef: 8
1048
TITLE: GammaPolarSlicer  Full Text
AUTHORS: Sergio Areias; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2, PAGES: 477-499
INDEXED IN: Scopus WOS DBLP CrossRef
1050
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PAGES: 269-285
INDEXED IN: Scopus WOS DBLP CrossRef: 8
1051
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859, PAGES: 283-297
INDEXED IN: Scopus DBLP CrossRef: 31
1052
TITLE: Improving the Scalability of Cloud-Based Resilient Database Servers  Full Text
AUTHORS: Luis Soares; Jose Pereira ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 136-149
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1053
TITLE: Integration of SIP protocol in Android Media Framework
AUTHORS: Barbosa, A; Goncalves, J; Ribeiro, AN ; Costa, Antonio ;
PUBLISHED: 2011, SOURCE: International Conference on Computer as a Tool, EUROCON 2011 - Joint with Conftele 2011 in EUROCON 2011 - International Conference on Computer as a Tool - Joint with Conftele 2011
INDEXED IN: Scopus CrossRef
1054
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680, PAGES: 62-69
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Handle
1055
TITLE: Mining Association Rules for Label Ranking
AUTHORS: de Sa, CR ; Soares, C ; Jorge, AM ; Azevedo, P ; Costa, J ;
PUBLISHED: 2011, SOURCE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
INDEXED IN: Scopus WOS DBLP CrossRef: 20 Handle
1056
TITLE: Model-based spreadsheet engineering
AUTHORS: Jácome Cunha ;
PUBLISHED: 2011
INDEXED IN: DBLP Handle
1057
TITLE: Modelling and analysing the interactive behaviour of an infusion pump
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 45
INDEXED IN: Scopus DBLP
1058
TITLE: Multistage SPIT detection in transit VoIP
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ;
PUBLISHED: 2011, SOURCE: 19th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011 in 19th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011, Split, Croatia, September 15-17, 2011, PAGES: 1-9
INDEXED IN: Scopus DBLP
1059
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1060
TITLE: Practical realisation and elimination of an ECC-related software bug attack
AUTHORS: Billy Bob Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011, PAGES: 633
INDEXED IN: DBLP

Results per Page: 20.
Página 53 de 74. Total de resultados: 1464.