Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 20055
1706 Team MembersFilters -> Year: 2025
15441
TITLE: Revisiting context-aware component interconnection
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), PAGES: 377-384
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), PAGES: 377-384
15442
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
15443
TITLE: Role Playing Games and Emotions in Dispute Resolution Environments
AUTHORS: Carneiro, D ; Paulo Novais ; Machado, L; Cesar Analide ; Costa, N; Neves, J ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Soft Computing Models in Industrial and Environmental Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, 6TH INTERNATIONAL CONFERENCE SOCO 2011, VOLUME: 87, PAGES: 155-162
AUTHORS: Carneiro, D ; Paulo Novais ; Machado, L; Cesar Analide ; Costa, N; Neves, J ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Soft Computing Models in Industrial and Environmental Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, 6TH INTERNATIONAL CONFERENCE SOCO 2011, VOLUME: 87, PAGES: 155-162
15444
TITLE: Runtime programming through model-preserving, scalable runtime patches Full Text
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PAGES: 77-86
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PAGES: 77-86
15445
TITLE: Safe controllers design for industrial automation systems Full Text
AUTHORS: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
AUTHORS: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
15446
TITLE: Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems
AUTHORS: Ehyaei, A; Tovar, E ; Pereira, N ; Andersson, B;
PUBLISHED: 2011, SOURCE: 2nd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2011 ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011), PAGES: 174-183
AUTHORS: Ehyaei, A; Tovar, E ; Pereira, N ; Andersson, B;
PUBLISHED: 2011, SOURCE: 2nd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2011 ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011), PAGES: 174-183
15447
TITLE: Scheduling a Cutting and Treatment Stainless Steel Sheet Line with Self-Management Capabilities
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N; Avila, P ; Bastos, J ;
PUBLISHED: 2011, SOURCE: International Symposium on Computational Intelligence for Engineering Systems (ISCIES '09) in COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SYSTEMS: EMERGENT APPLICATIONS, VOLUME: 46, PAGES: 34-47
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N; Avila, P ; Bastos, J ;
PUBLISHED: 2011, SOURCE: International Symposium on Computational Intelligence for Engineering Systems (ISCIES '09) in COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SYSTEMS: EMERGENT APPLICATIONS, VOLUME: 46, PAGES: 34-47
15448
TITLE: Scheduling inspired models for two-dimensional packing problems Full Text
AUTHORS: Pedro M Castro; Jose F Oliveira ;
PUBLISHED: 2011, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 215, ISSUE: 1, PAGES: 45-56
AUTHORS: Pedro M Castro; Jose F Oliveira ;
PUBLISHED: 2011, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 215, ISSUE: 1, PAGES: 45-56
15449
TITLE: Scheduling wafer slicing by multi-wire saw manufacturing in photovoltaic industry: a case study Full Text
AUTHORS: Luis Guimaraes ; Rui Santos; Bernardo Almada Lobo ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 53, ISSUE: 9-12, PAGES: 1129-1139
AUTHORS: Luis Guimaraes ; Rui Santos; Bernardo Almada Lobo ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 53, ISSUE: 9-12, PAGES: 1129-1139
15450
TITLE: School satisfaction and psychological well-being in adolescents Portuguese [satisfação escolar e bem-estar psicológico em adolescentes Portugueses]
AUTHORS: Fernandes, HM ; Vasconcelos Raposo, J ; Bertelli, R; Almeida, L ;
PUBLISHED: 2011, SOURCE: Revista Lusofona de Educacao, ISSUE: 18, PAGES: 155-172
AUTHORS: Fernandes, HM ; Vasconcelos Raposo, J ; Bertelli, R; Almeida, L ;
PUBLISHED: 2011, SOURCE: Revista Lusofona de Educacao, ISSUE: 18, PAGES: 155-172
INDEXED IN: 
Scopus
Scopus15451
TITLE: SCHOOOOOLS.COM: A SOCIAL AND COLLABORATIVE LEARNING ENVIRONMENT FOR K-6
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
INDEXED IN: 
WOS
WOS15452
TITLE: Search for Light Dark Matter in XENON10 Data
AUTHORS: Angle, J; Aprile, E; Arneodo, F; Baudis, L; Bernstein, A; Bolozdynya, AI; Coelho, LCC ; Dahl, CE; DeViveiros, L; Ferella, AD; Fernandes, LMP ; Fiorucci, S; Gaitskell, RJ; Giboni, KL; Gomez, R; Hasty, R; Kastens, L; Kwong, J; Lopes, JAM ; Madden, N; ...More
PUBLISHED: 2011, SOURCE: PHYSICAL REVIEW LETTERS, VOLUME: 107, ISSUE: 5
AUTHORS: Angle, J; Aprile, E; Arneodo, F; Baudis, L; Bernstein, A; Bolozdynya, AI; Coelho, LCC ; Dahl, CE; DeViveiros, L; Ferella, AD; Fernandes, LMP ; Fiorucci, S; Gaitskell, RJ; Giboni, KL; Gomez, R; Hasty, R; Kastens, L; Kwong, J; Lopes, JAM ; Madden, N; ...More
PUBLISHED: 2011, SOURCE: PHYSICAL REVIEW LETTERS, VOLUME: 107, ISSUE: 5
15453
TITLE: Seasonal and daily variation of radon at 10 m depth in borehole, Garhwal Lesser Himalaya, India Full Text
AUTHORS: Choubey, VM; Arora, BR; Barbosa, SM ; Naresh Kumar; Leena Kamra;
PUBLISHED: 2011, SOURCE: APPLIED RADIATION AND ISOTOPES, VOLUME: 69, ISSUE: 7, PAGES: 1070-1078
AUTHORS: Choubey, VM; Arora, BR; Barbosa, SM ; Naresh Kumar; Leena Kamra;
PUBLISHED: 2011, SOURCE: APPLIED RADIATION AND ISOTOPES, VOLUME: 69, ISSUE: 7, PAGES: 1070-1078
15454
TITLE: Security constrained unit commitment in Iran's electricity market
AUTHORS: Javadi M.S. ; Meskarbashi A.; Azami R.; Gh Hematipour; Javadinasab A.;
PUBLISHED: 2011, SOURCE: International Review on Modelling and Simulations, VOLUME: 4, ISSUE: 6, PAGES: 3104-3112
AUTHORS: Javadi M.S. ; Meskarbashi A.; Azami R.; Gh Hematipour; Javadinasab A.;
PUBLISHED: 2011, SOURCE: International Review on Modelling and Simulations, VOLUME: 4, ISSUE: 6, PAGES: 3104-3112
INDEXED IN: Scopus
Scopus15455
TITLE: Segmentation of ultrasound images of the carotid using RANSAC and cubic splines Full Text
AUTHORS: Rui Rocha ; Aurelio Campilho ; Jorge Silva ; Global COVID-19 Stroke Registry ; Rosa Santos;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 101, ISSUE: 1, PAGES: 94-106
AUTHORS: Rui Rocha ; Aurelio Campilho ; Jorge Silva ; Global COVID-19 Stroke Registry ; Rosa Santos;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 101, ISSUE: 1, PAGES: 94-106
15456
TITLE: Selected papers from the 17th reconfigurable architectures workshop (RAW2010) Full Text
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
15457
TITLE: Self-organization for scheduling in agile manufacturing
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N;
PUBLISHED: 2011, SOURCE: 2011 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011 in Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011, PAGES: 38-43
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N;
PUBLISHED: 2011, SOURCE: 2011 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011 in Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011, PAGES: 38-43
15458
TITLE: Semi-blind key-agreement over MIMO fading channels
AUTHORS: Renna, F ; Bloch, M; Laurenti, N;
PUBLISHED: 2011, SOURCE: 2011 IEEE International Conference on Communications, ICC 2011 in IEEE International Conference on Communications
AUTHORS: Renna, F ; Bloch, M; Laurenti, N;
PUBLISHED: 2011, SOURCE: 2011 IEEE International Conference on Communications, ICC 2011 in IEEE International Conference on Communications
15459
TITLE: Sensing characteristics of birefringent microstructured polymer optical fiber
AUTHORS: Marcin K Szczurowski; Orlando Frazao ; Baptista, JM ; Kristian Nielsen; Ole Bang; Waclaw Urbanczyk;
PUBLISHED: 2011, SOURCE: 21st International Conference on Optical Fiber Sensors in 21ST INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 7753
AUTHORS: Marcin K Szczurowski; Orlando Frazao ; Baptista, JM ; Kristian Nielsen; Ole Bang; Waclaw Urbanczyk;
PUBLISHED: 2011, SOURCE: 21st International Conference on Optical Fiber Sensors in 21ST INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 7753
15460
TITLE: SEPARATING SOURCES FROM SEQUENTIALLY ACQUIRED MIXTURES OF HEART SIGNALS
AUTHORS: Fabio L Hedayioglu; Maria G Jafari; Sandra S Mattos; Mark D Plumbley; Miguel T Coimbra ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 653-656
AUTHORS: Fabio L Hedayioglu; Maria G Jafari; Sandra S Mattos; Mark D Plumbley; Miguel T Coimbra ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 653-656
