Lorch, Robert
235  Ergebnisse:
Personensuche X
?
1

Formal Methods in Requirements Engineering: Survey and Futu..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Lorch, Robert ; Meng, Baoluo ; Siu, Kit... - p. 88-99 , 2024
 
?
2

CRV: Automated Cyber-Resiliency Reasoning for System Design..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Larraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa... - p. 209-220 , 2023
 
?
 
?
6

Effects of audio headings on learning:

Chen, Hung-Tao ; Lorch, Robert F.
Journal of Experimental Psychology: Applied.  24 (2018)  2 - p. 207-221 , 2018
 
?
10

Communicating headings and preview sentences in text and sp..:

Lorch, Robert F. ; Chen, Hung-Tao ; Lemarié, Julie
Journal of Experimental Psychology: Applied.  18 (2012)  3 - p. 265-276 , 2012
 
?
 
1-15