Mai Gehrke - RankMe

63 papers A* 3B 7C 1Journal 47Unranked 5

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Substitution Principle and semidirect products. Math. Struct. Comput. Sci. Célia Borlido, Mai Gehrke
2022	J	`jnl`	A duality theoretic view on limits of finite structures: Extended version. Log. Methods Comput. Sci. Mai Gehrke, Tomas Jakl, Luca Reggio
2022	J	`jnl`	Topological duality for distributive lattices, and applications. CoRR Mai Gehrke, Sam van Gool
2021	C	`ed.`	Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
2021	J	`jnl`	Substitution Principle and semidirect products. CoRR Célia Borlido, Mai Gehrke
2020	J	`jnl`	A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. CoRR Mai Gehrke, Tomas Jakl, Luca Reggio
2020	B	`conf`	A Duality Theoretic View on Limits of Finite Structures. FoSSaCS Mai Gehrke, Tomas Jakl, Luca Reggio
2020	J	`jnl`	A duality theoretic view on limits of finite structures: Extended version. CoRR Mai Gehrke, Tomas Jakl, Luca Reggio
2020	J	`jnl`	Quantifiers on languages and codensity monads. Math. Struct. Comput. Sci. Mai Gehrke, Daniela Petrisan, Luca Reggio
2019	J	`jnl`	A duality theoretic view on limits of finite structures. CoRR Mai Gehrke, Tomas Jakl, Luca Reggio
2018	J	`jnl`	A note on powers of Boolean spaces with internal semigroups. CoRR Célia Borlido, Mai Gehrke
2018	J	`jnl`	Difference hierarchies and duality with an application to formal languages. CoRR Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
2017	A*	`conf`	Quantifiers on languages and codensity monads. LICS Mai Gehrke, Daniela Petrisan, Luca Reggio
2017	J	`jnl`	Quantifiers on languages and codensity monads. CoRR Mai Gehrke, Daniela Petrisan, Luca Reggio
2017	B	`conf`	Stone Duality and the Substitution Principle. CSL Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs
2017	J	`jnl`	Stone duality for languages and complexity. ACM SIGLOG News Mai Gehrke, Andreas Krebs
2016	A*	`conf`	Duality in Computer Science. LICS Mai Gehrke
2016	A*	`conf`	The Schützenberger Product for Syntactic Spaces. ICALP Mai Gehrke, Daniela Petrisan, Luca Reggio
2016	J	`jnl`	The Schützenberger product for syntactic spaces. CoRR Mai Gehrke, Daniela Petrisan, Luca Reggio
2016	J	`jnl`	Ultrafilters on words for a fragment of logic. Theor. Comput. Sci. Mai Gehrke, Andreas Krebs, Jean-Éric Pin
2015	J	`jnl`	Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen
2014	J	`jnl`	Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions. Order Mai Gehrke, Samuel J. van Gool
2014	—	`conf`	From Ultrafilters on Words to the Expressive Power of a Fragment of Logic. DCFS Mai Gehrke, Andreas Krebs, Jean-Éric Pin
2014	J	`jnl`	Relational semantics for full linear logic. J. Appl. Log. Dion Coumans, Mai Gehrke, Lorijn van Rooijen
2013	J	`jnl`	Duality in Computer Science (Dagstuhl Seminar 13311). Dagstuhl Reports Mai Gehrke, Jean-Eric Pin, Victor L. Selivanov, Dieter Spreen
2013	J	`jnl`	Stone duality, topological algebra, and recognition. CoRR Mai Gehrke
2013	J	`jnl`	Δ1-completions of a Poset. Order Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2012	J	`jnl`	Generalized Kripke semantics for the Lambek-Grishin calculus. Log. J. IGPL Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen
2012	—	`conf`	Loader and Urzyczyn Are Logically Related. ICALP (2) Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
2011	J	`jnl`	Canonical extensions and canonicity via dcpo presentations. Theor. Comput. Sci. Mai Gehrke, Jacob Vosmaer
2011	B	`conf`	Duality and Recognition. MFCS Mai Gehrke
2011	J	`jnl`	Finitely generated free Heyting algebras via Birkhoff duality and coalgebra Log. Methods Comput. Sci. Nick Bezhanishvili, Mai Gehrke
2010	—	`conf`	A Topological Approach to Recognition. ICALP (2) Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
2010	J	`jnl`	A view of canonical extension CoRR Mai Gehrke, Jacob Vosmaer
2010	J	`jnl`	Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Log. Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2009	—	`conf`	A View of Canonical Extension. TbiLLC Mai Gehrke, Jacob Vosmaer
2009	J	`jnl`	Canonical extension and canonicity via DCPO presentations CoRR Mai Gehrke, Jacob Vosmaer
2009	B	`conf`	Distributive Lattice-Structured Ontologies. CALCO Hans Bruun, Dion Coumans, Mai Gehrke
2009	B	`conf`	Free Heyting Algebras: Revisited. CALCO Nick Bezhanishvili, Mai Gehrke
2009	B	`conf`	Stone Duality and the Recognisable Languages over an Algebra. CALCO Mai Gehrke
2008	J	`jnl`	Canonical extensions and completions of posets and lattices. Reports Math. Log. Mai Gehrke, Hilary A. Priestley
2008	—	`conf`	Duality and Equational Theory of Regular Languages. ICALP (2) Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
2007	J	`jnl`	Complete Congruences on Topologies and Down-set Lattices. Appl. Categorical Struct. Marcel Erné, Mai Gehrke, Ales Pultr
2007	J	`jnl`	Duality for Double Quasioperator Algebras via their Canonical Extensions. Stud Logica Mai Gehrke, Hilary A. Priestley
2006	J	`jnl`	Generalized Kripke Frames. Stud Logica Mai Gehrke
2006	J	`jnl`	Profinite Completions and Canonical Extensions of Heyting Algebras. Order Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
2005	J	`jnl`	A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Log. Mai Gehrke, Hideo Nagahashi, Yde Venema
2005	J	`jnl`	Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
2005	J	`jnl`	Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. Guram Bezhanishvili, Mai Gehrke
2004	J	`jnl`	Varieties generated by T-norms. Soft Comput. Mai Gehrke, Carol L. Walker, Elbert A. Walker
2003	J	`jnl`	Euclidean Hierarchy in Modal Logic. Stud Logica Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
2003	J	`jnl`	Normal forms and truth tables for fuzzy logics. Fuzzy Sets Syst. Mai Gehrke, Carol L. Walker, Elbert A. Walker
2000	B	`conf`	Some comments on fuzzy normal forms. FUZZ-IEEE Mai Gehrke, Carol L. Walker, Elbert A. Walker
1999	J	`jnl`	A note on negations and nilpotent t-norms. Int. J. Approx. Reason. Mai Gehrke, Carol L. Walker, Elbert A. Walker
1999	J	`jnl`	Averaging operators on the unit interval. Int. J. Intell. Syst. Mai Gehrke, Carol L. Walker, Elbert A. Walker
1999	J	`jnl`	Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones. Int. J. Intell. Syst. Mai Gehrke, Vladik Kreinovich, Bernadette Bouchon-Meunier
1997	J	`jnl`	A Mathematical Setting for Fuzzy Logics. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Mai Gehrke, Carol L. Walker, Elbert A. Walker
1996	J	`jnl`	DeMorgan systems on the unit interval. Int. J. Intell. Syst. Mai Gehrke, Carol L. Walker, Elbert A. Walker
1996	J	`jnl`	Iterating conditionals and symmetric Stone algebras. Discret. Math. Mai Gehrke, Elbert A. Walker
1996	J	`jnl`	Some comments on interval valued fuzzy sets. Int. J. Intell. Syst. Mai Gehrke, Carol L. Walker, Elbert A. Walker
1991	J	`jnl`	The Order Structure of Stone Spaces and the Math. Log. Q. Mai Gehrke
1990	J	`jnl`	Some nonstandard methods applied to distributive lattices. Math. Log. Q. Mai Gehrke, Matt Insall, Klaus Kaiser
1987	J	`jnl`	On the Maximality of Some Conormal Extensions of a Lattice. Math. Log. Q. Mai Gehrke, Klaus Kaiser