Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 7 resultaten
Zoekresultaten
-
2024
Correctly communicating software: Distributed, asynchronous, and beyond
van den Heuvel, B., 2024, [Groningen]: University of Groningen. 262 blz.Onderzoeksoutput
Open AccessBestand193 Downloads (Pure) -
Management of Self-Admitted Technical Debt using Machine Learning
Li, Y., 2024, [Groningen]: University of Groningen. 266 blz.Onderzoeksoutput
Open AccessBestand336 Downloads (Pure) -
On the Expressivity of Typed Concurrent Calculi
Paulus, J., 2024, [Groningen]: University of Groningen. 214 blz.Onderzoeksoutput
Open AccessBestand87 Downloads (Pure) -
2023
Minimal structures for program analysis and verification
Arslanagić, A., 2023, [Groningen]: University of Groningen. 255 blz.Onderzoeksoutput
Open AccessBestand222 Downloads (Pure) -
2020
Session-based concurrency: between operational and declarative views
Cano Grijalba, M., 2020, [Groningen]: University of Groningen. 400 blz.Onderzoeksoutput
Open AccessBestand530 Downloads (Pure) -
2005
Design and verification of lock-free parallel algorithms
Gao, H., 2005, s.n.. 165 blz.Onderzoeksoutput
Open AccessBestand2001 Downloads (Pure) -
2003Open AccessBestand2293 Downloads (Pure)