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.
No comments:
Post a Comment
Newer Post
Home
Subscribe to:
Post Comments (Atom)
Labels
actor
(2)
boosting
(2)
communicating FA
(2)
concurrency
(11)
constraint handling rules
(3)
control
(1)
coordination
(2)
dsl
(1)
erlang
(1)
formal methods
(1)
guards
(1)
haskell
(8)
join
(5)
join pattern
(1)
library
(2)
linear temporal logic
(2)
model-checking
(1)
multi-set rewrite rules
(4)
parallelism
(3)
partial derivatives
(3)
partial evaluation
(2)
proofs are programs
(1)
regular expressions
(5)
software transactional memory
(4)
types
(1)
uppaal
(2)
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
No comments:
Post a Comment