Ritter, Fabian
209  Ergebnisse:
?
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
 
?
 
?
3

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
 
?
6

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
 
?
12

Contributors:

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

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

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