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

531 Team Members
Filters -> Year: 2024
7441
TITLE: Visual Programming with Recursion Patterns in Interaction Nets  Full Text
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: ECEASST, VOLUME: 6
INDEXED IN: Scopus DBLP
7442
TITLE: Waist circumference in 6 to 10 years-old children of autonomous region of Madeira, Portugal
AUTHORS: Sousa, B; Oliveira B, B ; de Almeida, MDV;
PUBLISHED: 2007, SOURCE: ANNALS OF NUTRITION AND METABOLISM, VOLUME: 51, PAGES: 190-190
INDEXED IN: WOS
7443
TITLE: Welcome to PLoP 2007
AUTHORS: Aguiar, A ; Yoder, J;
PUBLISHED: 2007, SOURCE: 14th Conference on Pattern Languages of Programs, PLoP '07 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
7444
TITLE: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PAGES: 55-66
INDEXED IN: Scopus DBLP CrossRef
7446
TITLE: 2006 Eurographics Symposium on Parallel Graphics and Visualization  Full Text
AUTHORS: Santos, LP ;
PUBLISHED: 2006, SOURCE: Computer Graphics Forum, VOLUME: 25, ISSUE: 4, PAGES: 838
INDEXED IN: Scopus CrossRef
7447
TITLE: A benchmark approach for compilers in reconfigurable hardware
AUTHORS: Joelmir Jose Lopes; Jorge Luiz e Silva; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2006, SOURCE: 6th International Workshop on System-on-Chip for Real-Time Applications in 6TH INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, PAGES: 120-+
INDEXED IN: Scopus WOS CrossRef: 1
7448
TITLE: A Branch-and-Bound algorithm for concave Network Flow Problems  Full Text
AUTHORS: Fontes, DBMM ; Hadjiconstantinou, E; Christofides, N;
PUBLISHED: 2006, SOURCE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 34, ISSUE: 1, PAGES: 127-155
INDEXED IN: Scopus WOS DBLP CrossRef: 15
7449
TITLE: A Calculus for Sensor Networks PDF
AUTHORS: Miguel S. Silva; Francisco Martins; Luís M. B. Lopes ; João Barros;
PUBLISHED: 2006, SOURCE: CoRR, VOLUME: abs/cs/0612093
INDEXED IN: DBLP arXiv
7450
TITLE: A commodity platform for Distributed Data Mining - the HARVARD System
AUTHORS: Rui Camacho ;
PUBLISHED: 2006, SOURCE: 6th Industrial Conference on Data Mining, Poster Proceedings, ICDM 2006, Leipzig, Germany, July 14-15, 2006, PAGES: 49-61
INDEXED IN: DBLP
7452
TITLE: A Complex Protocol Layer as a linux User-Space Process
AUTHORS: Antonio Barros ; Filipe de Faria Pacheco ; Luís Miguel Pinho ;
PUBLISHED: 2006, SOURCE: Industrial Embedded Systems - IES'2006 in International Symposium on Industrial Embedded Systems, IES 2006, Antibes Juan-Les-Pins, France, October 18-20, 2006, PAGES: 1-4
INDEXED IN: Scopus DBLP CrossRef Handle
7453
TITLE: A creative information system based on the whiteboard creativity technique [Um sistema de informação criativo baseado na técnica de criatividade whiteboard]
AUTHORS: Mamede, HS ; Santos, V;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1, PAGES: 297-303
INDEXED IN: Scopus
7454
TITLE: A dynamic model for a settler unit using a kinetic formulation
AUTHORS: Gomes, EF ; Guimaraes, MML; Pinto, GA; Ribeiro, LM;
PUBLISHED: 2006, SOURCE: 5th International Conference on Engineering Computational Technology, ECT 2006 in Proceedings of the 5th International Conference on Engineering Computational Technology
INDEXED IN: Scopus CrossRef
7455
TITLE: A dynamic programming approach for solving single-source uncapacitated concave minimum cost network flow problems  Full Text
AUTHORS: Dalila B M M Fontes ; Eleni Hadjiconstantinou; Nicos Christofides;
PUBLISHED: 2006, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 174, ISSUE: 2, PAGES: 1205-1219
INDEXED IN: Scopus WOS DBLP CrossRef: 27
7456
TITLE: A framework for describing interference in ubiquitous computing environments
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7457
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-18
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7458
TITLE: A hybrid genetic algorithm for the early/tardy scheduling problem  Full Text
AUTHORS: Jorge M S Valente ; Jose Fernando Goncalves ; Rui A F S Alves ;
PUBLISHED: 2006, SOURCE: ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 23, ISSUE: 3, PAGES: 393-405
INDEXED IN: Scopus WOS CrossRef: 15
7459
TITLE: A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament
AUTHORS: E Cunha, JF ; Leitao, MJ; Faria, JP ; Monteiro, MP; Carravilla, MA ;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Electronic Voting 2006 in Electronic Voting 2006 - 2nd International Workshop, VOLUME: 86, PAGES: 145-154
INDEXED IN: Scopus DBLP
7460
TITLE: A methodology to design FPGA-based PID controllers  Full Text
AUTHORS: Joao Lima; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, VOLUME: 3, PAGES: 2577-2583
INDEXED IN: Scopus WOS DBLP CrossRef: 16

Results per Page: 20.
Page 373 of 414. Total results: 8280.