BibSonomy :: author  ::

bookmarks

publications

(7)

• UNICORE Deployment Within the DEISA Supercomputing Grid Infrastructure.
  Luca Clementi and Michael Rambadt and Roger Menday and Johannes Reetz Euro-Par Workshops 264-273 (2006)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• Superflick: a natural and efficient technique for long-distance object placement on digital tables.
  Adrian Reetz and Carl Gutwin and Tadeusz Stach and Miguel A. Nacenta and Sriram Subramanian Graphics Interface 163-170 (2006)
  to dblp by dblp on 2007-02-14 00:00:00
  | URL | BibTeX  
• Formal Specification in VHDL for Hardware Verification.
  Ralf Reetz and Klaus Schneider and Thomas Kropf DATE 257- (1998)
  to dblp by dblp on 2003-09-17 00:00:00
  | URL | BibTeX  
• CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall.
  Jens-Steffen Gutmann and Bernhard Nebel and Christian Reetz AMS 345-352 (2000)
  to dblp by dblp on 2002-08-29 00:00:00
  | URL | BibTeX  
• Deep Embedding VHDL.
  Ralf Reetz TPHOLs 277-292 (1995)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Simplifying Deep Embedding: A Formalised Code Generator.
  Ralf Reetz and Thomas Kropf TPHOLs 378-390 (1994)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.
  Ralf Reetz and Thomas Kropf Formal Methods in System Design 7 73-99 (1995)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX