Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1699 Team Members
Filters -> Year: 2024
17261
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
17262
TITLE: Load cell for structural monitoring based on a microbend self-referenced fiber optic intensity sensor
AUTHORS: Baptista, JM ; Frazao, OJ ; Ferreira, LA; Araujo, FM; Santos, JL ; Lage, AS;
PUBLISHED: 2003, SOURCE: 16th Annual Meeting of the IEEE Lasers and Electro-Optics Society in 2003 IEEE LEOS ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 1, PAGES: 93-94
INDEXED IN: Scopus WOS
17263
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
17264
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
17265
TITLE: Micromachined low-finesse Fabry-Perot interferometer for the measurement of DC and AC electrical currents  Full Text
AUTHORS: Heredero, RL; Santos, JL ; de Caleya, RF; Guerrero, H;
PUBLISHED: 2003, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 3, ISSUE: 1, PAGES: 13-18
INDEXED IN: Scopus WOS CrossRef: 10
17266
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
17267
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
17268
TITLE: Mode-locked ytterbium fiber laser tunable in the 980–1070 nm spectral range
AUTHORS: Luis A Gomes ; Xiang, N; Jouhti, T; O.G Okhotnikov; Grudinin, A;
PUBLISHED: 2003, SOURCE: Frontiers in Optics
INDEXED IN: CrossRef
17269
TITLE: Mode-locked ytterbium fiber laser tunable in the 980–1070-nm spectral range
AUTHORS: Okhotnikov, OG; Luis A Gomes ; Xiang, N; Jouhti, T; Grudinin, AB;
PUBLISHED: 2003, SOURCE: Optics Letters, VOLUME: 28, ISSUE: 17, PAGES: 1522
INDEXED IN: CrossRef: 142
17270
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
17271
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
17272
TITLE: Movement quantification during epileptic seizures: A new technical contribution to the evaluation of seizure semiology
AUTHORS: Cunha, JPS ; Vollmar, C; Li, Z; Fernandes, J ; Feddersen, B; Noachtar, S;
PUBLISHED: 2003, SOURCE: 25th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in PROCEEDINGS OF THE 25TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-4: A NEW BEGINNING FOR HUMAN HEALTH, VOLUME: 25, PAGES: 671-673
INDEXED IN: Scopus WOS
17273
TITLE: Multiplexers and demultiplexers based on fibre Bragg gratings and optical circulators for DWDM systems
AUTHORS: Romero, R ; Frazao, O ; Floreani, F; Zhang, L; Marques, PVS ; Salgado, HM ;
PUBLISHED: 2003, SOURCE: 6th IEEE International Conference on High-Speed Networks and Multimedia Communication in HIGH-SPEED NETWORKS AND MULTIMEDIA COMMUNICATIONS, PROCEEDINGS, VOLUME: 2720, PAGES: 442-451
INDEXED IN: Scopus WOS CrossRef: 4
17274
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
17275
TITLE: New designs for MRI contrast agents  Full Text
AUTHORS: Fernandes, PA ; Carvalho, ATP; Marques, AT; Pereira, ALF; Madeira, APS; Ribeiro, ASP ; Carvalho, AFR; Ricardo, ETA ; Pinto, FJV; Santos, HA; Mangericao, HDG; Martins, HM; Pinto, HDB; Santos, HRR; Moreira, IS ; Azeredo, MJV; Abreu, RPS; Oliveira, RMS; Sérgio F. Sousa ; Silva, RJAM; Mourao, ZS ; Ramos, MJ ; ...More
PUBLISHED: 2003, SOURCE: JOURNAL OF COMPUTER-AIDED MOLECULAR DESIGN, VOLUME: 17, ISSUE: 7, PAGES: 463-473
INDEXED IN: Scopus WOS CrossRef: 11
17276
TITLE: New technique to mechanically induce long-period fibre gratings  Full Text
AUTHORS: Rego, G ; Fernandes, JRA ; Santos, JL ; Salgado, HM ; Marques, PVS ;
PUBLISHED: 2003, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 220, ISSUE: 1-3, PAGES: 111-118
INDEXED IN: Scopus WOS CrossRef: 42
17277
TITLE: Observation of locked optical kink-antikink spatial shock waves
AUTHORS: Freedman, B; Carmon, T; Carvalho, MI ; Segev, M; Christodoulides, DN;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW LETTERS, VOLUME: 91, ISSUE: 13, PAGES: 1339021-1339024
INDEXED IN: Scopus WOS CrossRef: 5
17278
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
17279
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
17280
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

Results per Page: 20.
Page 864 of 921. Total results: 18407.