Instituto de Engenharia de Sistemas e Computadores (INESC ID)
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
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!
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!
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!
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: 6820
112 Team MembersFilters -> Year: 2024
5121
TITLE: IMPROVE: Designing effective interaction for virtual and mixed reality environments
AUTHORS: Pedro Santos; Andre Stork; Thomas Gierlinger; Alain Pagani; Bruno Araujo; Ricardo Jota; Luis Bruno; Joaquim Jorge ; Joao Madeiras Pereira ; Martin Witzel; Giuseppe Conti; Raffaele de Amicis; Inigo Barandarian; Celine Paloc; Maylu Hafner; Don McIntyre;
PUBLISHED: 2007, SOURCE: 12th International Conference on Human-Computer Interaction (HCI International 2007) in Human-Computer Interaction, Pt 2, Proceedings, VOLUME: 4551, ISSUE: PART 2, PAGES: 689-699
AUTHORS: Pedro Santos; Andre Stork; Thomas Gierlinger; Alain Pagani; Bruno Araujo; Ricardo Jota; Luis Bruno; Joaquim Jorge ; Joao Madeiras Pereira ; Martin Witzel; Giuseppe Conti; Raffaele de Amicis; Inigo Barandarian; Celine Paloc; Maylu Hafner; Don McIntyre;
PUBLISHED: 2007, SOURCE: 12th International Conference on Human-Computer Interaction (HCI International 2007) in Human-Computer Interaction, Pt 2, Proceedings, VOLUME: 4551, ISSUE: PART 2, PAGES: 689-699
INDEXED IN: 
Scopus 
WOS
Scopus WOS5122
TITLE: Improving residue number system multiplication with more balanced moduli sets and enhanced modular arithmetic structures Full Text
AUTHORS: Chaves, R ; Sousa, L ;
PUBLISHED: 2007, SOURCE: 20th International Conference on Design of Circuits and Integrated Systems in IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 1, ISSUE: 5, PAGES: 472-480
AUTHORS: Chaves, R ; Sousa, L ;
PUBLISHED: 2007, SOURCE: 20th International Conference on Design of Circuits and Integrated Systems in IET COMPUTERS AND DIGITAL TECHNIQUES, VOLUME: 1, ISSUE: 5, PAGES: 472-480
5123
TITLE: Improving the tolerance of pipeline based circuits to power supply or temperature variations
AUTHORS: Jorge Semião ; Rodriguez Andina, JJ; Vargas, F; Santos, MB ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2007, SOURCE: 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, DFT 2007 in Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, PAGES: 303-311
AUTHORS: Jorge Semião ; Rodriguez Andina, JJ; Vargas, F; Santos, MB ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2007, SOURCE: 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, DFT 2007 in Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, PAGES: 303-311
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5124
TITLE: Improving tolerance to power-supply and temperature variations in synchronous circuits
AUTHORS: Jorge Semião ; Freijedo, J; Rodiriguez Andina, JJ; Vargas, F; Santos, MB ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2007, SOURCE: 10th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems in Proceedings of the 2007 IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, PAGES: 295-300
AUTHORS: Jorge Semião ; Freijedo, J; Rodiriguez Andina, JJ; Vargas, F; Santos, MB ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2007, SOURCE: 10th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems in Proceedings of the 2007 IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, PAGES: 295-300
5125
TITLE: Integrating engineering, cognitive and social approaches for a comprehensive modeling of organizational agents and their contexts
AUTHORS: Zacarias, M ; Pinto, HS ; Tribolet, J ;
PUBLISHED: 2007, SOURCE: 6th International Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2007) in Modeling and Using Context, VOLUME: 4635, PAGES: 517-530
AUTHORS: Zacarias, M ; Pinto, HS ; Tribolet, J ;
PUBLISHED: 2007, SOURCE: 6th International Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2007) in Modeling and Using Context, VOLUME: 4635, PAGES: 517-530
5126
TITLE: Integration of RE and MDE paradigms: The ProjectIT approach and tools Full Text
AUTHORS: Da Silva, AR ; João Saraiva ; Ferreira, D; Silva, R; Videira, C;
PUBLISHED: 2007, SOURCE: IET Software, VOLUME: 1, ISSUE: 6, PAGES: 294-314
AUTHORS: Da Silva, AR ; João Saraiva ; Ferreira, D; Silva, R; Videira, C;
PUBLISHED: 2007, SOURCE: IET Software, VOLUME: 1, ISSUE: 6, PAGES: 294-314
5127
TITLE: Integration of RE and MDE paradigms: the projectIT approach and tools Full Text
AUTHORS: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLISHED: 2007, SOURCE: IET SOFTWARE, VOLUME: 1, ISSUE: 6, PAGES: 294-314
AUTHORS: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLISHED: 2007, SOURCE: IET SOFTWARE, VOLUME: 1, ISSUE: 6, PAGES: 294-314
INDEXED IN: WOS
WOS5128
TITLE: Interference-free TDMA slot allocation in wireless sensor networks
AUTHORS: Nunes, M ; Grilo, A ; Macedo, M;
PUBLISHED: 2007, SOURCE: 32nd IEEE Conference on Local Computer Networks, LCN 2007 in Proceedings - Conference on Local Computer Networks, LCN, PAGES: 239-241
AUTHORS: Nunes, M ; Grilo, A ; Macedo, M;
PUBLISHED: 2007, SOURCE: 32nd IEEE Conference on Local Computer Networks, LCN 2007 in Proceedings - Conference on Local Computer Networks, LCN, PAGES: 239-241
INDEXED IN: Scopus CrossRef
Scopus CrossRef5129
TITLE: Interpolant Learning and Reuse in SAT-Based Model Checking
AUTHORS: João Marques Silva ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 3, PAGES: 31-43
AUTHORS: João Marques Silva ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 3, PAGES: 31-43
5130
TITLE: Intrusion tolerance in wireless environments: An experimental evaluation
AUTHORS: Moniz, H; Neves, NF ; Correia, M ; Casimiro, A; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007, PAGES: 357-364
AUTHORS: Moniz, H; Neves, NF ; Correia, M ; Casimiro, A; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007, PAGES: 357-364
INDEXED IN: Scopus
Scopus5131
TITLE: Intrusion tolerance in wireless environments: an experimental evaluation
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PAGES: 357-364
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PAGES: 357-364
5132
TITLE: IR-case tool
AUTHORS: Ferreira, J; Silva, A ; Delgado, J;
PUBLISHED: 2007, SOURCE: IASTED International Conference on Software Engineering, SE 2007 in Proceedings of the IASTED International Conference on Software Engineering, SE 2007, PAGES: 171-176
AUTHORS: Ferreira, J; Silva, A ; Delgado, J;
PUBLISHED: 2007, SOURCE: IASTED International Conference on Software Engineering, SE 2007 in Proceedings of the IASTED International Conference on Software Engineering, SE 2007, PAGES: 171-176
INDEXED IN: Scopus
Scopus5133
TITLE: Isolated autonomous capacitive power supplies to trigger floating semiconductors in a Marx generator
AUTHORS: Hiren Canacsinh; Redondo, LM ; Femando F Silva ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 821-826
AUTHORS: Hiren Canacsinh; Redondo, LM ; Femando F Silva ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 821-826
5134
TITLE: Issues in model reduction of power grids Full Text
AUTHORS: Joao M S Silva; Silveira, L. Miguel ;
PUBLISHED: 2007, SOURCE: 13th International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005) in VLSI-SOC: FROM SYSTEMS TO SILICON, VOLUME: 240, PAGES: 127-144
AUTHORS: Joao M S Silva; Silveira, L. Miguel ;
PUBLISHED: 2007, SOURCE: 13th International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005) in VLSI-SOC: FROM SYSTEMS TO SILICON, VOLUME: 240, PAGES: 127-144
5135
TITLE: It is the time for the Digital Library to meet the enterprise architecture
AUTHORS: Jose Borbinha ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Asian Digital Libraries in ASIAN DIGITAL LIBRARIES: LOOKING BACK 10 YEARS AND FORGING NEW FRONTIERS, PROCEEDINGS, VOLUME: 4822, PAGES: 176-185
AUTHORS: Jose Borbinha ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Asian Digital Libraries in ASIAN DIGITAL LIBRARIES: LOOKING BACK 10 YEARS AND FORGING NEW FRONTIERS, PROCEEDINGS, VOLUME: 4822, PAGES: 176-185
INDEXED IN: Scopus WOS
Scopus WOS5136
TITLE: It's all in the anticipation
AUTHORS: Carlos Martinho ; Ana Paiva ;
PUBLISHED: 2007, SOURCE: 7th International Conference on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS, VOLUME: 4722, PAGES: 331-338
AUTHORS: Carlos Martinho ; Ana Paiva ;
PUBLISHED: 2007, SOURCE: 7th International Conference on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS, VOLUME: 4722, PAGES: 331-338
INDEXED IN: Scopus WOS
Scopus WOS5137
TITLE: LABRADOR: Efficiently publishing relational databases on the web by using keyword-based query interfaces Full Text
AUTHORS: Filipe Mesquita; Altigran S da Silva; Edleno S de Moura; Pavel Calado ; Alberto H F Laender;
PUBLISHED: 2007, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 43, ISSUE: 4, PAGES: 983-1004
AUTHORS: Filipe Mesquita; Altigran S da Silva; Edleno S de Moura; Pavel Calado ; Alberto H F Laender;
PUBLISHED: 2007, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 43, ISSUE: 4, PAGES: 983-1004
5138
TITLE: Lead sorption to selected Portuguese soils Full Text
AUTHORS: Trancoso, MA; Correia M C Dos Santos ; Goncalves, MLS;
PUBLISHED: 2007, SOURCE: EUROPEAN JOURNAL OF SOIL SCIENCE, VOLUME: 58, ISSUE: 3, PAGES: 854-863
AUTHORS: Trancoso, MA; Correia M C Dos Santos ; Goncalves, MLS;
PUBLISHED: 2007, SOURCE: EUROPEAN JOURNAL OF SOIL SCIENCE, VOLUME: 58, ISSUE: 3, PAGES: 854-863
5139
TITLE: Learning Bayesian networks consistent with the optimal branching
AUTHORS: Alexandra M Carvalho ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Machine Learning and Applications in ICMLA 2007: SIXTH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, PAGES: 369-374
AUTHORS: Alexandra M Carvalho ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Machine Learning and Applications in ICMLA 2007: SIXTH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, PAGES: 369-374
5140
TITLE: Learning bayesian networks consistent with the optimal branching
AUTHORS: Carvalho, AM ; Oliveira, AL ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Machine Learning and Applications, ICMLA 2007 in Proceedings - 6th International Conference on Machine Learning and Applications, ICMLA 2007, PAGES: 369-374
AUTHORS: Carvalho, AM ; Oliveira, AL ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Machine Learning and Applications, ICMLA 2007 in Proceedings - 6th International Conference on Machine Learning and Applications, ICMLA 2007, PAGES: 369-374
INDEXED IN: Scopus
Scopus