University of Lübeck

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
University of Lübeck
 
Country Land
Germany
 
Type of Organization Organisationstyp
Education
Established Gegründet
1964
 
ROR ID
ISNI
0000 0001 0057 2672
URL
 

OrgUnit's Publications


Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ceravolo, Paolo ; Catarci, Tiziana ; Console, Marco ; Cudre-Mauroux, Philippe ; Groppe, Sven ; Hose, Katja ; Pokorný, Jaroslav ; Romero, Oscar ; Wrembel, Robert moduli: A Disaggregated Data Management Architecture for Data-Intensive WorkflowsArticle Artikel2024
2Kovács, Laura Symbolic Computation in Automated Program ReasoningInproceedings Konferenzbeitrag3-Mar-2023
3Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019