Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rubiano, Thomas
99  Ergebnisse:
Personensuche X
?
1

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 263-275 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Distributing and Parallelizing Non-canonical Loops:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 1-24 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Certifying Complexity Analysis:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
hal-04083105.  , 2023
Link: https://hal.science/hal-..
 
?
4

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1.  , 2023
Link: https://hal.science/hal-..
 
?
5

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1.  , 2023
Link: https://hal.science/hal-..
 
?
6

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2206.08760.  , 2023
Link: https://hal.science/hal-..
 
?
7

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1.  , 2023
Link: https://hal.science/hal-..
 
?
8

pymwp: MWP analysis on C code in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/0.4.1.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://zenodo.org/record/7938758.  , 2023
Link: https://zenodo.org/recor..
 
?
10

pymwp: MWP analysis on C code in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/profile-latest.  , 2023
Link: https://zenodo.org/recor..
 
?
11

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2107.00097.  , 2023
Link: https://hal.science/hal-..
 
?
12

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1.  , 2023
Link: https://hal.science/hal-..
 
?
13

pymwp: MWP analysis in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/0.4.2.  , 2023
Link: https://zenodo.org/recor..
 
?
14

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1.  , 2023
Link: https://hal.science/hal-..
 
?
15

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2107.00097.  , 2023
Link: https://hal.science/hal-..
 
1-15