Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes |
Contextuality in Distributed Systems. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Relational Algebraic Approach to the Real Numbers the Additive Group. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | José Gil-Férez, Peter Jipsen, Siddhartha Lodhia |
The Structure of Locally Integral Involutive Po-monoids and Semirings. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Michael Winter 0001 |
A General Method for Representing Sets of Relations by Vectors. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen, Jas Semrl |
Representable and Diagonally Representable Weakening Relation Algebras. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arman Shamsgovara |
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hopkins, Hans Leiß |
Normal Forms for Elements of the *-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Jesse Sigal |
Duoidally Enriched Freyd Categories. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück, Luigi Santocanale, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
On the Complexity of Kleene Algebra with Domain. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Lewis-Smith, Jas Semrl |
Implication Algebras and Implication Semigroups of Binary Relations. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Kappé |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy F. Alm, David Andrews, Michael Levet |
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Anton Varonka |
What Else is Undecidable About Loops? |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Dependences Between Domain Constructions in Heterogeneous Relation Algebras. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Towards a Theory of Conversion Relations for Prefixed Units of Measure. |
RAMiCS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann, Nicolas Robinson-O'Brien |
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kangfeng Ye, Simon Foster 0001, Jim Woodcock 0001 |
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Calk, Eric Goubault, Philippe Malbos |
Abstract Strategies and Coherence. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Naaf |
Computing Least and Greatest Fixed Points in Absorptive Semirings. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chad Nester |
A Variety Theorem for Relational Universal Algebra. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
Skew Metrics Valued in Sugihara Semigroups. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lucas, Matteo Mio |
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Change of Base Using Arrow Categories. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Callum Bannister, Peter Höfner, Georg Struth |
Effect Algebras, Girard Quantales and Complementation in Separation Logic. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Natanael Alpay, Peter Jipsen, Melissa Sugimoto |
Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi |
Time Warps, from Algebra to Algorithms. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Second-Order Properties of Undirected Graphs. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Valentin Goranko, Peter Jipsen |
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
Deciding FO-definability of Regular Languages. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia |
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wesley Fussner, William Javier Zuluaga Botero |
Some Modal and Temporal Translations of Generalized Basic Logic. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Marquès |
Polyadic Spaces and Profinite Monoids. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Isolated Sublattices and Their Application to Counting Closure Operators. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
Relational Computation of Sets of Relations. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Mitja Kulczynski |
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Matteo Bianchi 0001 |
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Relational Sums and Splittings in Categories of L-fuzzy Relations. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Fernandez, Luidnel Maignan, Antoine Spicher |
Accretive Computation of Global Transformations. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Peter W. O'Hearn, Tony Hoare |
On Algebra of Program Correctness and Incorrectness. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jas Semrl |
Domain Range Semigroups and Finite Representations. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous, Jurriaan Rot, Jana Wagemaker |
On Tools for Completeness of Kleene Algebra with Hypotheses. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amina Doumane |
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stepan L. Kuznetsov |
Relational Models for the Lambek Calculus with Intersection and Unit. |
RAMiCS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Jonathan Julián Huerta y Munive, Georg Struth |
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller |
The θ-Join as a Join with θ. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann, Bernhard Möller |
A Hierarchy of Algebras for Boolean Subsets. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa |
Preorders, Partial Semigroups, and Quantales. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia |
Counting and Computing Join-Endomorphisms in Lattices. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa |
Generating Posets Beyond N. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0002 |
A Unary Semigroup Trace Algebra. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Natanael Alpay, Peter Jipsen |
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
The Involutive Quantaloid of Completely Distributive Lattices. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Maruyama |
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Peter Jipsen, Michael Winter 0001 (eds.) |
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
Expressive Power and Succinctness of the Positive Calculus of Relations. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida |
Stone Dualities from Opfibrations. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, James Baxter 0001 |
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda |
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Galatos, Peter Jipsen |
Weakening Relation Algebras and FL2-algebras. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Sharpness in the Fuzzy World. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Simon Knäuer |
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Dubut |
Bisimilarity of Diagrams. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. |
RAMiCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky |
Finite Relation Algebras with Normal Representations. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos |
On the Computational Complexity of Non-dictatorial Aggregation. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Alexander, Peter Jipsen, Nadiya Upegui |
On the Structure of Generalized Effect Algebras and Separation Algebras. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robin Hirsch |
Decidability of Equational Theories for Subsignatures of Relation Algebra. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
T-Norm Based Operations in Arrow Categories. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Ertel, Roland Glück, Bernhard Möller |
Algebraic Derivation of Until Rules and Application to Timer Verification. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maria João Gouveia, Luigi Santocanale |
MIX \star -Autonomous Quantales and the Continuous Weak Order. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hans Leiß, Mark Hopkins |
C-Dioids and \mu -Continuous Chomsky-Algebras. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Callum Bannister, Peter Höfner |
False Failure: Creating Failure Models for Separation Logic. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Norihiro Tsumagari |
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Kangfeng Ye, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Walter Guttmann, Stef Joosten (eds.) |
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Distances, Norms and Error Propagation in Idempotent Semirings. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pranab Kumar Ghosh, Michael Winter 0001 |
A Modal and Relevance Logic for Qualitative Spatial Reasoning. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Malvin Gattinger, Jana Wagemaker |
Towards an Analysis of Dynamic Gossip in Netkat. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Gianfranco Rossi |
A Set Solver for Finite Set Relation Algebra. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bonzio, Michele Pra Baldi, Diego Valota |
Counting Finite Linearly Ordered Involutive Bisemilattices. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hopkins, Hans Leiß |
Coequalizers and Tensor Products for Continuous Idempotent Semirings. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Matvey Soloviev |
Coalgebraic Tools for Randomness-Conserving Protocols. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Julián Huerta y Munive, Georg Struth |
Verifying Hybrid Systems with Modal Kleene Algebra. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Sindoni, Katsuhiko Sano, John G. Stell |
Axiomatizing Discrete Spatial Relations. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Krivulin |
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Insa Stucke |
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steven Schäfer, Gert Smolka |
Tower Induction and Up-to Techniques for CCS with Fixed Points. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Puerto Aubel |
Concurrency-Preserving Minimal Process Representation. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sebastiaan J. C. Joosten |
Parsing and Printing of and with Triples. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen |
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Stone Relation Algebras. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Type-n Arrow Categories. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|