E-LIB Suche - Ergebnisse für: Taube, Marcelo - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Counterexample Driven Quantifier Instantiations with Applic..:

Tamir, Orr ; Taube, Marcelo ; McMillan, Kenneth L....
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1878-1904 , 2023

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

2

Modularity for decidability of deductive verification with ..:

Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L....
ACM SIGPLAN Notices. 53 (2018) 4 - p. 662-677 , 2018

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

3

Modularity for decidability of deductive verification with ..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L.... - p. 662-677 , 2018

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

4

Modularity for Decidability of Deductive Verification with ..:

Marcelo Taube ; Giuliano Losa ; Kenneth L. McMillan...
doi:10.5281/zenodo.1218852. , 2018

Link: https://zenodo.org/recor..

5

Modularity for Decidability of Deductive Verification with ..:

Marcelo Taube ; Giuliano Losa ; Kenneth L. McMillan...
doi:10.5281/zenodo.1218852. , 2018

Link: https://zenodo.org/recor..

6

Diphenyl Diselenide Decreases Serum Levels of Total Cholest..:

de Bem, Andreza Fabro ; de Lima Portella, Rafael ; Colpo, Elisângela...
Basic & Clinical Pharmacology & Toxicology. 105 (2009) 1 - p. 17-23 , 2009

Link: https://doi.org/10.1111/..

7

Numerical analysis of tube arrangements with one, two, and ..:

Cunegatto, Eduardo Henrique Taube ; Gotardo, Marcelo ; Zinani, Flávia Schwarz Franceschini
International Journal of Heat and Mass Transfer. 208 (2023) - p. 124080 , 2023

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

8

Osteoarthrosis: Analyze of the Molar Bite Force, Thickness ..:

Mariah Acioli Righetti ; Oswaldo Luiz Stamato Taube ; Marcelo Palinkas...
https://pmr.lf1.cuni.cz/121/2/0087/. , 2020

Link: https://doi.org/10.14712..

1-8