Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

University of Porto (UP) :: Faculty of Engineering (FEUP)

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

49 Team Members
Filters -> Year: 2024
3601
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 139-153
INDEXED IN: Scopus WOS DBLP CrossRef Handle
3602
TITLE: Synthesis and estimation of memory interfaces for FPGA-based reconfigurable computing engines
AUTHORS: Park, J; Diniz, PC ;
PUBLISHED: 2003, SOURCE: 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2003 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2003-January, PAGES: 297-299
INDEXED IN: Scopus
3603
TITLE: Towards peer-to-peer content indexing  Full Text
AUTHORS: Carlos Baquero ; Nuno Lopes;
PUBLISHED: 2003, SOURCE: Operating Systems Review, VOLUME: 37, ISSUE: 4, PAGES: 90-96
INDEXED IN: Scopus DBLP CrossRef: 1
3604
TITLE: Updating GIS data using personal digital assistants
AUTHORS: Silva, H; Sousa, AV; Lopes, JC ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 566-569
INDEXED IN: Scopus DBLP
3605
TITLE: Using Contextual Logic Programming for Temporal Reasoning
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
INDEXED IN: DBLP
3606
TITLE: Using estimates from behavioral synthesis tools in compiler-directed design space exploration  Full Text
AUTHORS: So, B; Diniz, PC ; Hall, MW;
PUBLISHED: 2003, SOURCE: Proceedings of the 40th Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 514-519
INDEXED IN: Scopus
3607
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
INDEXED IN: DBLP
3608
TITLE: A comparative study of some issues concerning algorithm recommendation using ranking methods
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3609
TITLE: A compiler approach to fast hardware design space exploration in FPGA-based systems
AUTHORS: So, B; Hall, MW; Diniz, PC ;
PUBLISHED: 2002, SOURCE: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02) in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PAGES: 165-176
INDEXED IN: Scopus
3610
TITLE: A Framework for e-Cooperating Business Agents: An Application to the (Re)engineering of Production Facilities
AUTHORS: Gil Gonçalves ; João Borges de Sousa; Fernando M Lobo Pereira; Paulo Sousa Dias; António Santos;
PUBLISHED: 2002, SOURCE: Collaborative Systems for Production Management, IFIP TC5/WG5.7 Eighth International Conference on Advances in Production Management Systems, September 8-13, 2002, Eindhoven, The Netherlands, VOLUME: 257, PAGES: 189-204
INDEXED IN: DBLP
3611
TITLE: A multi-agent system for e-insurance brokering
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2002, SOURCE: Agent-Related Workshops on Agent Technol and Software Engn/Agent Technologies for E-Services/3rd Int Symp on Multi-Agents Syst, Large Complex Syst and E-Businesses in AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, VOLUME: 2592, PAGES: 263-282
INDEXED IN: WOS DBLP CrossRef: 4
3612
TITLE: A social actors network approach for the design of networked and virtual enterprises
AUTHORS: Soares, AL ; Toscano, CA ; de Sousa, JP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 337-348
INDEXED IN: WOS CrossRef
3613
TITLE: A tool to support the shared understanding of manufacturing systems organization in innovation processes  Full Text
AUTHORS: Soares, AL ;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 15, ISSUE: 5, PAGES: 394-412
INDEXED IN: Scopus WOS CrossRef: 5
3614
TITLE: Coarse-grain pipelining on multiple FPGA architectures
AUTHORS: Ziegler, H; So, B; Hall, M; Diniz, PC ;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2002 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2002-January, PAGES: 77-88
INDEXED IN: Scopus
3615
TITLE: Cooperative Learning Using Advice Exchange
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning, VOLUME: 2636, PAGES: 33-48
INDEXED IN: DBLP CrossRef: 8
3616
TITLE: Data reorganization engines for the next generation of system-on-a-chip FPGAs  Full Text
AUTHORS: Diniz, PC ; Park, J;
PUBLISHED: 2002, SOURCE: FPGA 2002: Tenth ACM International Symposium on Field-Programmable Gate Arrays in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 237-244
INDEXED IN: Scopus
3617
TITLE: Emotional valence-based mechanisms and agent personality
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2002, SOURCE: 16th Brazilian Symposium on Artificial Intelligence (SBIA 2002) in ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2507, PAGES: 152-162
INDEXED IN: Scopus WOS DBLP CrossRef: 6
3618
TITLE: Experiences in the development of information systems in an industrial innovation context
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, PAGES: 248-255
INDEXED IN: WOS
3619
TITLE: Fast and guaranteed C compilation onto the PACT-XPP (TM) reconfigurable computing platform
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 291-292
INDEXED IN: WOS DBLP CrossRef: 3
3620
TITLE: Improved dataset characterisation for meta-learning
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
INDEXED IN: Scopus WOS DBLP CrossRef: 76

Results per Page: 20.
Page 181 of 192. Total results: 3834.