Search dblp for Publications

export results for "toc:db/conf/birthday/schewe2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/0001CSH18,
  author       = {Hui Ma and
                  Zhaojiang Chang and
                  Alexandre Sawczuk da Silva and
                  Sven Hartmann},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {QoS-Aware Web Service Composition Using Graph Databases},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {336--351},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 17:41:25 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/0001CSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ArcainiGR18,
  author       = {Paolo Arcaini and
                  Angelo Gargantini and
                  Elvinia Riccobene},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Closing the gap between the specification and the implementation:
                  the {ASMETA} way},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {242--263},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ArcainiGR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BanachS18,
  author       = {Richard Banach and
                  Wen Su},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Cyberphysical Systems: {A} Behind-the-Scenes Foundational View},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {177--201},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BanachS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BeierleKK18,
  author       = {Christoph Beierle and
                  Steven Kutsch and
                  Gabriele Kern{-}Isberner},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {From Concepts in Non-Monotonic Reasoning to High-Level Implementations
                  Using Abstract State Machines and Functional Programming},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {286--310},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BeierleKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bienemann18,
  author       = {Alexander Bienemann},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Misunderstandings and Their Overwhelming Success},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {330--335},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bienemann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BugaNM18,
  author       = {Andreea Buga and
                  Sorana Tania Nemes and
                  Atif Mashkoor},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Addressing Client Needs for Cloud Computing using Formal Foundations},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {264--285},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BugaNM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DahanayakeT18,
  author       = {Ajantha Dahanayake and
                  Bernhard Thalheim},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Development of Conceptual Models and the Knowledge Background Provided
                  by the Rigor Cycle in Design Science},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {3--28},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DahanayakeT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/FerrarottiTT18,
  author       = {Flavio Ferrarotti and
                  Loredana Tec and
                  Jos{\'{e}} Maria Turull Torres},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Polynomially Bounded Valuations in Higher-Order Logics over Relational
                  Databases},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {92--121},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/FerrarottiTT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GeistKNIZM18,
  author       = {Verena Geist and
                  Felix Kossak and
                  Christine Natschl{\"{a}}ger and
                  Christa Illibauer and
                  Thomas Ziebermayr and
                  Atif Mashkoor},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Hagenberg Business Process Modelling Method - Towards a Homogeneous
                  Framework for Integrating Process, Actor, Dialogue, and Data Models},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {220--241},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GeistKNIZM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HartmannKKLL18,
  author       = {Sven Hartmann and
                  Markus Kirchberg and
                  Henning Koehler and
                  Uwe Leck and
                  Sebastian Link},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Extremal Combinatorics of {SQL} Keys},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {75--91},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HartmannKKLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Hegner18,
  author       = {Stephen J. Hegner},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency
                  for Interactive Transactions},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {122--145},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Hegner18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JacquotM18,
  author       = {Jean{-}Pierre Jacquot and
                  Atif Mashkoor},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {The Role of Validation in Refinement-Based Formal Software Development},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {202--219},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JacquotM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KroppT18,
  author       = {Yannic Ole Kropp and
                  Bernhard Thalheim},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Viewpoint-Oriented Data Management in Collaborative Research Projects},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {146--176},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KroppT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Raab-Dusterhoft18,
  author       = {Antje Raab{-}D{\"{u}}sterh{\"{o}}ft},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Integrating Social Media Information into the Digital Forensic Investigation
                  Process},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {29--43},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Raab-Dusterhoft18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Sali18,
  author       = {Attila Sali},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Recent Developments in Armstrong Codes},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {311--329},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Sali18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Thalheim18,
  author       = {Bernhard Thalheim},
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Normal Models and Their Modelling Matrix},
  booktitle    = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  pages        = {44--74},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Thalheim18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2018schewe,
  editor       = {Atif Mashkoor and
                  Qing Wang and
                  Bernhard Thalheim},
  title        = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays
                  Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  publisher    = {College Publications},
  year         = {2018},
  isbn         = {978-1-84890-276-3},
  timestamp    = {Tue, 24 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2018schewe.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.