BibTeX records: Matthias Kovatsch

download as .bib file

@inproceedings{DBLP:conf/noms/SchneiderSK22,
  author       = {Ben Schneider and
                  Rute C. Sofia and
                  Matthias Kovatsch},
  title        = {A Proposal for Time-Aware Scheduling in Wireless Industrial IoT Environments},
  booktitle    = {2022 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
                  2022, Budapest, Hungary, April 25-29, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/NOMS54207.2022.9789864},
  doi          = {10.1109/NOMS54207.2022.9789864},
  timestamp    = {Wed, 15 Jun 2022 16:45:18 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/SchneiderSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/HsuXSK21,
  author       = {Hans Hao{-}Hsun Hsu and
                  Jiawen Xu and
                  Ravi Sama and
                  Matthias Kovatsch},
  editor       = {M. Arif Wani and
                  Ishwar K. Sethi and
                  Weisong Shi and
                  Guangzhi Qu and
                  Daniela Stan Raicu and
                  Ruoming Jin},
  title        = {Automated Antenna Testing Using Encoder-Decoder-based Anomaly Detection},
  booktitle    = {20th {IEEE} International Conference on Machine Learning and Applications,
                  {ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
  pages        = {135--142},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICMLA52953.2021.00029},
  doi          = {10.1109/ICMLA52953.2021.00029},
  timestamp    = {Tue, 01 Feb 2022 17:24:07 +0100},
  biburl       = {https://dblp.org/rec/conf/icmla/HsuXSK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/XuKL21a,
  author       = {Jiawen Xu and
                  Matthias Kovatsch and
                  Sergio Lucia},
  title        = {Open Set Recognition for Machinery Fault Diagnosis},
  booktitle    = {19th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2021, Palma de Mallorca, Spain, July 21-23, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/INDIN45523.2021.9557572},
  doi          = {10.1109/INDIN45523.2021.9557572},
  timestamp    = {Mon, 18 Oct 2021 17:08:58 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/XuKL21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13884,
  author       = {Hans Hao{-}Hsun Hsu and
                  Jiawen Xu and
                  Ravi Sama and
                  Matthias Kovatsch},
  title        = {Automated Antenna Testing Using Encoder-Decoder-based Anomaly Detection},
  journal      = {CoRR},
  volume       = {abs/2111.13884},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.13884},
  eprinttype    = {arXiv},
  eprint       = {2111.13884},
  timestamp    = {Wed, 01 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-13884.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/SciulloBK20,
  author       = {Luca Sciullo and
                  Sushmit Bhattacharjee and
                  Matthias Kovatsch},
  editor       = {Paul Davidsson and
                  Marc Langheinrich},
  title        = {Bringing deterministic industrial networking to the {W3C} web of things
                  with {TSN} and {OPC} {UA}},
  booktitle    = {IoT '20: 10th International Conference on the Internet of Things,
                  Malm{\"{o}}, Sweden, October 6-9, 2020},
  pages        = {9:1--9:8},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3410992.3410997},
  doi          = {10.1145/3410992.3410997},
  timestamp    = {Wed, 07 Dec 2022 23:12:03 +0100},
  biburl       = {https://dblp.org/rec/conf/iot/SciulloBK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itl/MayerCRRKC18,
  author       = {Simon Mayer and
                  Andrei Ciortea and
                  Alessandro Ricci and
                  Maria Ines Robles and
                  Matthias Kovatsch and
                  Angelo Croatti},
  title        = {Hypermedia to connect them all: Autonomous hypermedia agents and socio-technical
                  interactions},
  journal      = {Internet Technol. Lett.},
  volume       = {1},
  number       = {4},
  year         = {2018},
  url          = {https://doi.org/10.1002/itl2.50},
  doi          = {10.1002/ITL2.50},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itl/MayerCRRKC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KorkanKKS18,
  author       = {Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Matthias Kovatsch and
                  Sebastian Steinhorst},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Sequential Behavioral Modeling for Scalable IoT Devices and Systems},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524065},
  doi          = {10.1109/FDL.2018.8524065},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KorkanKKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8352,
  author       = {Carles Gomez and
                  Matthias Kovatsch and
                  Hui Tian and
                  Zhen Cao},
  title        = {Energy-Efficient Features of Internet of Things Protocols},
  journal      = {{RFC}},
  volume       = {8352},
  pages        = {1--24},
  year         = {2018},
  url          = {https://doi.org/10.17487/RFC8352},
  doi          = {10.17487/RFC8352},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc8352.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wot/MayerGK17,
  author       = {Simon Mayer and
                  Dominique Guinard and
                  Matthias Kovatsch},
  editor       = {Simon Mayer and
                  Dominique Guinard and
                  Matthias Kovatsch},
  title        = {WoT 2017: The Eighth International Workshop on the Web of Things},
  booktitle    = {Proceedings of the Eighth International Workshop on the Web of Things,
                  WoT 2017, Linz, Austria, October 22, 2017},
  pages        = {1--3},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3199919.3199920},
  doi          = {10.1145/3199919.3199920},
  timestamp    = {Wed, 21 Nov 2018 12:44:27 +0100},
  biburl       = {https://dblp.org/rec/conf/wot/MayerGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wot/2017,
  editor       = {Simon Mayer and
                  Dominique Guinard and
                  Matthias Kovatsch},
  title        = {Proceedings of the Eighth International Workshop on the Web of Things,
                  WoT 2017, Linz, Austria, October 22, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3199919},
  doi          = {10.1145/3199919},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wot/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/MayerVKM16,
  author       = {Simon Mayer and
                  Ruben Verborgh and
                  Matthias Kovatsch and
                  Friedemann Mattern},
  title        = {Smart Configuration of Smart Environments},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {13},
  number       = {3},
  pages        = {1247--1255},
  year         = {2016},
  url          = {https://doi.org/10.1109/TASE.2016.2533321},
  doi          = {10.1109/TASE.2016.2533321},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/MayerVKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/TanganelliVMK16,
  author       = {Giacomo Tanganelli and
                  Carlo Vallati and
                  Enzo Mingozzi and
                  Matthias Kovatsch},
  title        = {Efficient proxying of CoAP observe with quality of service support},
  booktitle    = {3rd {IEEE} World Forum on Internet of Things, WF-IoT 2016, Reston,
                  VA, USA, December 12-14, 2016},
  pages        = {401--406},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WF-IoT.2016.7845444},
  doi          = {10.1109/WF-IOT.2016.7845444},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wf-iot/TanganelliVMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wot/MayerGWK16,
  author       = {Simon Mayer and
                  Dominique Guinard and
                  Erik Wilde and
                  Matthias Kovatsch},
  title        = {WoT 2016: The Seventh International Workshop on the Web of Things},
  booktitle    = {Proceedings of the Seventh International Workshop on the Web of Things,
                  WoT 2016, Stuttgart, Germany, November 7, 2016},
  pages        = {1--4},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3017995.3017996},
  doi          = {10.1145/3017995.3017996},
  timestamp    = {Tue, 06 Nov 2018 16:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/wot/MayerGWK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kovatsch15,
  author       = {Matthias Kovatsch},
  title        = {Scalable Web Technology for the Internet of Things},
  school       = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
  year         = {2015},
  url          = {https://hdl.handle.net/20.500.11850/99071},
  doi          = {10.3929/ETHZ-A-010398212},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kovatsch15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/KovatschHM15,
  author       = {Matthias Kovatsch and
                  Yassin Nasir Hassan and
                  Simon Mayer},
  title        = {Practical semantics for the Internet of Things: Physical states, device
                  mashups, and open questions},
  booktitle    = {5th International Conference on the Internet of Things, {IOT} 2015,
                  Seoul, South Korea, 26-28 October, 2015},
  pages        = {54--61},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/IOT.2015.7356548},
  doi          = {10.1109/IOT.2015.7356548},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/iot/KovatschHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BetzlerGDK14,
  author       = {August Betzler and
                  Carles Gomez and
                  Ilker Demirkol and
                  Matthias Kovatsch},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {Congestion control for CoAP cloud services},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005340},
  doi          = {10.1109/ETFA.2014.7005340},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/BetzlerGDK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/KovatschLS14,
  author       = {Matthias Kovatsch and
                  Martin Lanter and
                  Zach Shelby},
  title        = {Californium: Scalable cloud services for the Internet of Things with
                  CoAP},
  booktitle    = {4th International Conference on the Internet of Things, {IOT} 2014,
                  Cambridge, MA, USA, October 6-8, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/IOT.2014.7030106},
  doi          = {10.1109/IOT.2014.7030106},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/iot/KovatschLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/Kovatsch13,
  author       = {Matthias Kovatsch},
  editor       = {Friedemann Mattern and
                  Silvia Santini and
                  John F. Canny and
                  Marc Langheinrich and
                  Jun Rekimoto},
  title        = {CoAP for the web of things: from tiny resource-constrained devices
                  to the web browser},
  booktitle    = {The 2013 {ACM} International Joint Conference on Pervasive and Ubiquitous
                  Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013
                  - Adjunct Publication},
  pages        = {1495--1504},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494091.2497583},
  doi          = {10.1145/2494091.2497583},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/Kovatsch13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LercheHK12,
  author       = {Christian Lerche and
                  Klaus Hartke and
                  Matthias Kovatsch},
  title        = {Industry adoption of the Internet of Things: {A} constrained application
                  protocol survey},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489787},
  doi          = {10.1109/ETFA.2012.6489787},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/LercheHK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imis/KovatschMO12,
  author       = {Matthias Kovatsch and
                  Simon Mayer and
                  Benedikt Ostermaier},
  editor       = {Ilsun You and
                  Leonard Barolli and
                  Antonio Gentile and
                  Hae{-}Duck Joshua Jeong and
                  Marek R. Ogiela and
                  Fatos Xhafa},
  title        = {Moving Application Logic from the Firmware to the Cloud: Towards the
                  Thin Server Architecture for the Internet of Things},
  booktitle    = {Sixth International Conference on Innovative Mobile and Internet Services
                  in Ubiquitous Computing, {IMIS} 2012, Palermo, Italy, July 4-6, 2012},
  pages        = {751--756},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/IMIS.2012.104},
  doi          = {10.1109/IMIS.2012.104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/imis/KovatschMO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/KovatschLD12,
  author       = {Matthias Kovatsch and
                  Martin Lanter and
                  Simon Duquennoy},
  title        = {Actinium: {A} RESTful runtime container for scriptable Internet of
                  Things applications},
  booktitle    = {3rd {IEEE} International Conference on the Internet of Things, {IOT}
                  2012, Wuxi, Jiangsu Province, China, October 24-26, 2012},
  pages        = {135--142},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IOT.2012.6402315},
  doi          = {10.1109/IOT.2012.6402315},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/iot/KovatschLD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/Kovatsch11,
  author       = {Matthias Kovatsch},
  title        = {Demo abstract: Human-CoAP interaction with Copper},
  booktitle    = {Distributed Computing in Sensor Systems, 7th {IEEE} International
                  Conference and Workshops, {DCOSS} 2011, Barcelona, Spain, 27-29 June,
                  2011, Proceedings},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DCOSS.2011.5982145},
  doi          = {10.1109/DCOSS.2011.5982145},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcoss/Kovatsch11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Kovatsch11,
  author       = {Matthias Kovatsch},
  editor       = {Kurt Geihs and
                  Kay R{\"{o}}mer and
                  Luca Mottola and
                  Gian Pietro Picco},
  title        = {Firm firmware and apps for the internet of things},
  booktitle    = {Proceedings of the 2nd Workshop on Software Engineering for Sensor
                  Network Applications, {SESENA} 2011, Waikiki, Honolulu, HI, USA, May
                  22, 2011},
  pages        = {61--62},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988051.1988064},
  doi          = {10.1145/1988051.1988064},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Kovatsch11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/KovatschDD11,
  author       = {Matthias Kovatsch and
                  Simon Duquennoy and
                  Adam Dunkels},
  title        = {A Low-Power CoAP for Contiki},
  booktitle    = {{IEEE} 8th International Conference on Mobile Adhoc and Sensor Systems,
                  {MASS} 2011, Valencia, Spain, October 17-22, 2011},
  pages        = {855--860},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/MASS.2011.100},
  doi          = {10.1109/MASS.2011.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mass/KovatschDD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wot/OstermaierKS11,
  author       = {Benedikt Ostermaier and
                  Matthias Kovatsch and
                  Silvia Santini},
  editor       = {Dominique Guinard and
                  Vlad Trifa and
                  Erik Wilde},
  title        = {Connecting things to the web using programmable low-power WiFi modules},
  booktitle    = {Proceedings of the Second International Workshop on Web of Things,
                  San Francisco, CA, USA, June 16, 2011},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993966.1993970},
  doi          = {10.1145/1993966.1993970},
  timestamp    = {Tue, 06 Nov 2018 16:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/wot/OstermaierKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/KovatschWG10,
  author       = {Matthias Kovatsch and
                  Markus Weiss and
                  Dominique Guinard},
  title        = {Embedding internet technology for home automation},
  booktitle    = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
                  Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ETFA.2010.5641208},
  doi          = {10.1109/ETFA.2010.5641208},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/KovatschWG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/OstermaierSK10,
  author       = {Benedikt Ostermaier and
                  Fabian Schlup and
                  Matthias Kovatsch},
  editor       = {Jakob E. Bardram and
                  Marc Langheinrich and
                  Khai N. Truong and
                  Paddy Nixon},
  title        = {Leveraging the web of things for rapid prototyping of UbiComp applications},
  booktitle    = {UbiComp 2010: Ubiquitous Computing, 12th International Conference,
                  UbiComp 2010, Copenhagen, Denmark, September 26-29, 2010, Adjunct
                  Papers Proceedings},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {375--376},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1864431.1864443},
  doi          = {10.1145/1864431.1864443},
  timestamp    = {Wed, 28 Nov 2018 12:57:13 +0100},
  biburl       = {https://dblp.org/rec/conf/huc/OstermaierSK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/ClausSKAT08,
  author       = {Christopher Claus and
                  Walter Stechele and
                  Matthias Kovatsch and
                  Josef Angermeier and
                  J{\"{u}}rgen Teich},
  title        = {A comparison of embedded reconfigurable video-processing architectures},
  booktitle    = {{FPL} 2008, International Conference on Field Programmable Logic and
                  Applications, Heidelberg, Germany, 8-10 September 2008},
  pages        = {587--590},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FPL.2008.4630015},
  doi          = {10.1109/FPL.2008.4630015},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/ClausSKAT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics