BibSonomy :: author  ::

bookmarks

publications

(47)

• Stochastic models
  {Daniel P.} Heyman (1990)
  to Operations_Research Stochastischer_Prozess Stochastisches_Modell by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Using Security Patterns to Combine Security Metrics.
  Thomas Heyman and Riccardo Scandariato and Christophe Huygens and Wouter Joosen ARES 1156-1163 (2008)
  to dblp by dblp on 2008-05-11 00:00:00
  | URL | BibTeX  
• Is there really a foreign ownership wage premium?: Evidence from matched employer-employee data
  Fredrik Heyman and Fredrik Sj{\"o}holm and Patrik Gustavsson Tingvall Journal of International Economics 73 355--376 (2007)
  to FDI by smicha on 2008-04-22 15:17:45
  | URL | BibTeX  
• Rubbing and tapping for precise and rapid selection on touch-screen displays.
  Alex Olwal and Steven Feiner and Susanna Heyman CHI 295-304 (2008)
  to dblp by dblp on 2008-04-08 00:00:00
  | URL | BibTeX  
• Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
  Roy Armoni and Limor Fix and Ranan Fraer and Tamir Heyman and Moshe Y. Vardi and Yakir Vizel and Yael Zbar ASP-DAC 304-309 (2007)
  to dblp by dblp on 2007-12-02 00:00:00
  | URL | BibTeX  
• Non-Linear Acoustic Concealed Weapons Detection.
  Anjani Achanta and Mark McKenna and Joseph Heyman and Kevin Rudd and Mark Hinders and Peter J. Costianes AIPR 21-27 (2005)
  to dblp by dblp on 2007-05-23 00:00:00
  | URL | BibTeX  
• Russian Protection Rackets and the Appropriation of Law and Order
  Caroline Humphrey States and Illegal Practices 199-232 (1999)
  to PoliticalAnthropology by rosag on 2007-04-02 22:38:26
  | BibTeX  
• Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
  Limor Fix and Orna Grumberg and Amnon Heyman and Tamir Heyman and Assaf Schuster Int. J. Found. Comput. Sci. 18 45-62 (2007)
  to dblp by dblp on 2007-02-26 00:00:00
  | URL | BibTeX  
• A work-efficient distributed algorithm for reachability analysis.
  Orna Grumberg and Tamir Heyman and Assaf Schuster Formal Methods in System Design 29 157-175 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX  
• Improving Intrusion Detection through Alert Verification.
  Thomas Heyman and Bart De Win and Christophe Huygens and Wouter Joosen WOSIS 207-216 (2006)
  to dblp by dblp on 2006-09-19 00:00:00
  | URL | BibTeX