Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Morales, José F.
14125  Ergebnisse:
Personensuche X
?
1

Teaching Prolog with Active Logic Documents:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Morales, Jose F. ; Abreu, Salvador ; Ferreiro, Daniela. - p. 171-183 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Types, Modes and so Much More – The Prolog Way:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro. - p. 23-37 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Static Analysis: 30th International Symposium, SAS 2023, Ca.. 

Lecture Notes in Computer Science, 14284
Hermenegildo, Manuel V ; Morales, José F - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
4

Some Thoughts on How to Teach Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro - p. 107-123 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Electrochemically Induced Conformational Change of Di‐Boron..:

Chang, An‐Yi ; Sandhu, Samar S. ; Fernando, P. U. Ashvin I....
Advanced Functional Materials.  33 (2023)  42 - p. , 2023
Link: https://doi.org/10.1002/..
 
?
6

MIP-202 catalyst-integrated solid-contact potentiometric ch..:

Sandhu, Samar S. ; Chang, An-Yi ; Fernando, P.U. Ashvin I....
Sensors and Actuators B: Chemical.  375 (2023)  - p. 132818 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Introduction to the 38th International Conference on Logic ..:

LIERLER, YULIYA ; MORALES, JOSE F.
Theory and Practice of Logic Programming.  22 (2022)  5 - p. 640-640 , 2022
Link: https://doi.org/10.1017/..
 
?
8

Sensor Array Chip for Real‐Time Field Detection and Discrim..:

Kotagiri, Yugender G. ; Sandhu, Samar S. ; Morales, Jose F....
ChemElectroChem.  , 2022
Link: https://doi.org/10.1002/..
 
?
9

Introduction to the 38th International Conference on Logic ..:

LIERLER, YULIYA ; MORALES, JOSE F.
Theory and Practice of Logic Programming.  22 (2022)  4 - p. 499-504 , 2022
Link: https://doi.org/10.1017/..
 
?
10

Fifty Years of Prolog and Beyond:

KÖRNER, PHILIPP ; LEUSCHEL, MICHAEL ; BARBOSA, JOÃO...
Theory and Practice of Logic Programming.  22 (2022)  6 - p. 776-858 , 2022
Link: https://doi.org/10.1017/..
 
?
11

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

SANCHEZ-ORDAZ, MIGUEL A. ; GARCIA-CONTRERAS, ISABEL ; PEREZ, VICTOR...
Theory and Practice of Logic Programming.  21 (2021)  6 - p. 768-784 , 2021
Link: https://doi.org/10.1017/..
 
?
12

Practical Aspects of Declarative Languages: 23rd Internatio.. 

Programming and Software Engineering, 12548
Morales, José F ; Orchard, Dominic - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
13

Incremental and Modular Context-sensitive Analysis:

GARCIA-CONTRERAS, ISABEL ; MORALES, JOSÉ F. ; HERMENEGILDO, MANUEL V.
Theory and Practice of Logic Programming.  21 (2021)  2 - p. 196-243 , 2021
Link: https://doi.org/10.1017/..
 
?
14

Testing Your (Static Analysis) Truths:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Casso, Ignacio ; Morales, José F. ; López-García, P.. - p. 271-292 , 2021
Link: https://doi.org/10.1007/..
 
?
15

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

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John P... - p. 19-35 , 2020
Link: https://doi.org/10.1007/..
 
1-15