More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

15. RAMICS 2015: Braga, Portugal

> Home > Conferences and Workshops > RAMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2015
Wolfram Kahl, Michael Winter, José Nuno Oliveira:
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science 9348, Springer 2015, ISBN 978-3-319-24703-8

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Stefanescu15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Stefanescu15
Gheorghe Stefanescu:
A Quest for Kleene Algebra in 2 Dimensions. 3-26
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Hodkinson15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Hodkinson15
Ian M. Hodkinson:
Connections between Relation Algebras and Cylindric Algebras. 27-42
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Doberkat15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Doberkat15
Ernst-Erich Doberkat:
Towards a Probabilistic Interpretation of Game Logic. 43-47

Theoretical Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/KozenM015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/KozenM015
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and Incompleteness in Nominal Kleene Algebra. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BerghammerG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BerghammerG15
Rudolf Berghammer, Walter Guttmann:
Closure, Properties and Closure Properties of Multirelations. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FurusawaKST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FurusawaKST15
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Relational Formalisations of Compositions and Liftings of Multirelations. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/KillingbeckTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/KillingbeckTW15
Dylan Killingbeck, Milene Santos Teixeira, Michael Winter:
Relations among Matrices over a Semiring. 101-118
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/DahlqvistP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DahlqvistP15
Fredrik Dahlqvist, David J. Pym:
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. 119-135
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Zielinski15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Zielinski15
Bartosz Zielinski:
Generalised N-ary Relations and Allegories. 136-150
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Al-hassyK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Al-hassyK15
Musa Al-hassy, Wolfram Kahl:
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. 151-168

Reasoning about Computations and Programs

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Oliveira15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Oliveira15
José Nuno Oliveira:
Metaphorisms in Programming. 171-190
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/DesharnaisDGFJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DesharnaisDGFJM15
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili:
Relational Mathematics for Relative Correctness. 191-208
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Solin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Solin15
Kim Solin:
Encoding and Decoding in Refinement Algebra. 209-224
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/JoostenJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/JoostenJ15
Stef M. M. Joosten, Sebastiaan J. C. Joosten:
Type Checking by Domain Analysis in Ampersand. 225-240
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/GluckK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/GluckK15
Roland Glück, Florian Benedikt Krebs:
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. 241-256
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BerghammerSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BerghammerSW15
Rudolf Berghammer, Insa Stucke, Michael Winter:
Investigating and Computing Bipartitions with Algebraic Means. 257-274
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BerghammerHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BerghammerHS15
Rudolf Berghammer, Peter Höfner, Insa Stucke:
Tool-Based Verification of a Relational Vertex Coloring Program. 275-292

Applications of Relational and Algebraic Methods

- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/AdjeiCW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AdjeiCW15
Evans Adjei, Wazed Chowdhury, Michael Winter:
L-Fuzzy Databases in Arrow Categories. 295-311
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/HassaineMJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/HassaineMJ15
Abdelaali Hassaïne, Souad Mecheter, Ali Jaoua:
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification. 312-325
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Krivulin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Krivulin15
Nikolai Krivulin:
Solving a Tropical Optimization Problem via Matrix Sparsification. 326-343
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Moller15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Moller15
Bernhard Möller:
Towards Antichain Algebra. 344-361
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Roocks15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Roocks15
Patrick Roocks:
Decomposition of Database Preferences on the Power Set of the Domain. 362-379
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Muller15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Muller15
Martin E. Müller:
Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations. 380-394

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.