Enforcing an Algebraic Constraint in Extended Kalman Filter DesignCalise, Anthony J. · Journal of Guidance, Control, and Dynamics · 2017

Symmetries and Groups in Contemporary Physics || EXTENDED GRIESS ALGEBRAS, CONFORMAL DESIGNS AND MATSUO-NORTON TRACE FORMULAEBai, Chengming; Gazeau, Jean-Pierre; Ge, Mo-Lin · 2013

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation and Control Conference and Exhibit - Hilton Head, South Carolina ()] AIAA Guidance, Navigation and Control Conference and Exhibit - Enforcing an Algebraic Constraint in Extended Kalman Filter DesignCalise, Anthony · 2007

[ACM Press the 2016 Annual Symposium - Austin, Texas, USA (2016.10.16-2016.10.19)] Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts - CHI PLAY Companion '16 - Initial Design Implications for Early Algebra GamesTorres, Ruth; Toups, Zachary O.; Wiburg, Karin; Chamberlin, Barbara; Gomez, Cynthia; Ozer, Mehmet Ali · 2016

[IEEE 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID) - Hyderabad, India (2017.1.7-2017.1.11)] 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID) - Improved Path Recovery in Pseudo Functional Path Delay Test Using Extended Value AlgebraBiswas, Prasenjit; Walker, D. M. H. · 2017

Normal design algebraWalter Guttmann; Bernhard Möller · 2010

Imperative abstractions for functional actionsWalter Guttmann · 2010

Fixpoints for general correctnessWalter Guttmann · 2011

Algebras for iteration and infinite computationsWalter Guttmann · 2012

Typing theorems of omega algebraGuttmann, Walter · The Journal of Logic and Algebraic Programming · 2012

Multirelations with infinite computationsGuttmann, Walter · Journal of Logical and Algebraic Methods in Programming · 2014

Ueber gummöse LymphomeGuttmann, Walter · DMW - Deutsche Medizinische Wochenschrift · 1894

Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013

GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013

Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013

Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013

Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013

Computational contractsScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2015

EditorialBergstra, Jan · Science of Computer Programming · 2013

ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013