Searching for authors named "Helmut Veith" – sorted by Relevance.
-
Succinct Representation and Leaf Languages
- @(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
- 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
- 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
- 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
- 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
- , 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
- 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
- + 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
- 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
- Modular Logic Programming and Generalized Quantifiers ? Thomas Eiter + Georg Gottlob Helmut
- Cited by 20 (9 self) – Add To MetaCart

