Publication
-
Ambiguity Detection: Scaling to Scannerless In Proceedings
January 2011
-
Parse Forest Diagnostics with Dr. Ambiguity In Proceedings
January 2011
-
January 2011
-
Dynamic Consistency in Process Algebra: From Paradigm to ACP Article
Science of Computer Programming, 76(8), 711-735.January 2011
-
Simulated avalanche formation around streamers in an overvolted air gap Article
IEEE Transactions on Plasma Science, 39(11), 2256-2257.January 2011
-
A peculiar streamer morphology created by a complex voltage pulse Article
IEEE Transactions on Plasma Science, 39(11), 2216-2217.January 2011
-
A modular-coordinated control for continuous Petri nets In Proceedings
January 2011 -
Logic of Information Flow on Communication Channels Article
Lecture Notes in Computer ScienceJanuary 2011