BibTeX records: Dominique Heller

download as .bib file

@inproceedings{DBLP:conf/icecsys/RizkHDBD22,
  author       = {Mostafa Rizk and
                  Dominique Heller and
                  R. Douguet and
                  Amer Baghdadi and
                  Jean{-}Philippe Diguet},
  title        = {Optimization of Deep-Learning Detection of Humans in Marine Environment
                  on Edge Devices},
  booktitle    = {29th {IEEE} International Conference on Electronics, Circuits and
                  Systems, {ICECS} 2022, Glasgow, United Kingdom, October 24-26, 2022},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICECS202256217.2022.9970780},
  doi          = {10.1109/ICECS202256217.2022.9970780},
  timestamp    = {Fri, 23 Dec 2022 17:47:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icecsys/RizkHDBD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HellerRDBD22,
  author       = {Dominique Heller and
                  Mostafa Rizk and
                  R. Douguet and
                  Amer Baghdadi and
                  Jean{-}Philippe Diguet},
  title        = {Marine Objects Detection Using Deep Learning on Embedded Edge Devices},
  booktitle    = {{IEEE} International Workshop on Rapid System Prototyping, {RSP} 2022,
                  Shanghai, China, October 13, 2022},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/RSP57251.2022.10039025},
  doi          = {10.1109/RSP57251.2022.10039025},
  timestamp    = {Tue, 21 Feb 2023 17:16:37 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/HellerRDBD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/MoreacABHD20,
  author       = {Erwan Mor{\'{e}}ac and
                  El Mehdi Abdali and
                  Fran{\c{c}}ois Berry and
                  Dominique Heller and
                  Jean{-}Philippe Diguet},
  title        = {Hardware-in-the-loop simulation with dynamic partial {FPGA} reconfiguration
                  applied to computer vision in ROS-based {UAV}},
  booktitle    = {International Workshop on Rapid System Prototyping, {RSP} 2020, Hamburg,
                  Germany, September 24-25, 2020},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/RSP51120.2020.9244863},
  doi          = {10.1109/RSP51120.2020.9244863},
  timestamp    = {Tue, 10 Nov 2020 11:00:25 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/MoreacABHD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/MazuetAHDND19,
  author       = {Julien Mazuet and
                  Ill{-}Ham Atchadam and
                  Dominique Heller and
                  Catherine Dezan and
                  Michel Narozny and
                  Jean{-}Philippe Diguet},
  title        = {QoS Driven Dynamic Partial Reconfiguration: Tracking Case Study},
  booktitle    = {14th International Symposium on Reconfigurable Communication-centric
                  Systems-on-Chip, ReCoSoC 2019, York, United Kingdom, July 1-3, 2019},
  pages        = {13--19},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ReCoSoC48741.2019.9034939},
  doi          = {10.1109/RECOSOC48741.2019.9034939},
  timestamp    = {Mon, 23 Mar 2020 13:19:56 +0100},
  biburl       = {https://dblp.org/rec/conf/recosoc/MazuetAHDND19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HirecheDMHD18,
  author       = {Chabha Hireche and
                  Catherine Dezan and
                  St{\'{e}}phane Mocanu and
                  Dominique Heller and
                  Jean{-}Philippe Diguet},
  title        = {Context/Resource-Aware Mission Planning Based on BNs and Concurrent
                  MDPs for Autonomous UAVs},
  journal      = {Sensors},
  volume       = {18},
  number       = {12},
  pages        = {4266},
  year         = {2018},
  url          = {https://doi.org/10.3390/s18124266},
  doi          = {10.3390/S18124266},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/HirecheDMHD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/GueyeDRHD18,
  author       = {Soguy Mak Kar{\'{e}} Gueye and
                  Gwena{\"{e}}l Delaval and
                  {\'{E}}ric Rutten and
                  Dominique Heller and
                  Jean{-}Philippe Diguet},
  title        = {A Domain-Specific Language for Autonomic Managers in {FPGA} Reconfigurable
                  Architectures},
  booktitle    = {2018 {IEEE} International Conference on Autonomic Computing, {ICAC}
                  2018, Trento, Italy, September 3-7, 2018},
  pages        = {111--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICAC.2018.00021},
  doi          = {10.1109/ICAC.2018.00021},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icac/GueyeDRHD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CorreDHBL16,
  author       = {Youenn Corre and
                  Jean{-}Philippe Diguet and
                  Dominique Heller and
                  Dominique Blouin and
                  Lo{\"{\i}}c Lagadec},
  title        = {{TBES:} Template-Based Exploration and Synthesis of Heterogeneous
                  Multiprocessor Architectures on {FPGA}},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {9:1--9:27},
  year         = {2016},
  url          = {https://doi.org/10.1145/2816817},
  doi          = {10.1145/2816817},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/CorreDHBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdsc/AbdaliPBDH16,
  author       = {El Mehdi Abdali and
                  Maxime Pelcat and
                  Fran{\c{c}}ois Berry and
                  Jean{-}Philippe Diguet and
                  Dominique Heller},
  title        = {Task Clustering Approach to Optimize the Scheduling on a Partially
                  Dynamically Reconfigurable FPGAs for image processing algorithms},
  booktitle    = {Proceedings of the 10th International Conference on Distributed Smart
                  Camera, Paris, France, September 12-15, 2016},
  pages        = {230--231},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2967413.2974042},
  doi          = {10.1145/2967413.2974042},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdsc/AbdaliPBDH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/CheniniHDDC15,
  author       = {Hanen Chenini and
                  Dominique Heller and
                  Catherine Dezan and
                  Jean{-}Philippe Diguet and
                  Duncan Campbell},
  title        = {Embedded real-time localization of {UAV} based on an hybrid device},
  booktitle    = {2015 {IEEE} International Conference on Acoustics, Speech and Signal
                  Processing, {ICASSP} 2015, South Brisbane, Queensland, Australia,
                  April 19-24, 2015},
  pages        = {1543--1547},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICASSP.2015.7178229},
  doi          = {10.1109/ICASSP.2015.7178229},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/CheniniHDDC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/LanoeBHCC14,
  author       = {Mickael Lanoe and
                  Matteo Bordin and
                  Dominique Heller and
                  Philippe Coussy and
                  Cyrille Chavet},
  title        = {A modeling and code generation framework for critical embedded systems
                  design: From Simulink down to {VHDL} and Ada/C code},
  booktitle    = {21st {IEEE} International Conference on Electronics, Circuits and
                  Systems, {ICECS} 2014, Marseille, France, December 7-10, 2014},
  pages        = {742--745},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICECS.2014.7050092},
  doi          = {10.1109/ICECS.2014.7050092},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icecsys/LanoeBHCC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/CorreDLHB13,
  author       = {Youenn Corre and
                  Jean{-}Philippe Diguet and
                  Lo{\"{\i}}c Lagadec and
                  Dominique Heller and
                  Dominique Blouin},
  editor       = {Philip Brisk and
                  Jos{\'{e}} Gabriel F. Coutinho and
                  Pedro C. Diniz},
  title        = {Fast Template-Based Heterogeneous MPSoC Synthesis on {FPGA}},
  booktitle    = {Reconfigurable Computing: Architectures, Tools and Applications -
                  9th International Symposium, {ARC} 2013, Los Angeles, CA, USA, March
                  25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7806},
  pages        = {154--166},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36812-7\_15},
  doi          = {10.1007/978-3-642-36812-7\_15},
  timestamp    = {Fri, 27 Mar 2020 08:54:48 +0100},
  biburl       = {https://dblp.org/rec/conf/arc/CorreDLHB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/CorreHDHL12,
  author       = {Youenn Corre and
                  Van{-}Trinh Hoang and
                  Jean{-}Philippe Diguet and
                  Dominique Heller and
                  Lo{\"{\i}}c Lagadec},
  title        = {HLS-based fast design space exploration of ad hoc hardware accelerators:
                  {A} key tool for MPSoC synthesis on {FPGA}},
  booktitle    = {Proceedings of the 2012 Conference on Design and Architectures for
                  Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
                  23-25, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6385368/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dasip/CorreHDHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/BurgioMHCCB12,
  author       = {Paolo Burgio and
                  Andrea Marongiu and
                  Dominique Heller and
                  Cyrille Chavet and
                  Philippe Coussy and
                  Luca Benini},
  title        = {OpenMP-based Synergistic Parallelization and {HW} Acceleration for
                  On-Chip Shared-Memory Clusters},
  booktitle    = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
                  Izmir, Turkey, September 5-8, 2012},
  pages        = {751--758},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/DSD.2012.97},
  doi          = {10.1109/DSD.2012.97},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/BurgioMHCCB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/CorreDHL12,
  author       = {Youenn Corre and
                  Jean{-}Philippe Diguet and
                  Dominique Heller and
                  Lo{\"{\i}}c Lagadec},
  editor       = {Erik Brunvard and
                  Ken Stevens and
                  Joseph R. Cavallaro and
                  Tong Zhang},
  title        = {A framework for high-level synthesis of heterogeneous MP-SoC},
  booktitle    = {Great Lakes Symposium on {VLSI} 2012, GLSVLSI'12, Salt Lake City,
                  UT, USA, May 3-4, 2012},
  pages        = {283--286},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2206781.2206850},
  doi          = {10.1145/2206781.2206850},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/CorreDHL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asicon/CoussyHC11,
  author       = {Philippe Coussy and
                  Dominique Heller and
                  Cyrille Chavet},
  title        = {High-Level Synthesis: On the path to {ESL} design},
  booktitle    = {2011 {IEEE} 9th International Conference on ASIC, {ASICON} 2011, Xiamen,
                  China, October 25-28, 2011},
  pages        = {1098--1101},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ASICON.2011.6157400},
  doi          = {10.1109/ASICON.2011.6157400},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/asicon/CoussyHC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/Lhairech-LebretonCHM10,
  author       = {Ghizlane Lhairech{-}Lebreton and
                  Philippe Coussy and
                  Dominique Heller and
                  Eric Martin},
  title        = {Bitwidth-aware high-level synthesis for designing low-power {DSP}
                  applications},
  booktitle    = {17th {IEEE} International Conference on Electronics, Circuits, and
                  Systems, {ICECS} 2010, Athens, Greece, 12-15 December, 2010},
  pages        = {531--534},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICECS.2010.5724566},
  doi          = {10.1109/ICECS.2010.5724566},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icecsys/Lhairech-LebretonCHM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/ThabetCHM09,
  author       = {Farhat Thabet and
                  Philippe Coussy and
                  Dominique Heller and
                  Eric Martin},
  title        = {Exploration and Rapid Prototyping of {DSP} Applications using SystemC
                  Behavioral Simulation and High-level Synthesis},
  journal      = {J. Signal Process. Syst.},
  volume       = {56},
  number       = {2-3},
  pages        = {167--186},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11265-008-0235-1},
  doi          = {10.1007/S11265-008-0235-1},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlsisp/ThabetCHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/CoussyLH08,
  author       = {Philippe Coussy and
                  Ghizlane Lhairech{-}Lebreton and
                  Dominique Heller},
  title        = {Multiple Word-Length High-Level Synthesis},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2008},
  year         = {2008},
  url          = {https://doi.org/10.1155/2008/916867},
  doi          = {10.1155/2008/916867},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/CoussyLH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/ThabetCH007,
  author       = {Farhat Thabet and
                  Philippe Coussy and
                  Dominique Heller and
                  Eric Martin},
  title        = {Behavioral description model {BDM} for design space exploration: {A}
                  case study of {HIS} algorithm for {MC-CDMA} system},
  booktitle    = {15th European Signal Processing Conference, {EUSIPCO} 2007, Poznan,
                  Poland, September 3-7, 2007},
  pages        = {1625--1629},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://ieeexplore.ieee.org/document/7099081/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusipco/ThabetCH007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/ThabetCHM06,
  author       = {Farhat Thabet and
                  Philippe Coussy and
                  Dominique Heller and
                  Eric Martin},
  title        = {Design Space Exploration of {DSP} Applications Based on Behavioral
                  Description Models},
  booktitle    = {Proceedings of the {IEEE} Workshop on Signal Processing Systems, SiPS
                  2006, Proceedings, October 2-4, 2006, Banff, Alberta, Canada},
  pages        = {244--249},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/SIPS.2006.352589},
  doi          = {10.1109/SIPS.2006.352589},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sips/ThabetCHM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KriaaAVNBPCMHTF05,
  author       = {Lobna Kriaa and
                  S. Adriano and
                  Emmanuel Vaumorin and
                  R. Nouacer and
                  F. Blanc and
                  S. Pajaniardja and
                  Philippe Coussy and
                  Eric Martin and
                  Dominique Heller and
                  Farhat Thabet and
                  Anne{-}Marie Fouilliart},
  title        = {SystemCmantic: {A} high level Modelling and Co-Design Framework},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2005, September
                  27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages        = {341--353},
  publisher    = {{ECSI}},
  year         = {2005},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=486},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KriaaAVNBPCMHTF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/MoullecDHP03,
  author       = {Yannick Le Moullec and
                  Jean{-}Philippe Diguet and
                  Dominique Heller and
                  Jean Luc Philippe},
  title        = {Estimation du parall{\'{e}}lisme au niveau syst{\`{e}}me pour
                  l'exploration de l'espace de conception de syst{\`{e}}mes enfouis},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {3},
  pages        = {315--349},
  year         = {2003},
  url          = {https://doi.org/10.3166/tsi.22.315-349},
  doi          = {10.3166/TSI.22.315-349},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/MoullecDHP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MullerCHP99,
  author       = {F. Muller and
                  Jean Paul Calvez and
                  Dominique Heller and
                  Olivier Pasquier},
  title        = {An Interactive Modeling and Generation Tool for the Design of Hw/Sw
                  Systems},
  booktitle    = {25th {EUROMICRO} '99 Conference, Informatics: Theory and Practice
                  for the New Millenium, 8-10 September 1999, Milan, Italy},
  pages        = {1382--1385},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/EURMIC.1999.794495},
  doi          = {10.1109/EURMIC.1999.794495},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/MullerCHP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CalvezHMP98,
  author       = {Jean Paul Calvez and
                  Dominique Heller and
                  F. Muller and
                  Olivier Pasquier},
  editor       = {Patrick M. Dewilde and
                  Franz J. Rammig and
                  Gerry Musgrave},
  title        = {A Programmable Multi-Language Generator for CoDesign},
  booktitle    = {1998 Design, Automation and Test in Europe {(DATE} '98), February
                  23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
  pages        = {927--928},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DATE.1998.655973},
  doi          = {10.1109/DATE.1998.655973},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/CalvezHMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/CalvezHP96,
  author       = {Jean Paul Calvez and
                  Dominique Heller and
                  Olivier Pasquier},
  title        = {Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems},
  booktitle    = {Proceedings of the Forth International Workshop on Hardware/Software
                  Codesign, {CODES} 1996, Pittsburgh, PA, USA, March 18-20, 1996},
  pages        = {132},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/HCS.1996.492235},
  doi          = {10.1109/HCS.1996.492235},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/codes/CalvezHP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CalvezHB93,
  author       = {Jean Paul Calvez and
                  Dominique Heller and
                  P. Bakowski},
  title        = {Functional-level synthesis with {VHDL}},
  booktitle    = {Proceedings of the European Design Automation Conference 1993, {EURO-DAC}
                  '93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993},
  pages        = {554--559},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/EURDAC.1993.410691},
  doi          = {10.1109/EURDAC.1993.410691},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/CalvezHB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics