CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

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

535 Team Members
Filters -> Year: 2026
9441
TITLE: Patterns for understanding frameworks
AUTHORS: Flores, N ; Aguiar, A ;
PUBLISHED: 2008, SOURCE: 15th Conference on Pattern Languages of Programs, PLoP08 in PLoP08 - 15th Conference on Pattern Languages of Programs, Proceedings
INDEXED IN: Scopus CrossRef: 3
9442
TITLE: Personal Autonomic Desktop Manager with a circulatory computing approach
AUTHORS: Alberto Arkader Kopiler; Ines de Castro Dutra ; Felipe M G Franca;
PUBLISHED: 2008, SOURCE: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems in PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2008), PAGES: 119-127
INDEXED IN: Scopus WOS CrossRef: 1
9443
TITLE: Perspectives on Programming Reconfigurable Computing Platforms  Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 177-189
INDEXED IN: CrossRef
9444
TITLE: Phenomenographic study on the future of e-commerce in Second Life
AUTHORS: Martine Bernardo; Leonel Morgado ; Carlos Rabadao ;
PUBLISHED: 2008, SOURCE: 3rd Iberian Conference on Information Systems and Technologies in ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 1, PAGES: 435-442
INDEXED IN: WOS
9445
TITLE: Preface
AUTHORS: Brito, P ; Figueiredo, A ; Pires, A; Ferreira, AS; Marcelo, C; Figueiredo, F; Sousa, F ; Da Costa, JP; Pereira, J; Torgo, L ; Castro, LCE; Silva, ME ; Milheiro, P ; Teles, P; Campos, P; Silva, PD;
PUBLISHED: 2008, SOURCE: 18th Symposium on Computational Statistics, COMPSTAT 2008 in COMPSTAT 2008 - Proceedings in Computational Statistics, 18th Symposium
INDEXED IN: Scopus
9446
TITLE: Preface
AUTHORS: Soares, C ; Peng, Y; Meng, J; Washio, T; Zhou, ZH;
PUBLISHED: 2008, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 177, ISSUE: 1
INDEXED IN: Scopus
9447
TITLE: Proceedings of the 2008 International Symposium on Wikis, 2008, Porto, Portugal, September 8-10, 2008
AUTHORS: Ademar Aguiar ; Mark Bernstein;
PUBLISHED: 2008, SOURCE: Int. Sym. Wikis
INDEXED IN: DBLP
9448
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus Handle
9449
TITLE: Protein evolution of ANTP and PRD homeobox genes  Full Text
AUTHORS: Nuno A Fonseca ; Cristina P Vieira ; Peter W H Holland; Jorge Vieira ;
PUBLISHED: 2008, SOURCE: BMC EVOLUTIONARY BIOLOGY, VOLUME: 8, ISSUE: 1, PAGES: 200
INDEXED IN: Scopus WOS CrossRef: 7
9450
TITLE: PRT simulation in an immersive virtual world
AUTHORS: Lopes, CV; Popov, A; Kan, L; Morla, R ;
PUBLISHED: 2008, SOURCE: 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SIMUTools 2008 in SIMUTools 2008 - 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, PAGES: 57
INDEXED IN: Scopus DBLP CrossRef: 3
9451
TITLE: Quantile trends in Baltic sea level  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2008, SOURCE: GEOPHYSICAL RESEARCH LETTERS, VOLUME: 35, ISSUE: 22
INDEXED IN: Scopus WOS CrossRef: 78
9452
TITLE: Real-Time Communications over Cluster-Tree Sensor Networks with Mobile Sink Behaviour
AUTHORS: Jurcik, P; Severino, R ; Koubaa, A ; Alves, M ; Tovar, E ;
PUBLISHED: 2008, SOURCE: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS, PAGES: 401-412
INDEXED IN: Scopus WOS DBLP CrossRef: 12 Handle
9453
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: ECEASST, VOLUME: 10
INDEXED IN: DBLP
9454
TITLE: Regular expression matching in reconfigurable hardware  Full Text
AUTHORS: Ioannis Sourdis; Stamatis Vassiliadis; Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 5th IEEE International Conference on Field Programmable Technology in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 51, ISSUE: 1, PAGES: 99-121
INDEXED IN: Scopus WOS DBLP CrossRef: 60
9455
TITLE: Research Challenges in Ubiquitous Knowledge Discovery
AUTHORS: Michael May; Bettina Berendt; Antoine Cornuéjols; João Gama ; Fosca Giannotti; Andreas Hotho; Donato Malerba; Ernestina Menasalvas; Katharina Morik; Rasmus Ulslev Pedersen; Lorenza Saitta; Yücel Saygin; Assaf Schuster; Koen Vanhoof;
PUBLISHED: 2008, SOURCE: Next Generation of Data Mining.
INDEXED IN: DBLP
9456
TITLE: Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
INDEXED IN: Scopus WOS DBLP CrossRef
9457
TITLE: Resources for situated actions
AUTHORS: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 194-207
INDEXED IN: Scopus WOS DBLP CrossRef: 7
9458
TITLE: Retargeting, evaluating, and generating reconfigurable array-based architectures
AUTHORS: Morra, C; Cardoso, JMP ; Bispo, J ; Becker, J;
PUBLISHED: 2008, SOURCE: 2008 Symposium on Application Specific Processors in 2008 SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS, PAGES: 34-41
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
9459
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PAGES: 218-233
INDEXED IN: Scopus WOS DBLP CrossRef: 9
9460
TITLE: Revising first-order logic theories from examples through stochastic local search  Full Text
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-210
INDEXED IN: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Page 473 of 534. Total results: 10671.