skip to main | skip to sidebar

Martin Sulzmann's Blog

Saturday, 12 April 2008

Martin Sulzmann has a blog

This blog is mainly about my professional activaties in computer science. Check out my youtube account for what I'm up to in my spare time.
Posted by Martin Sulzmann at 11:48 No comments:
Newer Posts Home
Subscribe to: Posts (Atom)

Labels

  • actor
  • boosting
  • communicating FA
  • concurrency
  • constraint handling rules
  • control
  • coordination
  • dsl
  • erlang
  • formal methods
  • guards
  • haskell
  • join
  • join pattern
  • library
  • linear temporal logic
  • model-checking
  • multi-set rewrite rules
  • parallelism
  • partial derivatives
  • partial evaluation
  • proofs are programs
  • regular expressions
  • software transactional memory
  • types
  • uppaal

Blog Archive

  • ►  2013 (1)
    • ►  January (1)
  • ►  2012 (4)
    • ►  September (1)
    • ►  July (1)
    • ►  June (2)
  • ►  2011 (1)
    • ►  October (1)
  • ►  2010 (1)
    • ►  April (1)
  • ►  2009 (1)
    • ►  November (1)
  • ▼  2008 (17)
    • ►  December (5)
    • ►  November (8)
    • ►  October (2)
    • ►  May (1)
    • ▼  April (1)
      • Martin Sulzmann has a blog