Piotrek Hofman's homepage

List of my publications

• A Few New Facts about the EKG Sequence work with Marcin Pilipczuk
  
• Relating timed and register automata work with Sławomir Lasota and Diego Figueira
• Decidability of branching bisimulation on normed commutative context-free processes work with Sławomir Lasota and Wojciech Czerwiński

Current work A slightly modified presentation from GAMES 2011.

Other links

• Automata seminar in wiki
• Automata seminar page
• The best web RPG comics
• ssdnm

In polish

Materiały dla studentów

contact

Faculty of Mathematics, Informatics and Mechanics at the University of Warsaw.
room 5830
mail: ph209519@mimuw.edu.pl

My calendar