BibSonomy :: author  ::

bookmarks

publications

(77)

• Interpolation in fuzzy logic.
  Matthias Baaz and Helmut Veith Arch. Math. Log. 38 461-489 (1999)
  to dblp by dblp on 2008-07-15 00:00:00
  | URL | BibTeX  
• Jakstab: A Static Analysis Platform for Binaries.
  Johannes Kinder and Helmut Veith CAV 423-427 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
  Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith CAV 209-213 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• A General Method to Determine the Expression Complexity of Database Query Languages.
  Helmut Veith Grundlagen von Datenbanken 134-137 (1998)
  to dblp by dblp on 2008-06-10 00:00:00
  | URL | BibTeX  
• Internationalisierung des Kapitals und Gewerkschaften : Situation, Position, Aktion
  {Horst} Veith (1980)
  to Gewerkschaft Multinationales_Unternehmen by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.
  Edmund M. Clarke and Muralidhar Talupur and Helmut Veith TACAS 33-47 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Spontaneous Group Learning in Ambient Learning Environments.
  Markus Bick and Achim Jughardt and Jan M. Pawlowski and Patrick Veith I3E (2) 460-468 (2007)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A prototyping environment for control-oriented HW/SW systems using state-charts, activity-charts and FPGA's.
  Klaus Buchenrieder and Christian Veith EURO-DAC 60-65 (1994)
  to dblp by dblp on 2008-04-16 00:00:00
  | URL | BibTeX  
• Software transformations to improve malware detection.
  Mihai Christodorescu and Somesh Jha and Johannes Kinder and Stefan Katzenbeisser and Helmut Veith Journal in Computer Virology 3 253-265 (2007)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• Expert Recommender: Designing for a Network Organization.
  Tim Reichling and Michael Veith and Volker Wulf Computer Supported Cooperative Work 16 431-465 (2007)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX