Ricardo Jorge Freire Dias
AuthID: R-000-FCJ
1
TÃTULO: CASTING DEFECTS AND THE MECHANICAL DESIGN PHILOSOPHIES
AUTORES: Teresa Morgado; Ricardo Dias; Carla Machado; Palmies Teixeira, JP;
PUBLICAÇÃO: 2017, FONTE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017)
AUTORES: Teresa Morgado; Ricardo Dias; Carla Machado; Palmies Teixeira, JP;
PUBLICAÇÃO: 2017, FONTE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017)
INDEXADO EM: 
WOS
WOS2
TÃTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
3
TÃTULO: Framework support for the efficient implementation of multi-version algorithms
AUTORES: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
AUTORES: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
INDEXADO EM: 
Scopus
Scopus4
TÃTULO: Supporting Multiple Data Replication Models in Distributed Transactional Memory
AUTORES: Joao A Silva; Tiago M Vale; Ricardo J Dias; Herve Paulino ; Joao M Lourenco ;
PUBLICAÇÃO: 2015, FONTE: 16th International Conference on Distributed Computing and Networking in PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, VOLUME: 04-07-January-2015
AUTORES: Joao A Silva; Tiago M Vale; Ricardo J Dias; Herve Paulino ; Joao M Lourenco ;
PUBLICAÇÃO: 2015, FONTE: 16th International Conference on Distributed Computing and Networking in PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, VOLUME: 04-07-January-2015
5
TÃTULO: Efficient Correction of Anomalies in Snapshot Isolation Transactions Full Text
AUTORES: Heiner Litz; Ricardo J Dias; David R Cheriton;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 11, NÚMERO: 4
AUTORES: Heiner Litz; Ricardo J Dias; David R Cheriton;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 11, NÚMERO: 4
6
TÃTULO: Efficient Support for In-Place Metadata in Transactional Memory
AUTORES: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
AUTORES: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXADO EM: WOS
WOS7
TÃTULO: Detecting Concurrency Anomalies in Transactional Memory Programs Full Text
AUTORES: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
AUTORES: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Practical verification of high-level dataraces in transactional memory programs
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
9
TÃTULO: Detection of Transactional Memory anomalies using static analysis
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
10
TÃTULO: Unifying Memory and Database Transactions
AUTORES: Ricardo J Dias; Joao M Lourenco ;
PUBLICAÇÃO: 2009, FONTE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
AUTORES: Ricardo J Dias; Joao M Lourenco ;
PUBLICAÇÃO: 2009, FONTE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
