Search dblp for Publications

export results for "stream:streams/journals/lites:"

 download as .bib file

@article{DBLP:journals/lites/DavisC19,
  author    = {Robert I. Davis and
               Liliana Cucu{-}Grosjean},
  title     = {A Survey of Probabilistic Timing Analysis Techniques for Real-Time
               Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {03:1--03:60},
  year      = {2019},
  url       = {https://doi.org/10.4230/LITES-v006-i001-a003},
  doi       = {10.4230/LITES-v006-i001-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/DavisC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/DavisC19a,
  author    = {Robert I. Davis and
               Liliana Cucu{-}Grosjean},
  title     = {A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time
               Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {04:1--04:53},
  year      = {2019},
  url       = {https://doi.org/10.4230/LITES-v006-i001-a004},
  doi       = {10.4230/LITES-v006-i001-a004},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/DavisC19a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/DellabaniCBB19,
  author    = {Mahieddine Dellabani and
               Jacques Combaz and
               Saddek Bensalem and
               Marius Bozga},
  title     = {Local Planning Semantics: {A} Semantics for Distributed Real-Time
               Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {01:1--01:27},
  year      = {2019},
  url       = {https://doi.org/10.4230/LITES-v006-i001-a001},
  doi       = {10.4230/LITES-v006-i001-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/DellabaniCBB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/OrrGALB19,
  author    = {James Orr and
               Christopher D. Gill and
               Kunal Agrawal and
               Jing Li and
               Sanjoy K. Baruah},
  title     = {Elastic Scheduling for Parallel Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {05:1--05:14},
  year      = {2019},
  url       = {https://doi.org/10.4230/LITES-v006-i001-a005},
  doi       = {10.4230/LITES-v006-i001-a005},
  timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lites/OrrGALB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/RaymondMPJHCAB19,
  author    = {Pascal Raymond and
               Claire Maiza and
               Catherine Parent{-}Vigouroux and
               Erwan Jahier and
               Nicolas Halbwachs and
               Fabienne Carrier and
               Mihail Asavoae and
               R{\'{e}}my Boutonnet},
  title     = {Improving {WCET} Evaluation using Linear Relation Analysis},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {02:1--02:28},
  year      = {2019},
  url       = {https://doi.org/10.4230/LITES-v006-i001-a002},
  doi       = {10.4230/LITES-v006-i001-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/RaymondMPJHCAB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/AlahmadG18,
  author    = {Bader Alahmad and
               Sathish Gopalakrishnan},
  title     = {Risk-Aware Scheduling of Dual Criticality Job Systems Using Demand
               Distributions},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {01:1--01:30},
  year      = {2018},
  url       = {https://doi.org/10.4230/LITES-v005-i001-a001},
  doi       = {10.4230/LITES-v005-i001-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/AlahmadG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/BletsasAHCN18,
  author    = {Konstantinos Bletsas and
               Neil C. Audsley and
               Wen{-}Hung Huang and
               Jian{-}Jia Chen and
               Geoffrey Nelissen},
  title     = {Errata for Three Papers {(2004-05)} on Fixed-Priority Scheduling with
               Self-Suspensions},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {02:1--02:20},
  year      = {2018},
  url       = {https://doi.org/10.4230/LITES-v005-i001-a002},
  doi       = {10.4230/LITES-v005-i001-a002},
  timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/BletsasAHCN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/BurlyaevFG18,
  author    = {Dmitry Burlyaev and
               Pascal Fradet and
               Alain Girault},
  title     = {A Static Analysis for the Minimization of Voters in Fault-Tolerant
               Circuits},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {04:1--04:26},
  year      = {2018},
  url       = {https://doi.org/10.4230/LITES-v005-i001-a004},
  doi       = {10.4230/LITES-v005-i001-a004},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/BurlyaevFG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Reineke18,
  author    = {Jan Reineke},
  title     = {The Semantic Foundations and a Landscape of Cache-Persistence Analyses},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {5},
  number    = {1},
  pages     = {03:1--03:52},
  year      = {2018},
  url       = {https://doi.org/10.4230/LITES-v005-i001-a003},
  doi       = {10.4230/LITES-v005-i001-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Reineke18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/AfsharBBN17,
  author    = {Sara Afshar and
               Moris Behnam and
               Reinder J. Bril and
               Thomas Nolte},
  title     = {Per Processor Spin-Based Protocols for Multiprocessor Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {03:1--03:30},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i002-a003},
  doi       = {10.4230/LITES-v004-i002-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/AfsharBBN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/ChenB17,
  author    = {Jian{-}Jia Chen and
               Bj{\"{o}}rn B. Brandenburg},
  title     = {A Note on the Period Enforcer Algorithm for Self-Suspending Tasks},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {01:1--01:22},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i001-a001},
  doi       = {10.4230/LITES-v004-i001-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/ChenB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/HermannsKN17,
  author    = {Holger Hermanns and
               Jan Krc{\'{a}}l and
               Gilles Nies},
  title     = {How Is Your Satellite Doing? Battery Kinetics with Recharging and
               Uncertainty},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {04:1--04:28},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i001-a004},
  doi       = {10.4230/LITES-v004-i001-a004},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/HermannsKN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Kluge17,
  author    = {Florian Kluge},
  title     = {Utility-Based Scheduling of (m, k)-firm Real-Time Tasks - New Empirical
               Results},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {02:1--02:25},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i001-a002},
  doi       = {10.4230/LITES-v004-i001-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Kluge17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/KlugeRU17,
  author    = {Florian Kluge and
               Christine Rochange and
               Theo Ungerer},
  title     = {EMSBench: Benchmark and Testbed for Reactive Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {02:1--02:23},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i002-a002},
  doi       = {10.4230/LITES-v004-i002-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/KlugeRU17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/LiuGRNGM17,
  author    = {Si Liu and
               Jatin Ganhotra and
               Muntasir Raihan Rahman and
               Son Nguyen and
               Indranil Gupta and
               Jos{\'{e}} Meseguer},
  title     = {Quantitative Analysis of Consistency in NoSQL Key-Value Stores},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {03:1--03:26},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i001-a003},
  doi       = {10.4230/LITES-v004-i001-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/LiuGRNGM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/MendisAI17,
  author    = {Hashan R. Mendis and
               Neil C. Audsley and
               Leandro Soares Indrusiak},
  title     = {Dynamic and Static Task Allocation for Hard Real-Time Video Stream
               Decoding on NoCs},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {01:1--01:25},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i002-a001},
  doi       = {10.4230/LITES-v004-i002-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/MendisAI17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/RozierRB17,
  author    = {Eric William Davis Rozier and
               Kristin Y. Rozier and
               Ulya Bayram},
  title     = {Characterizing Data Dependence Constraints for Dynamic Reliability
               Using n-Queens Attack Domains},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {4},
  number    = {1},
  pages     = {05:1--05:26},
  year      = {2017},
  url       = {https://doi.org/10.4230/LITES-v004-i001-a005},
  doi       = {10.4230/LITES-v004-i001-a005},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/RozierRB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/GoossensR16,
  author    = {Jo{\"{e}}l Goossens and
               Pascal Richard},
  title     = {Optimal Scheduling of Periodic Gang Tasks},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {04:1--04:18},
  year      = {2016},
  url       = {https://doi.org/10.4230/LITES-v003-i001-a004},
  doi       = {10.4230/LITES-v003-i001-a004},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/GoossensR16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/HoubenH16,
  author    = {Christina Houben and
               Sebastian Houben},
  title     = {Programming Language Constructs Supporting Fault Tolerance},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {01:1--01:20},
  year      = {2016},
  url       = {https://doi.org/10.4230/LITES-v003-i001-a001},
  doi       = {10.4230/LITES-v003-i001-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/HoubenH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/LvGRW016,
  author    = {Mingsong Lv and
               Nan Guan and
               Jan Reineke and
               Reinhard Wilhelm and
               Wang Yi},
  title     = {A Survey on Static Cache Analysis for Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {05:1--05:48},
  year      = {2016},
  url       = {https://doi.org/10.4230/LITES-v003-i001-a005},
  doi       = {10.4230/LITES-v003-i001-a005},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/LvGRW016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/MoyHBM16,
  author    = {Matthieu Moy and
               Claude Helmstetter and
               Tayeb Bouhadiba and
               Florence Maraninchi},
  title     = {Modeling Power Consumption and Temperature in {TLM} Models},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {03:1--03:29},
  year      = {2016},
  url       = {https://doi.org/10.4230/LITES-v003-i001-a003},
  doi       = {10.4230/LITES-v003-i001-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/MoyHBM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Pathan16,
  author    = {Risat Mahmud Pathan},
  title     = {Real-Time Scheduling on Uni- and Multiprocessors based on Priority
               Promotions},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {3},
  number    = {1},
  pages     = {02:1--02:29},
  year      = {2016},
  url       = {https://doi.org/10.4230/LITES-v003-i001-a002},
  doi       = {10.4230/LITES-v003-i001-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Pathan16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/CarlePSL15,
  author    = {Thomas Carle and
               Dumitru Potop{-}Butucaru and
               Yves Sorel and
               David Lesens},
  title     = {From Dataflow Specification to Multiprocessor Partitioned Time-triggered
               Real-time Implementation},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {2},
  number    = {2},
  pages     = {01:1--01:30},
  year      = {2015},
  url       = {https://doi.org/10.4230/LITES-v002-i002-a001},
  doi       = {10.4230/LITES-v002-i002-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/CarlePSL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Mallach15,
  author    = {Sven Mallach},
  title     = {More General Optimal Offset Assignment},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {02:1--02:18},
  year      = {2015},
  url       = {https://doi.org/10.4230/LITES-v002-i001-a002},
  doi       = {10.4230/LITES-v002-i001-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Mallach15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/MezzettiZVAQC15,
  author    = {Enrico Mezzetti and
               Marco Ziccardi and
               Tullio Vardanega and
               Jaume Abella and
               Eduardo Qui{\~{n}}ones and
               Francisco J. Cazorla},
  title     = {Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {2},
  number    = {1},
  pages     = {01:1--01:10},
  year      = {2015},
  url       = {https://doi.org/10.4230/LITES-v002-i001-a001},
  doi       = {10.4230/LITES-v002-i001-a001},
  timestamp = {Tue, 18 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/MezzettiZVAQC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Brandenburg14,
  author    = {Bj{\"{o}}rn Bernhard Brandenburg},
  title     = {Blocking Optimality in Distributed Real-Time Locking Protocols},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {01:1--01:22},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i002-a001},
  doi       = {10.4230/LITES-v001-i002-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Brandenburg14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Burns14,
  author    = {Alan Burns},
  title     = {Foreword},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {00:1--00:2},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i001-a000},
  doi       = {10.4230/LITES-v001-i001-a000},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Burns14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/GuoB14,
  author    = {Zhishan Guo and
               Sanjoy K. Baruah},
  title     = {Implementing Mixed-criticality Systems Upon a Preemptive Varying-speed
               Processor},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {03:1--03:19},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i002-a003},
  doi       = {10.4230/LITES-v001-i002-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/GuoB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Helmstetter14,
  author    = {Claude Helmstetter},
  title     = {TLM.open: a SystemC/TLM Frontend for the {CADP} Verification Toolbox},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {02:1--02:18},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i001-a002},
  doi       = {10.4230/LITES-v001-i001-a002},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Helmstetter14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/LunnissAD14,
  author    = {Will Lunniss and
               Sebastian Altmeyer and
               Robert I. Davis},
  title     = {A Comparison between Fixed Priority and {EDF} Scheduling accounting
               for Cache Related Pre-emption Delays},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {01:1--01:24},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i001-a001},
  doi       = {10.4230/LITES-v001-i001-a001},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/LunnissAD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Reineke14,
  author    = {Jan Reineke},
  title     = {Randomized Caches Considered Harmful in Hard Real-Time Systems},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {1},
  pages     = {03:1--03:13},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i001-a003},
  doi       = {10.4230/LITES-v001-i001-a003},
  timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lites/Reineke14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/TomaC14,
  author    = {Anas Toma and
               Jian{-}Jia Chen},
  title     = {Computation Offloading for Frame-Based Real-Time Tasks under Given
               Server Response Time Guarantees},
  journal   = {Leibniz Trans. Embed. Syst.},
  volume    = {1},
  number    = {2},
  pages     = {02:1--02:21},
  year      = {2014},
  url       = {https://doi.org/10.4230/LITES-v001-i002-a002},
  doi       = {10.4230/LITES-v001-i002-a002},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lites/TomaC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics