E-LIB Suche - Ergebnisse für: Perez, Ivan

1

Trustworthy Runtime Verification via Bisimulation (Experien..:

Scott, Ryan G. ; Dodds, Mike ; Perez, Ivan..
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 305-321 , 2023

Link: https://doi.org/10.1145/..

2

Competitive interference among rhizobia reduces benefits to..:

Rahman, Arafat ; Manci, Max ; Nadon, Cassandra...
Current Biology. 33 (2023) 17 - p. 3804 , 2023

Link: https://doi.org/10.1016/..

3

Selected extended papers of NFM 2021: Preface:

Dutle, Aaron ; Moscato, Mariano M. ; Titolo, Laura..
Innovations in Systems and Software Engineering. 19 (2023) 4 - p. 337-338 , 2023

Link: https://doi.org/10.1007/..

4

The Beauty and Elegance of Functional Reactive Animation:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design,

Perez, Ivan - p. 8-20 , 2023

Link: https://dl.acm.org/doi/1..

5

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration f..:

, In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium,

Elazar Mittelman, Segev ; Resnick, Aviel ; Perez, Ivan.. - p. 59-71 , 2023

Link: https://dl.acm.org/doi/1..

6

Competitive interference among rhizobia reduces benefits to..:

Rahman, Arafat ; Manci, Max ; Nadon, Cassandra...
Current Biology. 33 (2023) 14 - p. 2988-3001.e4 , 2023

Link: https://doi.org/10.1016/..

7

Investigaciones arqueológicas en el noreste de Neuquén: evi..:

Pérez, Iván ; Rindel, Diego Damián ; Romero Villanueva, Guadalupe..
InterSecciones en Antropología. , 2023

Link: https://doi.org/10.37176..

8

A BODIPY‐Based Molecular Rotor in Giant Unilamellar Vesicle..:

Jha, Keshav Kumar ; Prabhakaran, Amrutha ; Spantzel, Lukas...
ChemPhotoChem. 7 (2023) 11 - p. , 2023

Link: https://doi.org/10.1002/..

9

Types that Change: The Extensible Type Design Pattern:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture,

Perez, Ivan - p. 49-62 , 2023

Link: https://dl.acm.org/doi/1..

10

On Identifiability of BN2A Networks:

, In: Lecture Notes in Computer Science; Symbolic and Quantitative Approaches to Reasoning with Uncertainty,

Pérez, Iván ; Vomlel, Jiří - p. 136-148 , 2023

Link: https://doi.org/10.1007/..

11

Mechanism of ADP-Inhibited ATP Hydrolysis in Single Proton-..:

Pérez, Iván ; Heitkamp, Thomas ; Börsch, Michael
International Journal of Molecular Sciences. 24 (2023) 9 - p. 8442 , 2023

Link: https://doi.org/10.3390/..

12

The Essence of Reactivity:

, In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium,

Perez, Ivan ; Dedden, Frank - p. 18-31 , 2023

Link: https://dl.acm.org/doi/1..

13

Factores de riesgo asociados a la disminución de la agudeza..:

Almonte Becerril, Maylin ; Pérez Pérez, Iván ; Techalotzi Amador, Abigail.
HOLOPRAXIS. Revista de Ciencia, Tecnología e Innovación. 7 (2023) 2 - p. 50-69 , 2023

Link: https://doi.org/10.61154..

14

Methodology for the Transmission of Medical Images in Teleh..:

, In: 2022 Second International Conference on Interdisciplinary Cyber Physical Systems (ICPS),

Auccahuasi, Wilver ; Herrera, Lucas ; Rojas, Karin... - p. 64-67 , 2022

Link: https://doi.org/10.1109/..

15

Gender, Stress, and Well-Being in Adulthood:

Pérez, J. Iván ; Matud, M. Pilar
Journal of Clinical Medicine. 12 (2022) 1 - p. 110 , 2022

Link: https://doi.org/10.3390/..