The spread of media content through blogs von Cha, Meeyoung, Pérez, Juan Antonio Navarro, Haddadi, Hamed

Volltext

Logics with Common Weak Completions von Galindo, M. O., Navarro Perez, J. A., Arrazola Ramirez, J. R., Macias, V. B.

Volltext

Separation Logic Modulo Theories von Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Volltext

Encodings of Bounded LTL Model Checking in Effectively Propositional Logic von Navarro-Pérez, Juan Antonio, Voronkov, Andrei

Volltext

Ground Nonmonotonic Modal Logic S5: New Results von Galindo, Mauricio Osorio, Pérez, Juan Antonio Navarro, Ramírez, José R. Arrazola, Macías, Verónica Borja

Volltext

Encodings of Problems in Effectively Propositional Logic von Navarro-Pérez, Juan Antonio, Voronkov, Andrei

Volltext

Cardinality Abstraction for Declarative Networking Applications von Pérez, Juan Antonio Navarro, Rybalchenko, Andrey, Singh, Atul

Volltext

Logics with Common Weak Completions

Volltext

GRAPH EXECUTION ENGINE von NAVARRO PEREZ, Juan Antonio, SHMAKOV, Pavel, CHIMISOV, Cyril, SAXENA, Ashish, RIZMAN, Matej, PEARCE, Matthew, NARYANTO, Vinsensius B. Vega S

Volltext bestellen

AUTOMATIC MEMORY MANAGEMENT FOR COMPUTE GRAPHS von SHMAKOV, Pavel, NAVARRO PEREZ, Juan Antonio, CHIMISOV, Cyril, SAXENA, Ashish, RIZMAN, Matej, NARYANTO, Vinsensius B. Vega S

Volltext bestellen

Automatic Memory Management for Compute Graphs von Rizman, Matej, Shmakov, Pavel, Navarro Perez, Juan Antonio, Naryanto, Vinsensius B. Vega S, Chimisov, Cyril, Saxena, Ashish

Volltext bestellen

GRAPH EXECUTION ENGINE von NAVARRO PEREZ, Juan Antonio, SHMAKOV, Pavel, CHIMISOV, Cyril, SAXENA, Ashish, RIZMAN, Matej, PEARCE, Matthew, NARYANTO, Vinsensius B. Vega S

Volltext bestellen

Graph Execution Engine von Rizman, Matej, Shmakov, Pavel, Pearce, Matthew, Navarro Perez, Juan Antonio, Naryanto, Vinsensius B.Vega S, Chimisov, Cyril, Saxena, Ashish

Volltext bestellen

Planning with Effectively Propositional Logic von Navarro-Pérez, Juan Antonio, Voronkov, Andrei

Volltext

Safe beliefs for propositional theories von Osorio, Mauricio, Navarro Pérez, Juan Antonio, Arrazola, José

Volltext

Separation Logic Modulo Theories von Navarro-Pérez, Juan Antonio, Rybalchenko, Andrey

Volltext bestellen

Separation logic + superposition calculus = heap theorem prover von Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Volltext

Separation logic + superposition calculus = heap theorem prover von Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Volltext

Separation Logic Modulo Theories von Navarro-Pérez, Juan Antonio, Rybalchenko, Andrey

Volltext

Intestinal Microbiota Is Influenced by Gender and Body Mass Index von Haro, Carmen, Rangel-Zúñiga, Oriol A, Alcalá-Díaz, Juan F, Gómez-Delgado, Francisco, Pérez-Martínez, Pablo, Delgado-Lista, Javier, Quintana-Navarro, Gracia M, Landa, Blanca B, Navas-Cortés, Juan A, Tena-Sempere, Manuel, Clemente, José C, López-Miranda, José, Pérez-Jiménez, Francisco, Camargo, Antonio

Volltext