MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Helmut Veith" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Succinct Representation and Leaf Languages
by Helmut Veith — 1996 — Proc. 11th IEEE Conference on Computational Complexity
…@(email omitted); with subject 'help eccc' Succinct Representation and Leaf Languages Helmut Veith Institut fur…
Cited by 5 (0 self) – Add To MetaCart

Securing Symmetric Watermarking Schemes Against Protocol Attacks
by Stefan Katzenbeisser, Helmut Veith — 2002 — in Proceedings of the SPIE vol. 4675, Security and Watermarking of Multimedia Contents IV, 2002
…Securing Symmetric Watermarking Schemes Against Protocol Attacks Stefan Katzenbeisser and Helmut…
Cited by 1 (1 self) – Add To MetaCart

Watermarking Schemes Provably Secure against Copy and Ambiguity Attacks
by Andre Adelsbach, Saarbr Ucken, Stefan Katzenbeisser, Helmut Veith — 2003
… Katzenbeisser Institute for Information Systems Vienna University of Technology skatzenbeisser@(email omitted); Helmut…
Cited by 10 (2 self) – Add To MetaCart

Linear Time Datalog and Branching Time Logic
by Georg Gottlob, Erich Grädel, Helmut Veith
… Grundlagen der Informatik RWTH Aachen, Germany graedel@(email omitted); Helmut Veith School…
Cited by 5 (2 self) – Add To MetaCart

Generalized Quantifiers in Logic Programs
by Thomas Eiter, Georg Gottlob, Helmut Veith — 1997 — In Proceedings of the ESSLLI Workshop on Generalized Quantifiers, Aix-en-Provence
…Generalized Quantifiers in Logic Programs ? Thomas Eiter 1 Georg Gottlob 2 Helmut Veith 2;3 1…
Cited by 5 (3 self) – Add To MetaCart

Provably Secure Authentication of Digital Media through Invertible Watermarks
by Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith — 2004
… , Stefan Katzenbeisser 2 , Christian Schallhart 2 , Helmut Veith 2 1 Otto-von-Guericke Universität…
Cited by 1 (0 self) – Add To MetaCart

On the Undecidability of Some Sub-classical First-order Logics
by Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
… y Christian Fermuller Helmut Veith Technische Universitat Wien, Austria y Universita di…
Cited by 1 (1 self) – Add To MetaCart

Datalog LITE: Temporal versus deductive reasoning in verification
by Georg Gottlob, Erich Grädel, Helmut Veith — 1998
… + Helmut Veith Technical Report DBAI-TR-98-22, December 1998 http://www.dbai.tuwien.ac.at/staff/veith…
Cited by 9 (1 self) – Add To MetaCart

Complexity of t-Tautologies
by Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith — Ann. Pure Appl. Logic
…Complexity of t-Tautologies Matthias Baaz , Petr H'ajek y , Franco Montagna z , Helmut…
Cited by 7 (3 self) – Add To MetaCart

Modular Logic Programming and Generalized Quantifiers
by Thomas Eiter, Georg Gottlob, Helmut Veith — 1997 — PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR-97), NUMBER 1265 IN LNCS
…Modular Logic Programming and Generalized Quantifiers ? Thomas Eiter + Georg Gottlob Helmut…
Cited by 20 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB