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

531 Team Members
Filters -> Year: 2024
7681
TITLE: From HCI to Software Engineering and Back PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA, PAGES: 49-56
INDEXED IN: DBLP
7682
TITLE: From simulation to practice: Cache performance study of a prolog system. cache performance study of a Prolog system
AUTHORS: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLISHED: 2003, SOURCE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, ISSUE: 2, PAGES: 56-64
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7683
TITLE: Generalized nets model for fixed-bed bioreactors
AUTHORS: Pencheva, T; Roeva, O; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1025-1028
INDEXED IN: Scopus WOS
7684
TITLE: Generating spreadsheet-like tools from strong attribute grammars
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2830, PAGES: 307-323
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7685
TITLE: Hierarchical and Pyramidal Clustering for Symbolic Data
AUTHORS: Paula Brito ;
PUBLISHED: 2003, SOURCE: Journal of the Japanese Society of Computational Statistics, VOLUME: 15, ISSUE: 2, PAGES: 231-244
INDEXED IN: CrossRef: 3
7687
TITLE: Improving progressive sampling via meta-learning  Full Text
AUTHORS: Leite, R ; Brazdil, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 313-323
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7688
TITLE: Improving the efficiency of ILP systems  Full Text
AUTHORS: Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 224-228
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
7689
TITLE: Introduction  Full Text
AUTHORS: Ryszard S Michalski; Pavel Brazdil ;
PUBLISHED: 2003, SOURCE: Machine Learning, VOLUME: 50, ISSUE: 3, PAGES: 219-222
INDEXED IN: Scopus DBLP CrossRef
7690
TITLE: Iterative Bayes  Full Text
AUTHORS: Gama, J ;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Discovery Science in THEORETICAL COMPUTER SCIENCE, VOLUME: 292, ISSUE: 2, PAGES: 417-430
INDEXED IN: Scopus WOS DBLP CrossRef: 29
7691
TITLE: Learning time series models with inductive logic programming
AUTHORS: Alexessander Alves; Rui C C d S F da Silva ; Eugénio d Costa Oliveira;
PUBLISHED: 2003
INDEXED IN: Handle
7692
TITLE: Lexically scoped distribution: What you see is what you get
AUTHORS: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLISHED: 2003, SOURCE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, ISSUE: 1, PAGES: 61-79
INDEXED IN: Scopus DBLP CrossRef: 4
7693
TITLE: Linearization by program transformation
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018, PAGES: 160-175
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7694
TITLE: Loop dissevering: A technique for temporally partitioning loops in dynamically reconfigurable computing platforms
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, PAGES: 181
INDEXED IN: Scopus DBLP CrossRef: 4
7695
TITLE: MAFRA - Semantic Web Ontology MApping FRAmework
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2003, SOURCE: 7th World Multiconference on Systemics, Cybernetics and Informatics in 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL, III, PROCEEDINGS: COMMUNICATION, NETWORK AND CONTROL SYSTEMS, TECHNOLOGIES AND APPLICATIONS, PAGES: 253-258
INDEXED IN: WOS
7696
TITLE: Mining official data
AUTHORS: Brito, P ; Malerba, D;
PUBLISHED: 2003, SOURCE: Intelligent Data Analysis, VOLUME: 7, ISSUE: 6, PAGES: 497-500
INDEXED IN: Scopus DBLP
7697
TITLE: Mob: A scripting language for mobile agents based on a process calculus
AUTHORS: Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Web Engineering (ICWE 2003) in WEB ENGINEERING, PROCEEDINGS, VOLUME: 2722, PAGES: 40-43
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7698
TITLE: Modelling of Escherichia coli cultivation process on the basis of generalized nets
AUTHORS: Roeva, O; Pencheva, T; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1039-1042
INDEXED IN: Scopus WOS
7699
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: 77
7700
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

Results per Page: 20.
Page 385 of 406. Total results: 8102.