Lutz, Marin
392  Ergebnisse:
Personensuche X
?
 
?
8

DHCAL with minimal absorber: measurements with positrons:

Freund, B. ; Neubüser, C. ; Repond, J....
Journal of Instrumentation.  11 (2016)  5 - p. P05008-P05008 , 2016
 
?
10

A Simple Loopcheck for Intuitionistic K:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
 
?
11

Intuitionistic S4 is decidable:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
12

Progress Towards Extended Cycle Life Si-based Anodes: Inves..:

Lutz, Diana M. ; McCarthy, Alison H. ; King, Steven T....
Journal of The Electrochemical Society.  169 (2022)  9 - p. 090501 , 2022
 
?
 
1-15