Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/RelMiCS/ramics2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/RelMiCS/AameriW11,
author = {Bahar Aameri and
Michael Winter},
editor = {Harrie C. M. de Swart},
title = {A First-Order Calculus for Allegories},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {74--91},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_8},
doi = {10.1007/978-3-642-21070-9\_8},
timestamp = {Wed, 15 Dec 2021 11:04:20 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/AameriW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Berghammer11,
author = {Rudolf Berghammer},
editor = {Harrie C. M. de Swart},
title = {Relational Modelling and Solution of Chessboard Problems},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {92--108},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_9},
doi = {10.1007/978-3-642-21070-9\_9},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Berghammer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Berghammer11a,
author = {Rudolf Berghammer},
editor = {Harrie C. M. de Swart},
title = {A Functional, Successor List Based Version of Warshall's Algorithm
with Applications},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {109--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_10},
doi = {10.1007/978-3-642-21070-9\_10},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Berghammer11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Brandt11,
author = {Felix Brandt},
editor = {Harrie C. M. de Swart},
title = {From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set
- (Invited Tutorial)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {50--51},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_4},
doi = {10.1007/978-3-642-21070-9\_4},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Brandt11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DangH11,
author = {Han{-}Hing Dang and
Peter H{\"{o}}fner},
editor = {Harrie C. M. de Swart},
title = {Variable Side Conditions and Greatest Relations in Algebraic Separation
Logic},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {125--140},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_11},
doi = {10.1007/978-3-642-21070-9\_11},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DangH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DuntschO11,
author = {Ivo D{\"{u}}ntsch and
Ewa Orlowska},
editor = {Harrie C. M. de Swart},
title = {An Algebraic Approach to Preference Relations},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {141--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_12},
doi = {10.1007/978-3-642-21070-9\_12},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DuntschO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FosterSW11,
author = {Simon Foster and
Georg Struth and
Tjark Weber},
editor = {Harrie C. M. de Swart},
title = {Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- (Invited Tutorial)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {52--67},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_5},
doi = {10.1007/978-3-642-21070-9\_5},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FosterSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FurusawaN11,
author = {Hitoshi Furusawa and
Koki Nishizawa},
editor = {Harrie C. M. de Swart},
title = {Relational and Multirelational Representation Theorems for Complete
Idempotent Left Semirings},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {148--163},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_13},
doi = {10.1007/978-3-642-21070-9\_13},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FurusawaN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Gluck11,
author = {Roland Gl{\"{u}}ck},
editor = {Harrie C. M. de Swart},
title = {Using Bisimulations for Optimality Problems in Model Refinement},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {164--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_14},
doi = {10.1007/978-3-642-21070-9\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Gluck11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GurneyG11,
author = {Alexander J. T. Gurney and
Timothy G. Griffin},
editor = {Harrie C. M. de Swart},
title = {Pathfinding through Congruences},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {180--195},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_15},
doi = {10.1007/978-3-642-21070-9\_15},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/GurneyG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Guttmann11,
author = {Walter Guttmann},
editor = {Harrie C. M. de Swart},
title = {Towards a Typed Omega Algebra},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {196--211},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_16},
doi = {10.1007/978-3-642-21070-9\_16},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Guttmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerM11,
author = {Peter H{\"{o}}fner and
Annabelle McIver},
editor = {Harrie C. M. de Swart},
title = {Towards an Algebra of Routing Tables},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {212--229},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_17},
doi = {10.1007/978-3-642-21070-9\_17},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/HofnerM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kahl11,
author = {Wolfram Kahl},
editor = {Harrie C. M. de Swart},
title = {Dependently-Typed Formalisation of Relation-Algebraic Abstractions},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {230--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_18},
doi = {10.1007/978-3-642-21070-9\_18},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Kahl11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/LaurenceS11,
author = {Michael R. Laurence and
Georg Struth},
editor = {Harrie C. M. de Swart},
title = {Omega Algebras and Regular Equations},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {248--263},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_19},
doi = {10.1007/978-3-642-21070-9\_19},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/LaurenceS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/McIverRS11,
author = {Annabelle McIver and
Tahiry M. Rabehaja and
Georg Struth},
editor = {Harrie C. M. de Swart},
title = {On Probabilistic Kleene Algebras, Automata and Simulations},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {264--279},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_20},
doi = {10.1007/978-3-642-21070-9\_20},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/McIverRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MichelsJWJ11,
author = {Gerard Michels and
Sebastiaan J. C. Joosten and
Jaap van der Woude and
Stef Joosten},
editor = {Harrie C. M. de Swart},
title = {Ampersand - Applying Relation Algebra in Practice},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {280--293},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_21},
doi = {10.1007/978-3-642-21070-9\_21},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MichelsJWJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Moller11,
author = {Bernhard M{\"{o}}ller},
editor = {Harrie C. M. de Swart},
title = {Building Structured Theories - (Invited Paper)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {1--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_1},
doi = {10.1007/978-3-642-21070-9\_1},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Moller11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MuO11,
author = {Shin{-}Cheng Mu and
Jos{\'{e}} Nuno Oliveira},
editor = {Harrie C. M. de Swart},
title = {Programming from Galois Connections},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {294--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_22},
doi = {10.1007/978-3-642-21070-9\_22},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MuO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/RusinowskaBSG11,
author = {Agnieszka Rusinowska and
Rudolf Berghammer and
Harrie C. M. de Swart and
Michel Grabisch},
editor = {Harrie C. M. de Swart},
title = {Social Networks: Prestige, Centrality, and Influence - (Invited Paper)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {22--39},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_2},
doi = {10.1007/978-3-642-21070-9\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/RusinowskaBSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Saari11,
author = {Donald G. Saari},
editor = {Harrie C. M. de Swart},
title = {Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems
- (Invited Tutorial)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {68--69},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_6},
doi = {10.1007/978-3-642-21070-9\_6},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Saari11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Schmidt11,
author = {Renate A. Schmidt},
editor = {Harrie C. M. de Swart},
title = {Synthesising Terminating Tableau Calculi for Relational Logics - (Invited
Paper)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {40--49},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_3},
doi = {10.1007/978-3-642-21070-9\_3},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Schmidt11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Schmidt11a,
author = {Gunther Schmidt},
editor = {Harrie C. M. de Swart},
title = {Constructions around Partialities},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {314--330},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_23},
doi = {10.1007/978-3-642-21070-9\_23},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Schmidt11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/SiddavaatamW11,
author = {Prathap Siddavaatam and
Michael Winter},
editor = {Harrie C. M. de Swart},
title = {Splitting Atoms in Relational Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {331--346},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_24},
doi = {10.1007/978-3-642-21070-9\_24},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/SiddavaatamW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Winter11,
author = {Michael Winter},
editor = {Harrie C. M. de Swart},
title = {Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial)},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {70--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_7},
doi = {10.1007/978-3-642-21070-9\_7},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Winter11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/WoudeJ11,
author = {Jaap van der Woude and
Stef Joosten},
editor = {Harrie C. M. de Swart},
title = {Relational Heterogeneity Relaxed by Subtyping},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {347--361},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_25},
doi = {10.1007/978-3-642-21070-9\_25},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/WoudeJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2011,
editor = {Harrie C. M. de Swart},
title = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9},
doi = {10.1007/978-3-642-21070-9},
isbn = {978-3-642-21069-3},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-07 12:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
