Nuno Claudino Pereira Lopes
AuthID: R-000-DMJ
1
TÃTULO: Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
AUTORES: George Mitenkov; Igor Kabiljo; Zekun Li; Alexander Spiegelman; Satyanarayana Vusirikala; Zhuolun Xiang; Aleksandar Zlateski; Nuno P Lopes; Rati Gelashvili;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.06117
AUTORES: George Mitenkov; Igor Kabiljo; Zekun Li; Alexander Spiegelman; Satyanarayana Vusirikala; Zhuolun Xiang; Aleksandar Zlateski; Nuno P Lopes; Rati Gelashvili;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.06117
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Torchy: A Tracing JIT Compiler for PyTorch
AUTORES: Lopes, Nuno P.;
PUBLICAÇÃO: 2023, FONTE: 32nd ACM SIGPLAN International Conference on Compiler Construction (CC) in PROCEEDINGS OF THE 32ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2023
AUTORES: Lopes, Nuno P.;
PUBLICAÇÃO: 2023, FONTE: 32nd ACM SIGPLAN International Conference on Compiler Construction (CC) in PROCEEDINGS OF THE 32ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2023
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP3
TÃTULO: Supercharging Plant Configurations Using Z3
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
AUTORES: Nikolaj Bjørner; Maxwell Levatich; Nuno P Lopes; Andrey Rybalchenko; Chandrasekar Vuppalapati;
PUBLICAÇÃO: 2021, FONTE: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings, VOLUME: 12735
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: Alive2: bounded translation validation for LLVM
AUTORES: Nuno P Lopes; Juneyoung Lee; Chung Kil Hur; Zhengyang Liu; John Regehr;
PUBLICAÇÃO: 2021, FONTE: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211.
AUTORES: Nuno P Lopes; Juneyoung Lee; Chung Kil Hur; Zhengyang Liu; John Regehr;
PUBLICAÇÃO: 2021, FONTE: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation
AUTORES: Juneyoung Lee; Dongjoo Kim; Chung Kil Hur; Nuno P Lopes;
PUBLICAÇÃO: 2021, FONTE: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, VOLUME: 12760
AUTORES: Juneyoung Lee; Dongjoo Kim; Chung Kil Hur; Nuno P Lopes;
PUBLICAÇÃO: 2021, FONTE: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, VOLUME: 12760
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: Linked data authority records for Irish place names
AUTORES: Catherine Ryan; Rebecca Grant; EoghanÓ Carragáin; Sandra Collins; Stefan Decker; Nuno Lopes;
PUBLICAÇÃO: 2015, FONTE: International Journal on Digital Libraries, VOLUME: 15, NÚMERO: 2-4
AUTORES: Catherine Ryan; Rebecca Grant; EoghanÓ Carragáin; Sandra Collins; Stefan Decker; Nuno Lopes;
PUBLICAÇÃO: 2015, FONTE: International Journal on Digital Libraries, VOLUME: 15, NÚMERO: 2-4
7
TÃTULO: On-demand integration and linking of open data information
AUTORES: Nuno Lopes; Martin Stephenson; Vanessa Lopez; Pierpaolo Tommasi; Pól Mac Aonghusa;
PUBLICAÇÃO: 2015, FONTE: Communications in Computer and Information Science, VOLUME: 544
AUTORES: Nuno Lopes; Martin Stephenson; Vanessa Lopez; Pierpaolo Tommasi; Pól Mac Aonghusa;
PUBLICAÇÃO: 2015, FONTE: Communications in Computer and Information Science, VOLUME: 544
8
TÃTULO: Weakest Precondition Synthesis for Compiler Optimizations
AUTORES: Lopes, NP; Monteiro, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), VOLUME: 8318
AUTORES: Lopes, NP; Monteiro, J;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), VOLUME: 8318
INDEXADO EM: 
Scopus WOS
Scopus WOS9
TÃTULO: Linked Logainm: Enhancing Library Metadata Using Linked Data of Irish Place Names
AUTORES: Nuno Lopes; Rebecca Grant; Brian Ó Raghallaigh; Eoghan Ó Carragain; Sandra Collins; Stefan Decker;
PUBLICAÇÃO: 2014, FONTE: Communications in Computer and Information Science, VOLUME: 416 CCIS
AUTORES: Nuno Lopes; Rebecca Grant; Brian Ó Raghallaigh; Eoghan Ó Carragain; Sandra Collins; Stefan Decker;
PUBLICAÇÃO: 2014, FONTE: Communications in Computer and Information Science, VOLUME: 416 CCIS
10
TÃTULO: Querying the Web of data with XSPARQL 1.1
AUTORES: Daniele Dell'Aglio; Axel Polleres; Nuno Lopes; Stefan Bischof;
PUBLICAÇÃO: 2014, FONTE: CEUR Workshop Proceedings, VOLUME: 1268
AUTORES: Daniele Dell'Aglio; Axel Polleres; Nuno Lopes; Stefan Bischof;
PUBLICAÇÃO: 2014, FONTE: CEUR Workshop Proceedings, VOLUME: 1268
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID