Name Card

Full name Familienname, Vorname
Petcu, Dana
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovasznai, Gergely ; Gajdár, Krisztián ; Kovacs, Laura Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network OptimizationInproceedings Konferenzbeitrag 15-Apr-2020
2Damestani, David ; Kovacs, Laura ; Suda, Martin Superposition Reasoning about Quantified Bitvector FormulasInproceedings Konferenzbeitrag 15-Apr-2020
3Kovacs, Laura Symbol Elimination in Program AnalysisKonferenzbeitrag Inproceedings2012
4Tran, H ; Holmes, T ; Oberortner, E ; Mulo, E ; Cavalcante, Agnieszka Betkowska ; Serafinski, J ; Tluczek, M ; Birukou, A ; Daniel, F ; Silveira, P ; Zdun, U ; Dustdar, S An End-to-End Framework for Business Compliance in Process-Driven SOAsKonferenzbeitrag Inproceedings 2011