Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RAMiCS"( http://dblp.L3S.de/Venues/RAMiCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/RelMiCS

Publication years (Num. hits)
2011 (26) 2012 (24) 2014 (27) 2015 (24) 2017 (20) 2018 (23) 2020 (21) 2021 (30) 2023 (18)
Publication types (Num. hits)
inproceedings(205) proceedings(8)
Venues (Conferences, Journals, ...)
RAMiCS(213)
Authors
Michael Winter 0001(22) Georg Struth(15) Rudolf Berghammer(14) Bernhard Möller(12) Peter Jipsen(11) Walter Guttmann(11) Roland Glück(9) Peter Höfner(8) Wolfram Kahl(8) Hitoshi Furusawa(7) Luigi Santocanale(7) Jules Desharnais(6) Koki Nishizawa(6) Simon Foster 0001(5) Ali Jaoua(4) Insa Stucke(4) More (+10 of total 219)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 213 publication records. Showing 213 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Simon Foster 0001, Georg Struth, Tjark Weber Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernhard Möller Building Structured Theories - (Invited Paper). Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Winter 0001 Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gunther Schmidt 0001 Constructions around Partialities. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hitoshi Furusawa, Koki Nishizawa Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Annabelle McIver, Tahiry M. Rabehaja, Georg Struth On Probabilistic Kleene Algebras, Automata and Simulations. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivo Düntsch, Ewa Orlowska An Algebraic Approach to Preference Relations. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bahar Aameri, Michael Winter 0001 A First-Order Calculus for Allegories. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Walter Guttmann Towards a Typed Omega Algebra. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander J. T. Gurney, Timothy G. Griffin Pathfinding through Congruences. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfram Kahl Dependently-Typed Formalisation of Relation-Algebraic Abstractions. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaap van der Woude, Stef Joosten Relational Heterogeneity Relaxed by Subtyping. Search on Bibsonomy RAMiCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #213 of 213 (100 per page; Change: )
Pages: [<<][1][2][3]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license