Palomino, Miguel
1146  Ergebnisse:
Personensuche X
?
2

Strategies in Conditional Narrowing Modulo SMT Plus Axioms:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,
 
?
4

Multiscale exploration of hydrocarbon adsorption and hoppin..:

Strzempek, Maciej ; Tarach, Karolina ; Góra-Marek, Kinga...
Physical Chemistry Chemical Physics.  23 (2021)  4 - p. 2981-2990 , 2021
 
?
9

Insights into Adsorption of Linear, Monobranched, and Dibra..:

Pérez-Botella, Eduardo ; Misturini, Alechania ; Sala, Andrés...
The Journal of Physical Chemistry C.  124 (2020)  49 - p. 26821-26829 , 2020
 
?
10

Solvent-Free Synthesis of ZIFs: A Route toward the Elusive ..:

López-Cabrelles, Javier ; Romero, Jorge ; Abellán, Gonzalo...
Journal of the American Chemical Society.  141 (2019)  17 - p. 7173-7180 , 2019
 
?
12

Zeolites and Other Adsorbents:

, In: Nanoporous Materials for Gas Storage; Green Energy and Technology,
 
?
14

Conditional narrowing modulo SMT and axioms:

, In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming,
 
1-15