researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1997
1998
2000
2001
2002
2003
2004
2005
2006
2008
2009
2011
2012
2014
2015
2017
2018
2020
2021
2023
2024
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
completeness
data-flow
e-science
graph-rewriting
logic
meta-model
programming
refinement
relational algebra
rewriting
rule-based
rules
semantics
social
systematic-approach
termination
Filter by Author
[+]
OR
AND
NOT
1
Ali Jaoua
Ali Mili
Bernhard Möller
Ewa Orlowska
Georg Struth
Gunther Schmidt
Harrie C. M. de Swart
Hitoshi Furusawa
Ivo Düntsch
Jules Desharnais
Koki Nishizawa
Marcelo F. Frias
Michael Winter
Peter Höfner
Peter Jipsen
Roland Glück
Rudolf Berghammer
Walter Guttmann
Wolfram Kahl
Yasuo Kawahara
Filter by Top terms
[+]
OR
AND
NOT
1
algebra
algebraic
algebras
applications
categories
computer
fuzzy
international
kleene
lattices
logic
logics
methods
reasoning
relation
relational
relations
science
theory
using
Theory and Applications of Relational Structures as Knowledge Instruments (RelMiCS)
Editions
Publications
Viewing Publication 1 - 100 from 519
2024
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops
Yoshiki Nakamura 0001
.
RelMiCS 2024
:
207-224
[doi]
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation
Ignacio Bellas Acosta
,
John G. Stell
.
RelMiCS 2024
:
65-82
[doi]
Tabular and Pretabular Varieties of MTL-Algebras
Stefano Aguzzoli
,
Matteo Bianchi 0001
.
RelMiCS 2024
:
1-18
[doi]
Cyclic Group Spectra for Some Small Relation Algebras
Jeremy F. Alm
,
Ashlee Bostic
,
Claire Chenault
,
Kenyon Coleman
,
Chesney Culver
.
RelMiCS 2024
:
19-27
[doi]
Presenting Interval Pomsets with Interfaces
Amazigh Amrane
,
Hugo Bazille
,
Emily Clement
,
Uli Fahrenberg
,
Krzysztof Ziemianski
.
RelMiCS 2024
:
28-45
[doi]
Irrationality of Process Replication for Higher-Dimensional Automata
Thomas Baronner
,
Henning Basold
,
Márton Hablicsek
.
RelMiCS 2024
:
46-64
[doi]
On the Structure of Balanced Residuated Partially Ordered Monoids
Stefano Bonzio
,
José Gil-Férez
,
Peter Jipsen
,
Adam Prenosil
,
Melissa Sugimoto
.
RelMiCS 2024
:
83-100
[doi]
Complete Congruences of Completely Distributive Lattices
Cameron Calk
,
Luigi Santocanale
.
RelMiCS 2024
:
101-118
[doi]
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras
Andrew Craig
,
Peter Jipsen
,
Claudette Robinson
.
RelMiCS 2024
:
156-174
[doi]
Lifting Star-Autonomy
Cédric de Lacroix
,
Gregory Chichery
,
Luigi Santocanale
.
RelMiCS 2024
:
242-260
[doi]
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Uli Fahrenberg
,
Wesley Fussner
,
Roland Glück
, editors,
Volume 14787 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems
Roland Glück
.
RelMiCS 2024
:
119-134
[doi]
Restructuring a Concurrent Refinement Algebra
Ian J. Hayes
,
Larissa A. Meinicke
,
Nasos Evangelou-Oost
.
RelMiCS 2024
:
135-155
[doi]
Data Migration Under a Changing Schema in Ampersand
Sebastiaan J. C. Joosten
,
Stef Joosten
.
RelMiCS 2024
:
175-192
[doi]
Using Matrix Sparsification to Solve Tropical Linear Vector Equations
Nikolai Krivulin
.
RelMiCS 2024
:
193-206
[doi]
L-Fuzzy Weak Preference, Preference, and Choice Relations
Frimpong Osei
,
Michael Winter
.
RelMiCS 2024
:
225-241
[doi]
2023
Relational Algebraic Approach to the Real Numbers the Additive Group
Michael Winter 0001
.
RelMiCS 2023
:
274-292
[doi]
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
Stefano Aguzzoli
,
Matteo Bianchi 0001
.
RelMiCS 2023
:
1-16
[doi]
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Jeremy F. Alm
,
David Andrews
,
Michael Levet
.
RelMiCS 2023
:
17-33
[doi]
A General Method for Representing Sets of Relations by Vectors
Rudolf Berghammer
,
Michael Winter 0001
.
RelMiCS 2023
:
34-51
[doi]
Contextuality in Distributed Systems
Nasos Evangelou-Oost
,
Callum Bannister
,
Ian J. Hayes
.
RelMiCS 2023
:
52-68
[doi]
The Structure of Locally Integral Involutive Po-monoids and Semirings
José Gil-Férez
,
Peter Jipsen
,
Siddhartha Lodhia
.
RelMiCS 2023
:
69-86
[doi]
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Roland Glück
,
Luigi Santocanale
,
Michael Winter 0001
, editors,
Volume 13896 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients
Roland Glück
.
RelMiCS 2023
:
87-104
[doi]
Dependences Between Domain Constructions in Heterogeneous Relation Algebras
Walter Guttmann
.
RelMiCS 2023
:
105-121
[doi]
Duoidally Enriched Freyd Categories
Chris Heunen
,
Jesse Sigal
.
RelMiCS 2023
:
241-257
[doi]
*-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$
Mark Hopkins
,
Hans Leiß
.
RelMiCS 2023
:
122-139
[doi]
Representable and Diagonally Representable Weakening Relation Algebras
Peter Jipsen
,
Jas Semrl
.
RelMiCS 2023
:
140-157
[doi]
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Tobias Kappé
.
RelMiCS 2023
:
158-175
[doi]
What Else is Undecidable About Loops?
Laura Kovács
,
Anton Varonka
.
RelMiCS 2023
:
176-193
[doi]
Implication Algebras and Implication Semigroups of Binary Relations
Andrew Lewis-Smith
,
Jas Semrl
.
RelMiCS 2023
:
194-207
[doi]
On the Complexity of Kleene Algebra with Domain
Igor Sedlár
.
RelMiCS 2023
:
208-223
[doi]
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements
Arman Shamsgovara
.
RelMiCS 2023
:
224-240
[doi]
Towards a Theory of Conversion Relations for Prefixed Units of Measure
Baltasar Trancón-y-Widemann
,
Markus Lepper 0001
.
RelMiCS 2023
:
258-273
[doi]
2021
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
Stefano Aguzzoli
,
Matteo Bianchi 0001
.
RelMiCS 2021
:
1-18
[doi]
Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras
Natanael Alpay
,
Peter Jipsen
,
Melissa Sugimoto
.
RelMiCS 2021
:
19-36
[doi]
Effect Algebras, Girard Quantales and Complementation in Separation Logic
Callum Bannister
,
Peter Höfner
,
Georg Struth
.
RelMiCS 2021
:
37-53
[doi]
Relational Computation of Sets of Relations
Rudolf Berghammer
.
RelMiCS 2021
:
54-71
[doi]
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels
Rudolf Berghammer
,
Mitja Kulczynski
.
RelMiCS 2021
:
72-89
[doi]
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality
Cameron Calk
,
Uli Fahrenberg
,
Christian Johansen
,
Georg Struth
,
Krzysztof Ziemianski
.
RelMiCS 2021
:
90-107
[doi]
Abstract Strategies and Coherence
Cameron Calk
,
Eric Goubault
,
Philippe Malbos
.
RelMiCS 2021
:
108-125
[doi]
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL
Willem Conradie
,
Valentin Goranko
,
Peter Jipsen
.
RelMiCS 2021
:
126-143
[doi]
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety
Amina Doumane
.
RelMiCS 2021
:
144-158
[doi]
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Uli Fahrenberg
,
Mai Gehrke
,
Luigi Santocanale
,
Michael Winter 0001
, editors,
Volume 13027 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
Accretive Computation of Global Transformations
Alexandre Fernandez
,
Luidnel Maignan
,
Antoine Spicher
.
RelMiCS 2021
:
159-175
[doi]
Some Modal and Temporal Translations of Generalized Basic Logic
Wesley Fussner
,
William Javier Zuluaga Botero
.
RelMiCS 2021
:
176-191
[doi]
Isolated Sublattices and Their Application to Counting Closure Operators
Roland Glück
.
RelMiCS 2021
:
192-208
[doi]
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm
Walter Guttmann
,
Nicolas Robinson-O'Brien
.
RelMiCS 2021
:
225-240
[doi]
Second-Order Properties of Undirected Graphs
Walter Guttmann
.
RelMiCS 2021
:
209-224
[doi]
Deciding FO-definability of Regular Languages
Agi Kurucz
,
Vladislav Ryzhikov
,
Yury Savateev
,
Michael Zakharyaschev
.
RelMiCS 2021
:
241-257
[doi]
Relational Models for the Lambek Calculus with Intersection and Unit
Stepan L. Kuznetsov
.
RelMiCS 2021
:
258-274
[doi]
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof
Christophe Lucas
,
Matteo Mio
.
RelMiCS 2021
:
275-291
[doi]
Polyadic Spaces and Profinite Monoids
Jérémie Marquès
.
RelMiCS 2021
:
292-308
[doi]
On Algebra of Program Correctness and Incorrectness
Bernhard Möller
,
Peter W. O'Hearn
,
Tony Hoare
.
RelMiCS 2021
:
325-343
[doi]
Computing Least and Greatest Fixed Points in Absorptive Semirings
Matthias Naaf
.
RelMiCS 2021
:
344-361
[doi]
A Variety Theorem for Relational Universal Algebra
Chad Nester
.
RelMiCS 2021
:
362-377
[doi]
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
Carlos Pinzón
,
Santiago Quintero
,
Sergio Ramírez
,
Frank Valencia
.
RelMiCS 2021
:
413-432
[doi]
On Tools for Completeness of Kleene Algebra with Hypotheses
Damien Pous
,
Jurriaan Rot
,
Jana Wagemaker
.
RelMiCS 2021
:
378-395
[doi]
Skew Metrics Valued in Sugihara Semigroups
Luigi Santocanale
.
RelMiCS 2021
:
396-412
[doi]
Domain Range Semigroups and Finite Representations
Jas Semrl
.
RelMiCS 2021
:
483-498
[doi]
Time Warps, from Algebra to Algorithms
Sam van Gool
,
Adrien Guatto
,
George Metcalfe
,
Simon Santschi
.
RelMiCS 2021
:
309-324
[doi]
Change of Base Using Arrow Categories
Michael Winter
.
RelMiCS 2021
:
448-464
[doi]
Relational Sums and Splittings in Categories of L-fuzzy Relations
Michael Winter
.
RelMiCS 2021
:
433-447
[doi]
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Kangfeng Ye
,
Simon Foster 0001
,
Jim Woodcock
.
RelMiCS 2021
:
465-482
[doi]
2020
Sharpness in the Fuzzy World
Michael Winter 0001
.
RelMiCS 2020
:
318-334
[doi]
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Simon Foster 0001
,
James Baxter
.
RelMiCS 2020
:
100-116
[doi]
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Simon Foster 0001
,
Jonathan Julián Huerta y Munive
,
Georg Struth
.
RelMiCS 2020
:
169-186
[doi]
A Unary Semigroup Trace Algebra
Pedro Ribeiro 0002
.
RelMiCS 2020
:
270-285
[doi]
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
Natanael Alpay
,
Peter Jipsen
.
RelMiCS 2020
:
1-14
[doi]
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
Rudolf Berghammer
.
RelMiCS 2020
:
15-30
[doi]
Hardness of Network Satisfaction for Relation Algebras with Normal Representations
Manuel Bodirsky
,
Simon Knäuer
.
RelMiCS 2020
:
31-46
[doi]
The θ-Join as a Join with θ
Jules Desharnais
,
Bernhard Möller
.
RelMiCS 2020
:
47-64
[doi]
Bisimilarity of Diagrams
Jérémy Dubut
.
RelMiCS 2020
:
65-81
[doi]
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]
Uli Fahrenberg
,
Peter Jipsen
,
Michael Winter 0001
, editors,
Volume 12062 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
Generating Posets Beyond N
Uli Fahrenberg
,
Christian Johansen
,
Georg Struth
,
Ratan Bahadur Thapa
.
RelMiCS 2020
:
82-99
[doi]
2-algebras
Nikolaos Galatos
,
Peter Jipsen
.
RelMiCS 2020
:
117-133
[doi]
A Hierarchy of Algebras for Boolean Subsets
Walter Guttmann
,
Bernhard Möller
.
RelMiCS 2020
:
152-168
[doi]
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
Walter Guttmann
.
RelMiCS 2020
:
134-151
[doi]
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
Yoshihiro Maruyama
.
RelMiCS 2020
:
187-203
[doi]
Expressive Power and Succinctness of the Positive Calculus of Relations
Yoshiki Nakamura
.
RelMiCS 2020
:
204-220
[doi]
Stone Dualities from Opfibrations
Koki Nishizawa
,
Shin-ya Katsumata
,
Yuichi Komorida
.
RelMiCS 2020
:
221-236
[doi]
Preorders, Partial Semigroups, and Quantales
Koki Nishizawa
,
Koji Yasuda
,
Hitoshi Furusawa
.
RelMiCS 2020
:
237-252
[doi]
Counting and Computing Join-Endomorphisms in Lattices
Santiago Quintero
,
Sergio Ramírez
,
Camilo Rueda
,
Frank Valencia
.
RelMiCS 2020
:
253-269
[doi]
The Involutive Quantaloid of Completely Distributive Lattices
Luigi Santocanale
.
RelMiCS 2020
:
286-301
[doi]
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
Lucca Tiemens
,
Dana S. Scott
,
Christoph Benzmüller
,
Miroslav Benda
.
RelMiCS 2020
:
302-317
[doi]
2018
On the Structure of Generalized Effect Algebras and Separation Algebras
Sarah Alexander
,
Peter Jipsen
,
Nadiya Upegui
.
RelMiCS 2018
:
148-165
[doi]
Counting Finite Linearly Ordered Involutive Bisemilattices
Stefano Bonzio
,
Michele Pra Baldi
,
Diego Valota
.
RelMiCS 2018
:
166-183
[doi]
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
Jules Desharnais
,
Walter Guttmann
,
Stef Joosten
, editors,
Volume 11194 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
Algebraic Derivation of Until Rules and Application to Timer Verification
Jessica Ertel
,
Roland Glück
,
Bernhard Möller
.
RelMiCS 2018
:
244-262
[doi]
Distances, Norms and Error Propagation in Idempotent Semirings
Roland Glück
.
RelMiCS 2018
:
53-69
[doi]
MIX \star -Autonomous Quantales and the Continuous Weak Order
Maria João Gouveia
,
Luigi Santocanale
.
RelMiCS 2018
:
184-201
[doi]
Decidability of Equational Theories for Subsignatures of Relation Algebra
Robin Hirsch
.
RelMiCS 2018
:
87-96
[doi]
Coequalizers and Tensor Products for Continuous Idempotent Semirings
Mark Hopkins
,
Hans Leiß
.
RelMiCS 2018
:
37-52
[doi]
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck
Wolfram Kahl
.
RelMiCS 2018
:
366-384
[doi]
Coalgebraic Tools for Randomness-Conserving Protocols
Dexter Kozen
,
Matvey Soloviev
.
RelMiCS 2018
:
298-313
[doi]
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems
Nikolai Krivulin
.
RelMiCS 2018
:
317-332
[doi]
C-Dioids and \mu -Continuous Chomsky-Algebras
Hans Leiß
,
Mark Hopkins
.
RelMiCS 2018
:
21-36
[doi]
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
Koki Nishizawa
,
Norihiro Tsumagari
.
RelMiCS 2018
:
97-112
[doi]
Axiomatizing Discrete Spatial Relations
Giulia Sindoni
,
Katsuhiko Sano
,
John G. Stell
.
RelMiCS 2018
:
113-130
[doi]
Verifying Hybrid Systems with Modal Kleene Algebra
Jonathan Julián Huerta y Munive
,
Georg Struth
.
RelMiCS 2018
:
225-243
[doi]
Sign in
or
sign up
to see more results.