Name Card
Full name
Familienname, Vorname
Ida, Tetsuo
Own Publications
Eigene Publikationen
(All)
All
Conference Papers
Show/Hide filters
Author
1
Birukou, A
1
Cavalcante, Agnieszka Betkowska
1
Daniel, F
1
Dustdar, S
1
Holmes, T
1
Kovacs, Laura
1
Mulo, E
1
Oberortner, E
1
Serafinski, J
1
Silveira, P
.
next >
Subject
1
Business compliance
1
domain-specific languages
1
event processing
1
governance dashboard.
1
interpolants
1
loop bounds
1
loop invariants
1
model-driven development
1
process-driven SOA
1
program verification
.
next >
Date issued
2
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Schreck, Pascal
; Ida, Tetsuo
; Kovacs, Laura
Foreword - Formalization of geometry, automated and interactive geometric reasoning
Artikel
Article
2019
Contributing Publications
Mitbeteiligte Publikationen
(All)
All
Conference Papers
Show/Hide filters
Author
1
Birukou, A
1
Cavalcante, Agnieszka Betkowska
1
Daniel, F
1
Dustdar, S
1
Holmes, T
1
Kovacs, Laura
1
Mulo, E
1
Oberortner, E
1
Serafinski, J
1
Silveira, P
.
next >
Subject
1
Business compliance
1
domain-specific languages
1
event processing
1
governance dashboard.
1
interpolants
1
loop bounds
1
loop invariants
1
model-driven development
1
process-driven SOA
1
program verification
.
next >
Date issued
2
2000 - 2024
Close filters
Results 1-2 of 2 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Kovacs, Laura
Symbol Elimination in Program Analysis
Konferenzbeitrag
Inproceedings
2012
2
Tran, 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 SOAs
Konferenzbeitrag
Inproceedings
2011