Extensions to unification grammar for the description of programming languages MA Moshier University of Michigan, 1988 | 67 | 1988 |

On the bitopological nature of Stone duality A Jung, MA Moshier School of Computer Science Research Reports-University of Birmingham CSR 13, 2006 | 52 | 2006 |

Multi lingual sequent calculus and coherent spaces A Jung, M Kegelmann, MA Moshier Fundamenta Informaticae 37 (4), 369-412, 1999 | 48 | 1999 |

Topological duality and lattice expansions, I: A topological construction of canonical extensions MA Moshier, P Jipsen Algebra universalis 71, 109-126, 2014 | 44* | 2014 |

Stably compact spaces and closed relations A Jung, M Kegelmann, MA Moshier Electronic Notes in Theoretical Computer Science 45, 209-231, 2001 | 33 | 2001 |

Presenting dcpos and dcpo algebras A Jung, MA Moshier, S Vickers Electronic Notes in Theoretical Computer Science 218, 209-229, 2008 | 28 | 2008 |

Concurrent Kleene algebra with tests and branching automata P Jipsen, MA Moshier Journal of Logical and Algebraic Methods in Programming 85 (4), 637-652, 2016 | 26 | 2016 |

Multi-type display calculus for semi De Morgan logic G Greco, F Liang, MA Moshier, A Palmigiano Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 25 | 2017 |

Topological duality and lattice expansions, II: Lattice expansions with quasioperators MA Moshier, P Jipsen Algebra universalis 71, 221-234, 2014 | 20 | 2014 |

A logic for probabilities in semantics MA Moshier, A Jung Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual …, 2002 | 20 | 2002 |

Multi lingual sequent calculus and coherent spaces A Jung, M Kegelmann, MA Moshier Electronic Notes in Theoretical Computer Science 6, 203-220, 1997 | 15 | 1997 |

HVAC component model libraries for equation-based solvers EF Sowell, MA Moshier Proceedings of the Building Simulation 95, 1995 | 14 | 1995 |

Sequential real number computation and recursive relations JR Marcial‐Romero, MA Moshier Mathematical Logic Quarterly 54 (5), 492-507, 2008 | 13 | 2008 |

On the relationship between compact regularity and Gentzen's cut rule MA Moshier Theoretical computer science 316 (1-3), 113-136, 2004 | 13 | 2004 |

Is HPSG featureless or unprincipled? MA Moshier Linguistics and Philosophy, 669-695, 1997 | 13 | 1997 |

A relational category of formal contexts MA Moshier Preprint, 2016 | 11 | 2016 |

The domain of set-valued feature structures MA Moshier, CJ Pollard Linguistics and Philosophy 17, 607-631, 1994 | 11 | 1994 |

Using SPARK as a Solver for Modelica M Wetter, P Haves, MA Moshier, EF Sowell Lawrence Berkeley National Lab.(LBNL), Berkeley, CA (United States), 2008 | 9 | 2008 |

Graph-theoretic methods in simulation using SPARK FE Sowell, MA Moshier, P Haves, D Curtil Proceedings of the High Performance Computing Symposium of the Advanced …, 2004 | 9 | 2004 |

The US/EKS: Advances in the SPANK-based Energy Kernel System F Buhl, E Erdem, JM Nataf, FC Winkelmann, M Moshier, E Sowell | 9 | 1990 |