Ritter, Fabian
205  Ergebnisse:
Personensuche X
?
1

Explainable Port Mapping Inference with Sparse Performance ..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Ritter, Fabian ; Hack, Sebastian - p. 317-330 , 2024
 
?
 
?
4

Quantification of ferry traffic in the Canary Islands (Spai..:

Ritter, Fabian
J. Cetacean Res. Manage..  11 (2023)  2 - p. 139-146 , 2023
 
?
5

Collisions of sailing vessels with cetaceans worldwide: Fir..:

Ritter, Fabian
J. Cetacean Res. Manage..  12 (2023)  1 - p. 119-127 , 2023
 
?
7

AnICA: analyzing inconsistencies in microarchitectural code..:

Ritter, Fabian ; Hack, Sebastian
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1-29 , 2022
 
?
8

PICO : A Presburger In-bounds Check Optimization for Com..:

Jung, Tina ; Ritter, Fabian ; Hack, Sebastian
ACM Transactions on Architecture and Code Optimization (TACO).  18 (2021)  4 - p. 1-27 , 2021
 
?
10

PICO: A Presburger In-bounds Check Optimization for Compile..:

Jung, Tina ; Ritter, Fabian ; Hack, Sebastian
ACM Transactions on Architecture and Code Optimization.  18 (2021)  4 - p. 1-27 , 2021
 
?
11

PMEvo: portable inference of port mappings for out-of-order..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Ritter, Fabian ; Hack, Sebastian - p. 608-622 , 2020
 
?
13

Contributors:

, In: World Seas: An Environmental Evaluation,
 
?
14

Collisions of Vessels With Cetaceans—The Underestimated Thr..:

, In: World Seas: An Environmental Evaluation,
Ritter, Fabian ; Panigada, Simone - p. 531-547 , 2019
 
?
15

Daisy - Framework for Analysis and Optimization of Numerica..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Darulova, Eva ; Izycheva, Anastasiia ; Nasir, Fariha... - p. 270-287 , 2018
 
1-15