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

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

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

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

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

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 | 34 | 2016 |

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

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 | 29 | 2017 |

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

A logic for probabilities in semantics MA Moshier, A Jung International Workshop on Computer Science Logic, 216-232, 2002 | 20 | 2002 |

Exact and strongly exact filters MA Moshier, A Pultr, AL Suarez Applied Categorical Structures 28 (6), 907-920, 2020 | 15 | 2020 |

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

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

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

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

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

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

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

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 | 10 | 2004 |

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