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

531 Team Members
Filters -> Year: 2025
8041
TITLE: Mooshak: a Web-based multi-site programming contest system  Full Text
AUTHORS: Leal, JP ; Silva, F ;
PUBLISHED: 2003, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 33, ISSUE: 6, PAGES: 567-581
INDEXED IN: Scopus WOS DBLP CrossRef: 80
8042
TITLE: NEEM: Network-friendly epidemic multicast  Full Text
AUTHORS: Pereira, J ; do Minho, U; Rodrigues, L ; de Lisboa, U; M.J Monteiro; Oliveira, R ; A.-M Kermarrec;
PUBLISHED: 2003, SOURCE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 15-24
INDEXED IN: Scopus WOS DBLP CrossRef: 24
8043
TITLE: On combining temporal partitioning and sharing of functional units in compilation for reconfigurable architectures
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 10, PAGES: 1362-1375
INDEXED IN: Scopus WOS DBLP CrossRef: 39
8044
TITLE: On deterministic computations in the extended Andorra model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916, PAGES: 407-421
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8045
TITLE: On the BEAM implementation  Full Text
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 131-135
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8046
TITLE: Performance Issues in Prolog Applications
AUTHORS: Costa, VS ;
PUBLISHED: 2003, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 8
INDEXED IN: Scopus DBLP CrossRef: 1
8047
8048
TITLE: Power of tests of uniformity defined on the hypersphere  Full Text
AUTHORS: Figueiredo, A ; Gomes, P;
PUBLISHED: 2003, SOURCE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 32, ISSUE: 1, PAGES: 87-94
INDEXED IN: Scopus WOS CrossRef: 5
8049
TITLE: Predicting harmful algae blooms  Full Text
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 308-312
INDEXED IN: Scopus WOS DBLP CrossRef: 4
8050
TITLE: Predicting outliers
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2003, SOURCE: 7th European Conferenc on Priciples and Practice of Knowledge Discovery in Databases in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2003, PROCEEDINGS, VOLUME: 2838, PAGES: 447-458
INDEXED IN: Scopus WOS DBLP CrossRef: 13
8051
TITLE: Preface
AUTHORS: Barrett Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 3, PAGES: 461-462
INDEXED IN: CrossRef
8052
TITLE: Preface
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 82, ISSUE: 3, PAGES: 461-462
INDEXED IN: DBLP
8053
TITLE: Profibus protocol extensions for enabling inter-cell mobility in bridge-based hybrid wired/wireless networks
AUTHORS: Ferreira, L ; Tovar, E ; Alves, M;
PUBLISHED: 2003, SOURCE: 5th IFAC International Conference on Fieldbus Systems and their Applications, FeT 2003 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 36, ISSUE: 13, PAGES: 277-284
INDEXED IN: Scopus CrossRef Handle
8054
TITLE: Ranking learning algorithms: Using IBL and meta-learning on accuracy and time results  Full Text
AUTHORS: Brazdil, PB ; Soares, C ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 251-277
INDEXED IN: Scopus WOS DBLP CrossRef: 269
8055
TITLE: Reasoning about dynamic information displays
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 288-302
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8056
TITLE: Reliable real-time communication in CAN networks
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 12, PAGES: 1594-1607
INDEXED IN: Scopus WOS DBLP CrossRef Handle
8057
TITLE: Semantic web complex ontology mapping
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2003, SOURCE: IEEE/WIC International Conference on Web Intelligence (WI 2003) in IEEE/WIC INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, PROCEEDINGS, PAGES: 82-88
INDEXED IN: Scopus WOS CrossRef: 17
8058
TITLE: Semantically reliable multicast: Definition, implementation, and performance evaluation
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 2, PAGES: 150-165
INDEXED IN: Scopus WOS DBLP CrossRef: 18
8059
TITLE: Session summary: The future of IRTAW. the future of IRTAW  Full Text
AUTHORS: Vardanega, T; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PAGES: 96
INDEXED IN: Scopus CrossRef
8060
TITLE: SINUP: Using GIS to support e-democracy
AUTHORS: Carvalho, A ; Rocha, A ; Oliveira, MA ;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 341-344
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 403 of 423. Total results: 8453.