CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
6821
TITLE: Universality in nonlinear prediction of complex systems  Full Text
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, A ; Stollenwerk, N ;
PUBLISHED: 2009, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 15, ISSUE: 11-12, PAGES: 1067-1076
INDEXED IN: Scopus WOS CrossRef: 5
6822
TITLE: User Defined Indexing  Full Text
AUTHORS: David Vaz; Vitor Santos Costa ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PAGES: 372-386
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6823
TITLE: Using Compilers to Enhance Cryptographic Product Development
AUTHORS: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLISHED: 2009, SOURCE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009, PAGES: 291-301
INDEXED IN: DBLP CrossRef: 1
6824
TITLE: Using data mining techniques to probe the role of hydrophobic residues in protein folding and unfolding simulations
AUTHORS: Silva, CG; Ferreira, PG ; Azevedo, PJ ; Brito, RMM;
PUBLISHED: 2009, SOURCE: Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions, PAGES: 258-276
INDEXED IN: Scopus CrossRef
6825
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PAGES: 37-52
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6826
TITLE: Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments  Full Text
AUTHORS: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; Borges B de Sousa; Martins, R; Pinto, J ; Estrela E da Silva ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLISHED: 2009, SOURCE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, PAGES: 3603-3610
INDEXED IN: Scopus WOS DBLP CrossRef: 8
6827
TITLE: VIRTUAL REALITY: APPLICATION TO COGNITIVE REHABILITION AFTER ACQUIRED BRAIN INJURY
AUTHORS: Dores, RA; Carvalho, I ; Abreu, C; Nunes, J; Leitao, M ; Castro Caldas, A;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PAGES: 31-36
INDEXED IN: WOS
6828
TITLE: Visually Guiding and Controlling the Search While Mining Chemical Structures
AUTHORS: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ;
PUBLISHED: 2009, SOURCE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, ISSUE: PART 2, PAGES: 1043-1046
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6829
TITLE: Vital Signs in Intensive Care: Automatic Acquisition and Consolidation into Electronic Patient Records  Full Text
AUTHORS: Telmo Fonseca; Cristina Ribeiro ; Cristina Granja ;
PUBLISHED: 2009, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 33, ISSUE: 1, PAGES: 47-57
INDEXED IN: Scopus WOS DBLP CrossRef: 9
6830
TITLE: Web Accessibility in Portuguese Enterprises
AUTHORS: Jose Martins ; Filipa Moura; Antonio Pereira; Carlos Rabadao ; Joao Barroso ; Ramiro Goncalves ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PAGES: 43-48
INDEXED IN: WOS
6831
TITLE: Web platform architecture to support the Geographic Information System of the University of Tras-os-Montes and Alto Douro Campus
AUTHORS: Jose Almeida; Hugo Fernandes ; Vitor Filipe ; Joao Barroso ;
PUBLISHED: 2009, SOURCE: 3rd International Conference on New Trends in Information and Service Science (NISS 2009) in 2009 INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION AND SERVICE SCIENCE (NISS 2009), VOLS 1 AND 2, PAGES: 1112-+
INDEXED IN: Scopus WOS CrossRef: 4
6832
TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PAGES: 39-+
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6833
TITLE: Wikis4SE 2009. wikis for software engineering
AUTHORS: Ademar Aguiar; Nuno Flores ; Paulo Merson;
PUBLISHED: 2009, SOURCE: Proceedings of the 5th International Symposium on Wikis and Open Collaboration - WikiSym '09
INDEXED IN: CrossRef: 1
6834
TITLE: Wikis4SE 2009: wikis for software engineering
AUTHORS: Ademar Aguiar ; Nuno Flores ; Paulo Merson;
PUBLISHED: 2009, SOURCE: 5th International Symposium on Wikis and Open Collaboration, WiKiSym 2009 in Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009
INDEXED IN: Scopus DBLP CrossRef: 1
6835
TITLE: Wikis4SE'2009: Wikis for Software Engineering
AUTHORS: Ademar Aguiar ; Uri Dekel; Paulo Merson;
PUBLISHED: 2009, SOURCE: 31st International Conference on Software Engineering (ICSE 2009) in 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, PAGES: 480-+
INDEXED IN: Scopus WOS DBLP
6836
TITLE: Work in progress - W2: An easy-to-use workshop module
AUTHORS: Figueira, A ; Cunha, E;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef
6837
TITLE: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays  Full Text
AUTHORS: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 236-245
INDEXED IN: Scopus WOS DBLP CrossRef: 10
6838
TITLE: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTHORS: Silva, PF ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PAGES: 44-55
INDEXED IN: Scopus DBLP
6839
TITLE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface
AUTHORS: Pu, C; Kersten, M; Oliveira, R ;
PUBLISHED: 2008, SOURCE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
INDEXED IN: Scopus
6840
TITLE: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PAGES: 17-26
INDEXED IN: Scopus DBLP CrossRef: 3

Results per Page: 20.
Página 342 de 406. Total de resultados: 8103.