Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mathieu Alain, Jules Desharnais |
Relations as Images. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja |
Algebra for Quantitative Information Flow. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Buchholtz, Edward Morehouse |
Varieties of Cubical Sets. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Damien Pous, Georg Struth (eds.) |
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller |
Non-associative Kleene Algebra and Temporal Logics. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
Embeddability into Relational Lattices Is Undecidable. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Krivulin |
Complete Solution of an Optimization Problem in Tropical Semifield. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Algebraic Investigation of Connected Components. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stef Joosten |
Software Development in Relation Algebra with Ampersand. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos |
Aggregation of Votes with Multiple Positions on Each Issue. |
RAMiCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Krivulin |
Solving a Tropical Optimization Problem via Matrix Sparsification. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Peter Höfner, Insa Stucke |
Tool-Based Verification of a Relational Vertex Coloring Program. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Insa Stucke, Michael Winter 0001 |
Investigating and Computing Bipartitions with Algebraic Means. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Towards a Probabilistic Interpretation of Game Logic. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abdelaali Hassaïne, Souad Mecheter, Ali Jaoua |
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kim Solin |
Encoding and Decoding in Refinement Algebra. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller |
Towards Antichain Algebra. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dylan Killingbeck, Milene Santos Teixeira, Michael Winter 0001 |
Relations among Matrices over a Semiring. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, David J. Pym |
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari |
Relational Formalisations of Compositions and Liftings of Multirelations. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Hodkinson |
Connections between Relation Algebras and Cylindric Algebras. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Musa Al-hassy, Wolfram Kahl |
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Roocks |
Decomposition of Database Preferences on the Power Set of the Domain. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Stefanescu |
A Quest for Kleene Algebra in 2 Dimensions. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Zielinski 0002 |
Generalised N-ary Relations and Allegories. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück, Florian Benedikt Krebs |
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stef M. M. Joosten, Sebastiaan J. C. Joosten |
Type Checking by Domain Analysis in Ampersand. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Konstantinos Mamouras, Alexandra Silva 0001 |
Completeness and Incompleteness in Nominal Kleene Algebra. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili 0001 |
Relational Mathematics for Relative Correctness. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Walter Guttmann |
Closure, Properties and Closure Properties of Multirelations. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Nuno Oliveira |
Metaphorisms in Programming. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl, Michael Winter 0001, José Nuno Oliveira (eds.) |
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin E. Müller |
Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Evans Adjei, Wazed Chowdhury, Michael Winter 0001 |
L-Fuzzy Databases in Arrow Categories. |
RAMiCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001, Ethan C. Jackson, Yuki Fujiwara |
Type-2 Fuzzy Controllers in Arrow Categories. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen |
Concurrent Kleene Algebra with Tests. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jason Jaskolka, Ridha Khédri, Qinglei Zhang |
Endowing Concurrent Kleene Algebra with Communication Actions. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Litak, Szabolcs Mikulás, Jan Hidders |
Relational Lattices. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
Algebras for Program Correctness in Isabelle/HOL. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John G. Stell, Renate A. Schmidt, David E. Rydeheard |
Tableau Development for a Bi-intuitionistic Tense Logic. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Laurence, Georg Struth |
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Brunet, Damien Pous |
Kleene Algebra with Converse. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Nikita Danilenko, Henning Schnoor |
Relation Algebra and RelView Applied to Approval Voting. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Peter Höfner, Insa Stucke |
Automated Verification of Relational While-Programs. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | S. Arun-Kumar 0004, Divyanshu Bagga |
Parameterised Bisimulations: Some Applications. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Ochremiak |
Nominal Sets over Algebraic Atoms. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Extended Conscriptions Algebraically. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Nuno Oliveira |
Preparing Relational Algebra for "Just Good Enough" Hardware. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Winter 0001 |
Higher-Order Arrow Categories. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller |
Fuzzifying Modal Algebra. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gunther Schmidt 0001 |
A Point-Free Relation-Algebraic Approach to General Topology. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Han-Hing Dang |
Abstract Dynamic Frames. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takeo Uramoto |
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ali Mili 0001, Marcelo F. Frias, Ali Jaoua |
On Faults and Faulty Programs. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Krivulin |
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn |
Developments in Concurrent Kleene Algebra. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manas Ghosh, Michael Winter 0001 |
Refinements of the RCC25 Composition Table. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Eric Müller |
Towards Finding Maximal Subrelations with Desired Properties. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Hitoshi Furusawa |
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Frittella, Luigi Santocanale |
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
A Mechanised Abstract Formalisation of Concept Lattices. |
RAMiCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Koki Nishizawa, Hitoshi Furusawa |
Relational Representation Theorem for Powerset Quantales. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John G. Stell |
Relations on Hypergraphs. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francis Atampore, Michael Winter 0001 |
Relation Algebras, Matrices, and Multi-valued Decision Diagrams. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Düntsch, Sanjiang Li |
Extension Properties of Boolean Contact Algebras. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Patrick Roocks |
An Algebra of Layered Complex Preferences. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Towards Certifiable Implementation of Graph Transformation via Relation Categories. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Two Observations in Dioid Based Model Refinement. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jipsen |
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha |
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sahar Ahmad Ismail, Ali Jaoua |
Incremental Pseudo Rectangular Organization of Information Relative to a Domain. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Laurence, Georg Struth |
On Completeness of Omega-Regular Algebras. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Han-Hing Dang, Bernhard Möller |
Transitive Separation Logic. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin |
Towards an Algebra for Real-Time Programs. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Walter Guttmann |
Unifying Lazy and Strict Computations. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gunther Schmidt 0001 |
Relational Concepts in Social Choice. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Sebastian Fischer 0001 |
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Alexandra Silva 0001 |
Left-Handed Completeness. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl, Timothy G. Griffin (eds.) |
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Danilenko |
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara |
Continuous Relations and Richardson's Theorem. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Furusawa, Yasuo Kawahara |
Point Axioms in Dedekind Categories. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Bernhard Möller, Andreas Zelend |
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nelma Moreira, David Pereira, Simão Melo de Sousa |
Deciding Regular Expressions (In-)Equivalence in Coq. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alasdair Armstrong, Georg Struth |
Automated Reasoning in Higher-Order Regular Algebra. |
RAMiCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Donald G. Saari |
Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems - (Invited Tutorial). |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Han-Hing Dang, Peter Höfner |
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
A Functional, Successor List Based Version of Warshall's Algorithm with Applications. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Harrie C. M. de Swart (eds.) |
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten |
Ampersand - Applying Relation Algebra in Practice. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, José Nuno Oliveira |
Programming from Galois Connections. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
Relational Modelling and Solution of Chessboard Problems. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Annabelle McIver |
Towards an Algebra of Routing Tables. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Felix Brandt 0001 |
From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set - (Invited Tutorial). |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Laurence, Georg Struth |
Omega Algebras and Regular Equations. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Using Bisimulations for Optimality Problems in Model Refinement. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prathap Siddavaatam, Michael Winter 0001 |
Splitting Atoms in Relational Algebras. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch |
Social Networks: Prestige, Centrality, and Influence - (Invited Paper). |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|