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

149 Team Members
Filters -> Year: 2026
1401
TÍTULO: Certificateless signcryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: AsiaCCS, PÁGINAS: 369-372
INDEXADO EM: Scopus DBLP CrossRef: 180
1402
TÍTULO: Connecting Rigorous System Analysis to Experience-Centered Design
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability, PÁGINAS: 56-74
INDEXADO EM: DBLP CrossRef: 2
1403
TÍTULO: Considering Context and Users in Interactive Systems Analysis
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PÁGINAS: 193-+
INDEXADO EM: Scopus WOS DBLP CrossRef
1404
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PÁGINAS: 265-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1405
TÍTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: FOCLASA@ICALP, VOLUME: 229, NÚMERO: 2, PÁGINAS: 43-58
INDEXADO EM: Scopus DBLP CrossRef: 12
1406
TÍTULO: Deriving Sorting Algorithms
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP
1407
TÍTULO: Disentangling Denotational Semantics Definitions
AUTORES: Tirelo, F; Bigonha, RS; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21, PÁGINAS: 3592-3607
INDEXADO EM: Scopus WOS DBLP
1409
TÍTULO: Gossip-based service coordination for scalability and resilience
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2008, FONTE: MW4SOC, PÁGINAS: 55-60
INDEXADO EM: DBLP CrossRef: 3
1410
TÍTULO: Intelligent optical sensors using artificial neural network approach  Full Text
AUTORES: Ireneu Dias ; Rui Oliveira ; Orlando Frazao ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 289-294
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1411
TÍTULO: Interval Tree Clocks A Logical Clock for Dynamic Systems
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Principles of Distributed Systems in PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, VOLUME: 5401, PÁGINAS: 259-274
INDEXADO EM: Scopus WOS DBLP CrossRef: 28 Handle
1412
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
INDEXADO EM: Scopus
1413
TÍTULO: Lissom, a Source Level Proof Carrying Code Platform
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
INDEXADO EM: DBLP
1414
TÍTULO: On The Discovery of Business Processes Orchestration Patterns
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1, PÁGINAS: 391-398
INDEXADO EM: Scopus WOS DBLP CrossRef
1415
TÍTULO: Parallel graphics and visualization  Full Text
AUTORES: Luis Paulo Santos ; Dirk Reiners; Jean Favre;
PUBLICAÇÃO: 2008, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 32, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus WOS CrossRef: 1
1416
TÍTULO: Preface
AUTORES: Günter Kniesel; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: RULE, VOLUME: 290, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
1417
TÍTULO: Property patterns for the formal verification of automated production systems
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1
INDEXADO EM: Scopus Handle
1418
TÍTULO: PRT simulation in an immersive virtual world
AUTORES: Cristina Videira Lopes; Anton Popov; Lorraine Kan; Ricardo Santos Morla ;
PUBLICAÇÃO: 2008, FONTE: SimuTools, PÁGINAS: 57
INDEXADO EM: Scopus DBLP CrossRef: 3
1419
TÍTULO: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTORES: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 10
INDEXADO EM: DBLP
1420
TÍTULO: Resources for situated actions
AUTORES: Doherty, G; Campos, J ; Harrison, M ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PÁGINAS: 194-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Página 71 de 83. Total de resultados: 1659.