RAMiCS

Keyphrases

Publications

2024

Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a Concurrent Refinement Algebra. RAMiCS (2024)
Cédric de Lacroix, Gregory Chichery, Luigi Santocanale
Lifting Star-Autonomy. RAMiCS (2024)
Thomas Baronner, Henning Basold, Márton Hablicsek
Irrationality of Process Replication for Higher-Dimensional Automata. RAMiCS (2024)
Frimpong Osei, Michael Winter
L-Fuzzy Weak Preference, Preference, and Choice Relations. RAMiCS (2024)
Nikolai Krivulin
Using Matrix Sparsification to Solve Tropical Linear Vector Equations. RAMiCS (2024)
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
On the Structure of Balanced Residuated Partially Ordered Monoids. RAMiCS (2024)
Yoshiki Nakamura
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops. RAMiCS (2024)
Ignacio Bellas Acosta, John G. Stell
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation. RAMiCS (2024)
Cameron Calk, Luigi Santocanale
Complete Congruences of Completely Distributive Lattices. RAMiCS (2024)
Sebastiaan J. C. Joosten, Stef Joosten
Data Migration Under a Changing Schema in Ampersand. RAMiCS (2024)
Stefano Aguzzoli, Matteo Bianchi
Tabular and Pretabular Varieties of MTL-Algebras. RAMiCS (2024)
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
Presenting Interval Pomsets with Interfaces. RAMiCS (2024)
Roland Glück
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems. RAMiCS (2024)
Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver
Cyclic Group Spectra for Some Small Relation Algebras. RAMiCS (2024)
Andrew Craig, Peter Jipsen, Claudette Robinson
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. RAMiCS (2024)

volume 14787, 2024

Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings RAMiCS 14787 (2024)

2023

volume 13896, 2023

Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings RAMiCS 13896 (2023)

2021

volume 13027, 2021

Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS 13027 (2021)