Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
3201
TITLE: The algorithmics of solitaire-like games
AUTHORS: Roland Backhouse; Wei Chen; Joao F Ferreira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2029-2046
3202
TITLE: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTHORS: Sousa, PB ; Souto, P ; Tovar, E ; Bletsas, K;
PUBLISHED: 2013, SOURCE: IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), PAGES: 12-21
3203
TITLE: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTHORS: Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
3204
TITLE: The Dotted-Board Model: A new MIP model for nesting irregular shapes
AUTHORS: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, ISSUE: 2, PAGES: 478-487
3205
TITLE: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTHORS: Govindaraj, S; Chintamani, K; Gancet, J; Letier, P; van Lierde, B; Nevatia, Y; De Cubber, G; Serrano, D; Palomares, ME; Bedkowski, J; Armbrust, C; Sanchez, J; Coelho, A ; Orbe, I;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PAGES: 1-4
3206
TITLE: The Impact of Benevolence in Computational Trust
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2013, SOURCE: AT, VOLUME: 8068 LNAI, PAGES: 210-224
3207
TITLE: The impact of time in link-based Web ranking
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, ISSUE: 3
3208
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
3209
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Bispo, J ; Pinto, P ; Nobre, R ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
3210
TITLE: The REFLECT design-flow
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
3211
TITLE: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTHORS: Steimann, F; Frenkel, M; Abreu, R ;
PUBLISHED: 2013, SOURCE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PAGES: 314-324
3212
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction). (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: Euro-Par, VOLUME: 8097 LNCS, PAGES: 367-368
3213
TITLE: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTHORS: Almeida, JE; Kokkinogenis, Z ; Rossetti, RJF ;
PUBLISHED: 2013, SOURCE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PAGES: 335-340
3214
3215
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
3216
TITLE: Understanding Sequential Decisions via Inverse Reinforcement Learning
AUTHORS: Liu, SY; Araujo, M ; Brunskill, E; Rossetti, R ; Barros, J ; Krishnan, R;
PUBLISHED: 2013, SOURCE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PAGES: 177-186
3217
3218
TITLE: UPBox e DataNotes: um ambiente de suporte à gestão colaborativa de dados científicos
AUTHORS: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2013, SOURCE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, ISSUE: 2, PAGES: 95
3219
TITLE: Using Domain-Specific Term Frequencies to Identify and Classify Health Queries
AUTHORS: Lopes, CT ; Dias, D; Ribeiro, C ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 221-226
3220
TITLE: Using HTML5 visualizations in software fault localization
AUTHORS: Gouveia, C; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st IEEE Working Conference on Software Visualization, VISSOFT 2013 in 2013 1st IEEE Working Conference on Software Visualization - Proceedings of VISSOFT 2013, PAGES: 1-10

Results per Page: 20.
Page 161 of 232. Total results: 4625.