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

150 Team Members
Filters -> Year: 2025
861
TÍTULO: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTORES: João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2014, FONTE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PÁGINAS: 75-80
INDEXADO EM: Scopus DBLP CrossRef: 4
862
TÍTULO: The Modelery: A Collaborative Web Based Repository
AUTORES: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, NÚMERO: PART 6, PÁGINAS: 1-16
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
863
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 93
INDEXADO EM: DBLP
864
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
865
TÍTULO: Towards a Framework for Adaptive Web Applications
AUTORES: Sampaio, AI; Campos, JC ;
PUBLICAÇÃO: 2014, FONTE: Communications in Computer and Information Science, VOLUME: 434 PART I, PÁGINAS: 240-245
INDEXADO EM: Scopus DBLP CrossRef: 2
866
TÍTULO: Towards a framework for multidirectional model transformations PDF
AUTORES: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PÁGINAS: 71-74
INDEXADO EM: Scopus DBLP
867
TÍTULO: Towards a Runtime Verification Framework for the Ada Programming Language
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PÁGINAS: 58-73
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
868
TÍTULO: Validity Checking of Putback Transformations in Bidirectional Programming
AUTORES: Zhenjiang Hu; Hugo Pacheco ; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, VOLUME: 8442, PÁGINAS: 1-15
INDEXADO EM: DBLP
869
TÍTULO: Validity checking of putback transformations in bidirectional programming
AUTORES: Hu, Z; Pacheco, H ; Fischer, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Symposium on Formal Methods, FM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8442 LNCS, PÁGINAS: 1-15
INDEXADO EM: Scopus CrossRef: 9
870
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 456
INDEXADO EM: DBLP
871
TÍTULO: Workload-aware table splitting for NoSQL
AUTORES: Francisco Cruz ; Francisco Maia ; Rui Oliveira ; Ricardo Vilaça ;
PUBLICAÇÃO: 2014, FONTE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PÁGINAS: 399-404
INDEXADO EM: Scopus DBLP CrossRef Handle
872
TÍTULO: Writing bidirectional model transformations as intentional updates
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering, ICSE 2014 in 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, PÁGINAS: 488-491
INDEXADO EM: Scopus DBLP CrossRef: 5
873
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4, PÁGINAS: 783-825
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
874
TÍTULO: A Framework for Modular and Customizable Software Analysis
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 443-458
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
875
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP arXiv
876
TÍTULO: A Model-based Approach for Test Cases Generation
AUTORES: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
877
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements  Full Text
AUTORES: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER NETWORKS, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: Scopus WOS CrossRef: 7
878
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: Comput. Networks, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: DBLP
879
TÍTULO: A pilot project on non-conventional learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, PÁGINAS: 346
INDEXADO EM: Scopus DBLP CrossRef
880
TÍTULO: A Specification Patterns System for Discrete Event Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Jose Machado ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PÁGINAS: 1
INDEXADO EM: Scopus WOS CrossRef: 7

Results per Page: 20.
Página 44 de 75. Total de resultados: 1492.