Franz Weitl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2015
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2010 | SEFM | Structured Counterexamples for the Temporal Description Logic ALCCTL. | Franz Weitl, Shin Nakajima, Burkhard Freitag |
| 2009 | DocEng | Logic-based verification of technical documentation. | Christian Schnberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag |
| 2004 | ER | Checking Semantic Integrity Constraints on Integrated Web Documents. | Franz Weitl, Burkhard Freitag |
| 2004 | GI | Datenqualitt durch inhaltsbezogene Referenzierung. | Franz Weitl, Burkhard Freitag |