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

536 Team Members
Filters -> Year: 2026
7941
TITLE: Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
INDEXED IN: Scopus DBLP
7942
TITLE: Isoflavone determination in spontaneous legumes identified by DNA barcodes  Full Text
AUTHORS: Sara C Cunha ; Miguel A Faria ; Tiago Sousa ; ENunes, MESNunes ;
PUBLISHED: 2012, SOURCE: FOOD CHEMISTRY, VOLUME: 134, ISSUE: 4, PAGES: 2262-2267
INDEXED IN: Scopus WOS CrossRef: 5
7943
TITLE: IT Professionals: An Iberian Snapshot
AUTHORS: Antonio Trigo; João Varajão; Pedro Soto Acosta; João Barroso ; Francisco Molina Castillo; Nicolas Gonzalvez Gallego;
PUBLISHED: 2012, SOURCE: Professional Advancements and Management Trends in the IT Sector, PAGES: 32-45
INDEXED IN: Scopus
7944
TITLE: Iterative Ontology Alignment Debugging Using a Scenario- and Strategy-driven Approach
AUTHORS: Gouveia, A; Silva, N ; Rocha, J ; Martins, P ;
PUBLISHED: 2012, SOURCE: 23rd International Conference on Database and Expert Systems Applications (DEXA) in 2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), PAGES: 254-258
INDEXED IN: Scopus WOS DBLP CrossRef
7945
TITLE: Java JCA/JCE programming in Android with SD smart cards
AUTHORS: Maia, LA ; Correia, ME ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies, CISTI 2012 in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: Scopus WOS
7946
TITLE: LALP: A Language to Program Custom FPGA-Based Acceleration Engines
AUTHORS: Menotti, R; Cardoso, JMP ; Fernandes, MM; Marques, E;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 40, ISSUE: 3, PAGES: 262-289
INDEXED IN: Scopus WOS DBLP CrossRef: 5
7947
TITLE: Landscape of transcription in human cells  Full Text
AUTHORS: Sarah Djebali; Carrie A Davis; Angelika Merkel; Alex Dobin; Timo Lassmann; Ali Mortazavi; Andrea Tanzer; Julien Lagarde; Wei Lin; Felix Schlesinger; Chenghai H Xue; Georgi K Marinov; Jainab Khatun; Brian A Williams; Chris Zaleski; Joel Rozowsky; Maik Roeder; Felix Kokocinski; Rehab F Abdelhamid; Tyler Alioto; Igor Antoshechkin; Michael T Baer; Nadav S Bar; Philippe Batut; Kimberly Bell; Ian Bell; Sudipto Chakrabortty; Xian Chen; Jacqueline Chrast; Joao Curado; Thomas Derrien; Jorg Drenkow; Erica Dumais; Jacqueline Dumais; Radha Duttagupta; Emilie Falconnet; Meagan Fastuca; Kata Fejes Toth; Pedro Ferreira ; Sylvain Foissac; Melissa J Fullwood; Hui Gao; David Gonzalez; Assaf Gordon; Harsha Gunawardena; Cedric Howald; Sonali Jha; Rory Johnson; Philipp Kapranov; Brandon King; Colin Kingswood; Oscar J Luo; Eddie Park; Kimberly Persaud; Jonathan B Preall; Paolo Ribeca; Brian Risk; Daniel Robyr; Michael Sammeth; Lorian Schaffer; Lei Hoon See; Atif Shahab; Jorgen Skancke; Ana Maria Suzuki; Hazuki Takahashi; Hagen Tilgner; Diane Trout; Nathalie Walters; Huaien Wang; John Wrobel; Yanbao B Yu; Xiaoan A Ruan; Yoshihide Hayashizaki; Jennifer Harrow; Mark Gerstein; Tim Hubbard; Alexandre Reymond; Stylianos E Antonarakis; Gregory Hannon; Morgan C Giddings; Yijun J Ruan; Barbara Wold; Piero Carninci; Roderic Guigo; Thomas R Gingeras; ...More
PUBLISHED: 2012, SOURCE: NATURE, VOLUME: 489, ISSUE: 7414, PAGES: 101-108
INDEXED IN: Scopus WOS CrossRef: 4502
7948
TITLE: LARA: an aspect-oriented programming language for embedded systems. an aspect-oriented programming language for embedded systems
AUTHORS: João M P Cardoso ; Tiago Carvalho ; José Gabriel F Coutinho; Wayne Luk; Ricardo Nobre; Pedro C Diniz ; Zlatko Petrov;
PUBLISHED: 2012, SOURCE: AOSD, PAGES: 179-190
INDEXED IN: Scopus DBLP CrossRef: 64
7949
TITLE: Learning from ubiquitous data streams: Clustering data and data sources  Full Text
AUTHORS: Pedro Pereira Rodrigues ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 1, PAGES: 69-71
INDEXED IN: Scopus WOS DBLP CrossRef
7950
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lumpe, M; Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXED IN: Scopus
7951
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: De Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS
INDEXED IN: Scopus
7952
TITLE: Level of Knowledge about Malaria of the Population of Mozambique Island  Full Text
AUTHORS: Ana Luisa Patrao; Jose Vasconcelos Raposo ;
PUBLISHED: 2012, SOURCE: SAUDE E SOCIEDADE, VOLUME: 21, ISSUE: 1, PAGES: 52-62
INDEXED IN: Scopus WOS
7953
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
AUTHORS: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLISHED: 2012, SOURCE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-12
INDEXED IN: Scopus WOS DBLP CrossRef: 7
7955
TITLE: MapIt: A Model Based Pattern Recovery Tool
AUTHORS: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: MOMPES, VOLUME: 7706 LNCS, PAGES: 19-37
INDEXED IN: Scopus DBLP CrossRef: 1
7956
TITLE: Market driven implementation of the eCAALYX solution
AUTHORS: H.H Nap; Bierhoff, I; Ferreiro, A; Català, A; Samà, A; Gálvez-Barrón, C; Rodríguez-Molinero, A; H.S Ferreira ; Martins, A; Antomarini, M; Cesaroni, F; Sdogati, C; Carvalho, L; Castro, R; Spallek, J;
PUBLISHED: 2012, SOURCE: Gerontechnology, VOLUME: 11, ISSUE: 2
INDEXED IN: CrossRef
7958
TITLE: MASGriP - A Multi-Agent Smart Grid Simulation Platform
AUTHORS: Pedro Oliveira; Tiago Pinto ; Hugo Morais; Zita Vale ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXED IN: Scopus WOS CrossRef: 59
7959
TITLE: Mathematical Literacy as a Condition for Sustainable Development
AUTHORS: Luís Soares Barbosa ; Maria Helena Martinho;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 64-77
INDEXED IN: Scopus DBLP CrossRef
7960
TITLE: MDSheet: A Framework for Model-Driven Spreadsheet Engineering
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1395-1398
INDEXED IN: Scopus WOS DBLP CrossRef: 38

Results per Page: 20.
Page 398 of 532. Total results: 10637.