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

AuthID: I-000-0K9


Publications Count: 4670

62 Team Members
Filters -> Year: 2026
3441
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
3442
TÍTULO: Spectra: Robust Estimation of Distribution Functions in Networks
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
3443
TÍTULO: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
3444
TÍTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
3445
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
3446
TÍTULO: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTORES: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2012, FONTE: ECIR, VOLUME: 7224 LNCS, PÁGINAS: 485-488
3447
TÍTULO: Task Assignment Algorithms for Two-type Heterogeneous Multiprocessors
AUTORES: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLICAÇÃO: 2012, FONTE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PÁGINAS: 34-43
3448
TÍTULO: Test Generation from UML Sequence Diagrams
AUTORES: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 245-250
3449
TÍTULO: Text Categorization Using an Ensemble Classifier Based on a Mean Co-association Matrix
AUTORES: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLICAÇÃO: 2012, FONTE: MLDM, VOLUME: 7376 LNAI, PÁGINAS: 525-539
3450
TÍTULO: The Learning Design in Education Today - Putting Pedagogical Content Knowledge into Practice
AUTORES: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: CSEDU (1), VOLUME: 1, PÁGINAS: 344-347
3451
TÍTULO: Topological inference through mobile devices
AUTORES: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 574-575
3452
TÍTULO: Towards a Catalog of Spreadsheet Smells
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
3453
TÍTULO: Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices
AUTORES: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLICAÇÃO: 2012, FONTE: PROFES, VOLUME: 7343 LNCS, PÁGINAS: 361-365
3454
TÍTULO: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
3455
TÍTULO: Towards an Autonomous and Intelligent Airline Operations Control
AUTORES: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1429-1434
3456
TÍTULO: Towards an evaluation of bidirectional model-driven spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: USER@ICSE, PÁGINAS: 25-28
3457
TÍTULO: Towards Location-based Augmented Reality games
AUTORES: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 318-+
3458
TÍTULO: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTORES: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PÁGINAS: 204-209
3459
TÍTULO: Trust and Normative Control in Multi-agent Systems: An Empirical Study
AUTORES: Urbano, J ; Cardoso, HL ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 156, PÁGINAS: 207-214
3460
TÍTULO: TwitterEcho. a distributed focused crawler to support open research with twitter data
AUTORES: Matko Boanjak; Eduardo Oliveira ; José Martins; Eduarda Mendes Rodrigues; Luís Sarmento;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion

Results per Page: 20.
Página 173 de 234. Total de resultados: 4670.