Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lopez-Garcia, Pedro
5087  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Solving Recurrence Relations using Machine Learning, with A..:

Klemen, Maximiliano ; Carreira-Perpiñán, Miguel Á ; Lopez-Garcia, Pedro
http://arxiv.org/abs/2309.07259.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Compounding process optimization for recycled materials usi..:

Lopez-Garcia, Pedro ; Barrenetxea, Xabier ; García-Arrieta, Sonia...
info:eu-repo/grantAgreement/EC/H2020/873111/EU/Digital Platform for Circular Economy in Cross-sectorial Sustainable Value Networks/DigiPrime.  , 2022
Link: http://hdl.handle.net/11..
 
?
3

Regular Path Clauses and Their Application in Solving Loops:

Kafle, Bishoksan ; Gallagher, John Patrick ; Hermenegildo, Manuel V...
Kafle , B , Gallagher , J P , Hermenegildo , M V , Klemen , M , López-García , P & Morales , J F 2021 , Regular Path Clauses and Their Application in Solving Loops . in H Hojjat & B Kafle (eds) , Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021) . vol. 344 , EPTCS , Electronic Proceedings in Theoretical Computer Science , vol. 344 , pp. 22-35 , 8th Workshop on Horn Clauses for Verification and Synthesis , Luxembourg , 28/03/2021 . https://doi.org/10.4204/EPTCS.344.3.  , 2021
Link: https://forskning.ruc.dk..
 
?
4

VeriFly: On-the-fly Assertion Checking via Incrementality:

Sanchez-Ordaz, Miguel A ; Garcia-Contreras, Isabel ; Perez-Carrasco, Victor...
http://arxiv.org/abs/2106.07045.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Regular Path Clauses and Their Application in Solving Loops:

Kafle, Bishoksan ; Gallagher, John P ; Hermenegildo, Manuel V...
http://arxiv.org/abs/2109.04631.  , 2021
Link: http://arxiv.org/abs/210..
 
?
6

A General Framework for Static Cost Analysis of Parallel Lo..:

Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John Patrick..
Klemen , M , López-García , P , Gallagher , J P , Morales , J F & Hermenegildo , M 2020 , A General Framework for Static Cost Analysis of Parallel Logic Programs . in M Gabbrielli (ed.) , Logic-Based Program Synthesis and Transformation - 29th International Symposium : LOPSTR 2019 Revised Selected Papers . vol. 12042 , Springer , Lecture Notes in Computer Science , vol. 12042 , Theoretical Computer Science and General Issues , vol. 12042 , pp. 19-35 , 29th International Symposium Logic-Based Program Synthesis and Transformation , Porto , Portugal , 08/10/2019 . https://doi.org/10.1007/978-3-030-45260-5_2.  , 2020
Link: https://forskning.ruc.dk..
 
?
7

From Big-Step to Small-Step Semantics and Back with Interpr..:

Gallagher, John Patrick ; Hermenegildo, Manuel V ; Kafle, Bishoksan...
Gallagher , J P , Hermenegildo , M V , Kafle , B , Klemen , M , López-García , P & Morales , J F 2020 , From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation . in L Fribourg & M Heizmann (eds) , Proceedings of VPT/HCVS@ETAPS 2020 : 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis . vol. 320 , EPTCS , Electronic Proceedings in Theoretical Computer Science , vol. 320 , pp. 50-64 , 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis , Dublin , Ireland , 25/04/2020 . https://doi.org/10.4204/EPTCS.320.4.  , 2020
Link: https://forskning.ruc.dk..
 
?
8

Towards a General Framework for Static Cost Analysis of Par..:

Klemen, Maximiliano ; Lopez-Garcia, Pedro ; Gallagher, John P..
http://arxiv.org/abs/1907.13272.  , 2019
Link: http://arxiv.org/abs/190..
 
?
9

Computing Abstract Distances in Logic Programs:

Casso, Ignacio ; Morales, Jose F ; Lopez-Garcia, Pedro.
http://arxiv.org/abs/1907.13263.  , 2019
Link: http://arxiv.org/abs/190..
 
?
10

Interval-based Resource Usage Verification by Translation i..:

Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Klemen, Maximiliano...
http://arxiv.org/abs/1803.04451.  , 2018
Link: http://arxiv.org/abs/180..
 
?
11

Towards Static Performance Guarantees for Programs with Run..:

Klemen, Maximiliano ; Stulova, Nataliia ; Lopez-Garcia, Pedro.
doi:10.4230/OASIcs.ICLP.2018.10.  , 2018
Link: https://doi.org/10.4230/..
 
?
12

An Approach to Static Performance Guarantees for Programs w..:

Klemen, Maximiliano ; Stulova, Nataliia ; Lopez-Garcia, Pedro..
http://arxiv.org/abs/1804.02380.  , 2018
Link: http://arxiv.org/abs/180..
 
?
13

Applications of Soft Computing in Intelligent Transportatio..:

Masegosa, Antonio D ; Onieva, Enrique ; Lopez-Garcia, Pedro.
info:eu-repo/grantAgreement/EC/H2020/636220/.  , 2017
Link: https://zenodo.org/recor..
 
?
14

ENTRA: Whole-Systems Energy Transparency:

Eder, Kerstin ; Gallagher, John P ; Lopez-Garcia, Pedro...
http://arxiv.org/abs/1606.04074.  , 2016
Link: http://arxiv.org/abs/160..
 
?
15

An improved discrete bat algorithm for symmetric and asymme..:

Osaba, Eneko ; Yang, Xin-She ; Diaz, Fernando..
https://eprints.mdx.ac.uk/19112/2/An%20Improved%20Discrete%20Bat%20Algorithm%20for%20TSP%20and%20ATSP.pdf.  , 2016
Link: https://eprints.mdx.ac.u..
 
1-15