Name Card

Full name Familienname, Vorname
Ida, Tetsuo
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schreck, Pascal ; Ida, Tetsuo ; Kovacs, Laura Foreword - Formalization of geometry, automated and interactive geometric reasoningArtikel Article2019

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura Symbol Elimination in Program AnalysisKonferenzbeitrag Inproceedings2012
2Tran, 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