Search results for: Dennis Walter
Lecture Notes in Computer Science > Trustworthy Global Computing > Types to Discipline Interactions > 116-131
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 424-438
IEEE Journal of Solid-State Circuits > 2015 > 50 > 3 > 749 - 762
IEEE Transactions on Circuits and Systems II: Express Briefs > 2013 > 60 > 11 > 741 - 745
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2013 > 21 > 3 > 566 - 570
Autonomous Robots > 2012 > 32 > 3 > 303-331
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 4 > 57-70
Theoretical Computer Science > 2008 > 402 > 2-3 > 172-189