Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ricardo J. Dias
@inproceedings{DBLP:conf/hci/RebeloFCDVN23,
author = {Francisco Rebelo and
Ana Faria and
Jo{\~{a}}o Costa and
Ricardo J. Dias and
Elis{\^{a}}ngela Vilar and
Paulo Noriega},
editor = {Aaron Marcus and
Elizabeth Rosenzweig and
Marcelo M. Soares},
title = {Acceptance of Autonomous Electric Vehicles as a Collective Passenger
Transport: The Case of Portugal},
booktitle = {Design, User Experience, and Usability - 12th International Conference,
{DUXU} 2023, Held as Part of the 25th {HCI} International Conference,
{HCII} 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part
{III}},
series = {Lecture Notes in Computer Science},
volume = {14032},
pages = {304--316},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35702-2\_22},
doi = {10.1007/978-3-031-35702-2\_22},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/RebeloFCDVN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09733,
author = {Tiago M. Vale and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Lazy State Determination: More concurrency for contending linearizable
transactions},
journal = {CoRR},
volume = {abs/2007.09733},
year = {2020},
url = {https://arxiv.org/abs/2007.09733},
eprinttype = {arXiv},
eprint = {2007.09733},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SidhantaDR19,
author = {Subhajit Sidhanta and
Ricardo J. Dias and
Rodrigo Rodrigues},
title = {A More Consistent Understanding of Consistency},
booktitle = {38th Symposium on Reliable Distributed Systems, {SRDS} 2019, Lyon,
France, October 1-4, 2019},
pages = {163--172},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SRDS47363.2019.00027},
doi = {10.1109/SRDS47363.2019.00027},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/SidhantaDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/Moniz0DGPR19,
author = {Henrique Moniz and
Jo{\~{a}}o Leit{\~{a}}o and
Ricardo J. Dias and
Johannes Gehrke and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues},
editor = {Sherif Sakr and
Albert Y. Zomaya},
title = {Achieving Low Latency Transactions for Geo-replicated Storage with
Blotter},
booktitle = {Encyclopedia of Big Data Technologies},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-63962-8\_158-1},
doi = {10.1007/978-3-319-63962-8\_158-1},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/bdt/Moniz0DGPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasFFLSSV17,
author = {Ricardo J. Dias and
Carla Ferreira and
Jan Fiedor and
Jo{\~{a}}o M. Louren{\c{c}}o and
Ales Smrcka and
Diogo G. Sousa and
Tom{\'{a}}s Vojnar},
title = {Verifying Concurrent Programs Using Contracts},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {196--206},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.25},
doi = {10.1109/ICST.2017.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiasFFLSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MonizLDGPR17,
author = {Henrique Moniz and
Jo{\~{a}}o Leit{\~{a}}o and
Ricardo J. Dias and
Johannes Gehrke and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues},
editor = {Rick Barrett and
Rick Cummings and
Eugene Agichtein and
Evgeniy Gabrilovich},
title = {Blotter: Low Latency Transactions for Geo-Replicated Storage},
booktitle = {Proceedings of the 26th International Conference on World Wide Web,
{WWW} 2017, Perth, Australia, April 3-7, 2017},
pages = {263--272},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3038912.3052603},
doi = {10.1145/3038912.3052603},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/MonizLDGPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ValeSDL16,
author = {Tiago M. Vale and
Jo{\~{a}}o A. Silva and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Pot: Deterministic Transactional Execution},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {13},
number = {4},
pages = {52:1--52:24},
year = {2016},
url = {https://doi.org/10.1145/3017993},
doi = {10.1145/3017993},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/ValeSDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ValeSDL16,
author = {Tiago M. Vale and
Jo{\~{a}}o A. Silva and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Pot: Deterministic transactional execution},
journal = {CoRR},
volume = {abs/1612.07702},
year = {2016},
url = {http://arxiv.org/abs/1612.07702},
eprinttype = {arXiv},
eprint = {1612.07702},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ValeSDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/SilvaVDPL15,
author = {Jo{\~{a}}o A. Silva and
Tiago M. Vale and
Ricardo J. Dias and
Herv{\'{e}} Paulino and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Sajal K. Das and
Dilip Krishnaswamy and
Santonu Karkar and
Amos Korman and
Mohan J. Kumar and
Marius Portmann and
Srikanth Sastry},
title = {Supporting Multiple Data Replication Models in Distributed Transactional
Memory},
booktitle = {Proceedings of the 2015 International Conference on Distributed Computing
and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684464.2684481},
doi = {10.1145/2684464.2684481},
timestamp = {Wed, 11 Sep 2019 12:17:11 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/SilvaVDPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cost/DiasVL15,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o M. Louren{\c{c}}o},
editor = {Rachid Guerraoui and
Paolo Romano},
title = {Framework Support for the Efficient Implementation of Multi-version
Algorithms},
booktitle = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
- {COST} Action Euro-TM {IC1001}},
series = {Lecture Notes in Computer Science},
volume = {8913},
pages = {166--191},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14720-8\_8},
doi = {10.1007/978-3-319-14720-8\_8},
timestamp = {Wed, 07 Dec 2022 23:14:03 +0100},
biburl = {https://dblp.org/rec/conf/cost/DiasVL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaDFL15,
author = {Diogo G. Sousa and
Ricardo J. Dias and
Carla Ferreira and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Preventing Atomicity Violations with Contracts},
journal = {CoRR},
volume = {abs/1505.02951},
year = {2015},
url = {http://arxiv.org/abs/1505.02951},
eprinttype = {arXiv},
eprint = {1505.02951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SousaDFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/LitzDC14,
author = {Heiner Litz and
Ricardo J. Dias and
David R. Cheriton},
title = {Efficient Correction of Anomalies in Snapshot Isolation Transactions},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {11},
number = {4},
pages = {65:1--65:24},
year = {2014},
url = {https://doi.org/10.1145/2693260},
doi = {10.1145/2693260},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/LitzDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DiasVL13,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Efficient support for in-place metadata in Java software transactional
memory},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {17},
pages = {2394--2411},
year = {2013},
url = {https://doi.org/10.1002/cpe.3098},
doi = {10.1002/CPE.3098},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/DiasVL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/musepat/ValeDL13,
author = {Tiago M. Vale and
Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {On the Relevance of Total-Order Broadcast Implementations in Replicated
Software Transactional Memories},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
pages = {49--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8\_5},
doi = {10.1007/978-3-642-39955-8\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/musepat/ValeDL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DiasDSL12,
author = {Ricardo J. Dias and
Dino Distefano and
Jo{\~{a}}o Costa Seco and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {James Noble},
title = {Verification of Snapshot Isolation in Transactional Memory Java Programs},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {640--664},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_28},
doi = {10.1007/978-3-642-31057-7\_28},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DiasDSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DiasVL12,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Christos Kaklamanis and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {Efficient Support for In-Place Metadata in Transactional Memory},
booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7484},
pages = {589--600},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32820-6\_59},
doi = {10.1007/978-3-642-32820-6\_59},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/DiasVL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DiasPL12,
author = {Ricardo J. Dias and
Vasco Pessanha and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Precise Detection of Atomicity Violations},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {8--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_8},
doi = {10.1007/978-3-642-39611-3\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/DiasPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/LourencoSTD11,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Diogo Sousa and
Bruno C. Teixeira and
Ricardo J. Dias},
title = {Detecting concurrency anomalies in transactional memory programs},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {2},
pages = {534--548},
year = {2011},
url = {https://doi.org/10.2298/CSIS110110007L},
doi = {10.2298/CSIS110110007L},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/LourencoSTD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PessanhaDLFS11,
author = {Vasco Pessanha and
Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Practical verification of high-level dataraces in transactional memory
programs},
booktitle = {Proceedings of the 9th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2011, Toronto, ON, Canada,
July 17-21, 2011},
pages = {26--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002962.2002968},
doi = {10.1145/2002962.2002968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PessanhaDLFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TeixeiraLFDS10,
author = {Bruno C. Teixeira and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Ricardo J. Dias and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Detection of Transactional Memory anomalies using static analysis},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {26--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866213},
doi = {10.1145/1866210.1866213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/TeixeiraLFDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DiasL09,
author = {Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Henk J. Sips and
Dick H. J. Epema and
Hai{-}Xiang Lin},
title = {Unifying Memory and Database Transactions},
booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
Delft, The Netherlands, August 25-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5704},
pages = {349--360},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03869-3\_35},
doi = {10.1007/978-3-642-03869-3\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/DiasL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LourencoDLRP09,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Ricardo J. Dias and
Jo{\~{a}}o Lu{\'{\i}}s and
Miguel Rebelo and
Vasco Pessanha},
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {Understanding the behavior of transactional memory applications},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639622.1639625},
doi = {10.1145/1639622.1639625},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LourencoDLRP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/DiasLC08,
author = {Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o and
Gon{\c{c}}alo Cunha},
title = {Developing libraries using software transactional memory},
journal = {Comput. Sci. Inf. Syst.},
volume = {5},
number = {2},
pages = {103--117},
year = {2008},
url = {https://doi.org/10.2298/CSIS0802103D},
doi = {10.2298/CSIS0802103D},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/DiasLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/JesusDFAC08,
author = {Rui M. Jesus and
Ricardo J. Dias and
Rute Frias and
Arnaldo J. Abrantes and
Nuno Correia},
editor = {Stefano Levialdi},
title = {Memoria mobile: sharing pictures of a point of interest},
booktitle = {Proceedings of the working conference on Advanced Visual Interfaces,
{AVI} 2008, Napoli, Italy, May 28-30, 2008},
pages = {412--415},
publisher = {{ACM} Press},
year = {2008},
url = {https://doi.org/10.1145/1385569.1385647},
doi = {10.1145/1385569.1385647},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avi/JesusDFAC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gir/JesusDFC07,
author = {Rui M. Jesus and
Ricardo J. Dias and
Rute Frias and
Nuno Correia},
editor = {Ross Purves and
Christopher B. Jones},
title = {Geographic image retrieval in mobile guides},
booktitle = {Proceedings of the 4th {ACM} Workshop On Geographic Information Retrieval,
{GIR} 2007, Lisbon, Portugal, November 9, 2007},
pages = {37--38},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316948.1316958},
doi = {10.1145/1316948.1316958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gir/JesusDFC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/DiasJFC07,
author = {Ricardo J. Dias and
Rui M. Jesus and
Rute Frias and
Nuno Correia},
editor = {Wessel Kraaij and
Arjen P. de Vries and
Charles L. A. Clarke and
Norbert Fuhr and
Noriko Kando},
title = {Mobile interface of the memoria project},
booktitle = {{SIGIR} 2007: Proceedings of the 30th Annual International {ACM} {SIGIR}
Conference on Research and Development in Information Retrieval, Amsterdam,
The Netherlands, July 23-27, 2007},
pages = {904},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277741.1277972},
doi = {10.1145/1277741.1277972},
timestamp = {Tue, 06 Nov 2018 11:07:23 +0100},
biburl = {https://dblp.org/rec/conf/sigir/DiasJFC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
