BibTeX records: Faïda Mhenni

download as .bib file

@article{DBLP:journals/aei/FradiMGMC23,
  author       = {Mouna Fradi and
                  Fa{\"{\i}}da Mhenni and
                  Raoudha Gaha and
                  Abdelfattah Mlika and
                  Jean{-}Yves Choley},
  title        = {Category theory-based collaborative design methodology for mechatronic
                  systems},
  journal      = {Adv. Eng. Informatics},
  volume       = {55},
  pages        = {101865},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.aei.2022.101865},
  doi          = {10.1016/J.AEI.2022.101865},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aei/FradiMGMC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cera/FradiGMMC22,
  author       = {Mouna Fradi and
                  Raoudha Gaha and
                  Fa{\"{\i}}da Mhenni and
                  Abdelfattah Mlika and
                  Jean{-}Yves Choley},
  title        = {Knowledge capitalization in mechatronic collaborative design},
  journal      = {Concurr. Eng. Res. Appl.},
  volume       = {30},
  number       = {1},
  pages        = {32--45},
  year         = {2022},
  url          = {https://doi.org/10.1177/1063293x211050438},
  doi          = {10.1177/1063293X211050438},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cera/FradiGMMC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/AzzouziBJMC22,
  author       = {Elmehdi Azzouzi and
                  Daniel Bouskela and
                  Audrey Jardin and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {A Model-Based Engineering Methodology for Stakeholders Coordination
                  of Multienergy Cyber-Physical Systems},
  journal      = {{IEEE} Syst. J.},
  volume       = {16},
  number       = {1},
  pages        = {219--230},
  year         = {2022},
  url          = {https://doi.org/10.1109/JSYST.2021.3071231},
  doi          = {10.1109/JSYST.2021.3071231},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/AzzouziBJMC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEssd/MhenniC21,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {Mechatronics in a New Context: a Structuring Conceptual Framework
                  Proposal for {MBSE}},
  booktitle    = {18th International Multi-Conference on Systems, Signals {\&} Devices,
                  {SSD} 2021, Monastir, Tunisia, March 22-25, 2021},
  pages        = {1459--1464},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SSD52085.2021.9429445},
  doi          = {10.1109/SSD52085.2021.9429445},
  timestamp    = {Tue, 08 Jun 2021 15:55:47 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEssd/MhenniC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/AbdeljabbarMC21,
  author       = {Nourhene Abdeljabbar and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {A Categorical Framework for Collaborative Design of Safety Critical
                  Mechatronic Systems},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2021,
                  Vienna, Austria, September 13 - October 13, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISSE51541.2021.9582486},
  doi          = {10.1109/ISSE51541.2021.9582486},
  timestamp    = {Wed, 03 Nov 2021 17:09:40 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/AbdeljabbarMC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/FradiMGMC21,
  author       = {Mouna Fradi and
                  Fa{\"{\i}}da Mhenni and
                  Raoudha Gaha and
                  Abdelfattah Mlika and
                  Jean{-}Yves Choley},
  title        = {Conflict Management for Mechatronic Systems Design},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2021,
                  Vienna, Austria, September 13 - October 13, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISSE51541.2021.9582478},
  doi          = {10.1109/ISSE51541.2021.9582478},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isse2/FradiMGMC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/VidalieKMBC21,
  author       = {Julien Vidalie and
                  Mohamed{-}Sami Kendel and
                  Fa{\"{\i}}da Mhenni and
                  Michel Batteux and
                  Jean{-}Yves Choley},
  title        = {State Machines Consistency between Model Based System Engineering
                  and Safety Assessment Models},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2021,
                  Vienna, Austria, September 13 - October 13, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISSE51541.2021.9582470},
  doi          = {10.1109/ISSE51541.2021.9582470},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/VidalieKMBC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/BakloutiNMCM20,
  author       = {Anis Baklouti and
                  Nga Nguyen and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Abdelfattah Mlika},
  title        = {Dynamic Fault Tree Generation for Safety-Critical Systems Within a
                  Systems Engineering Approach},
  journal      = {{IEEE} Syst. J.},
  volume       = {14},
  number       = {1},
  pages        = {1512--1522},
  year         = {2020},
  url          = {https://doi.org/10.1109/JSYST.2019.2930184},
  doi          = {10.1109/JSYST.2019.2930184},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/BakloutiNMCM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/SialaMCBLH20,
  author       = {Hana Siala and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Maher Barkallah and
                  Jamel Louati and
                  Mohamed Haddar},
  title        = {Toward a Robust Design of an Aileron Electromechanical Actuator: Sensitivity
                  Analysis and Parametric Tolerancing Using a Variational Approach},
  journal      = {{IEEE} Syst. J.},
  volume       = {14},
  number       = {3},
  pages        = {3977--3986},
  year         = {2020},
  url          = {https://doi.org/10.1109/JSYST.2020.2968005},
  doi          = {10.1109/JSYST.2020.2968005},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/SialaMCBLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/0001MC20,
  author       = {Nga Nguyen and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {A Study on SysML and AltaRica Models Transformation},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
                  Canada, August 24 - September 20, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SysCon47679.2020.9275868},
  doi          = {10.1109/SYSCON47679.2020.9275868},
  timestamp    = {Mon, 14 Dec 2020 10:13:52 +0100},
  biburl       = {https://dblp.org/rec/conf/syscon/0001MC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/BatteuxCMPPRT19,
  author       = {Michel Batteux and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni and
                  Luca Palladino and
                  Tatiana Prosvirnova and
                  Antoine Rauzy and
                  Maurice Theobald},
  editor       = {Guy Andr{\'{e}} Boy and
                  Alan Guegan and
                  Daniel Krob and
                  Vincent Vion},
  title        = {Synchronization of System Architecture, Multi-physics and Safety Models},
  booktitle    = {Proceedings of the Tenth International Conference on Complex Systems
                  Design {\&} Management, CSD{\&}M 2019, Paris, France, December
                  12-13, 2019},
  pages        = {37--48},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34843-4\_4},
  doi          = {10.1007/978-3-030-34843-4\_4},
  timestamp    = {Mon, 19 Apr 2021 17:02:59 +0200},
  biburl       = {https://dblp.org/rec/conf/csdm/BatteuxCMPPRT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/BatteuxCMPR19,
  author       = {Michel Batteux and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni and
                  Tatiana Prosvirnova and
                  Antoine Rauzy},
  title        = {Synchronization of System Architecture and Safety Models: a Proof
                  of Concept},
  booktitle    = {International Symposium on Systems Engineering, {ISSE} 2019, Edinburgh,
                  United Kingdom, October 1-3, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISSE46696.2019.8984515},
  doi          = {10.1109/ISSE46696.2019.8984515},
  timestamp    = {Thu, 04 Nov 2021 09:01:09 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/BatteuxCMPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/AzzouziJBMC19,
  author       = {Elmehdi Azzouzi and
                  Audrey Jardin and
                  Daniel Bouskela and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley},
  title        = {A Survey on Systems Engineering Methodologies for Large Multi-Energy
                  Cyber-Physical Systems},
  booktitle    = {2019 {IEEE} International Systems Conference, SysCon 2019, Orlando,
                  FL, USA, April 8-11, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SYSCON.2019.8836741},
  doi          = {10.1109/SYSCON.2019.8836741},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/AzzouziJBMC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/MhenniNC18,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Jean{-}Yves Choley},
  title        = {SafeSysE: {A} Safety Analysis Integration in Systems Engineering Approach},
  journal      = {{IEEE} Syst. J.},
  volume       = {12},
  number       = {1},
  pages        = {161--172},
  year         = {2018},
  url          = {https://doi.org/10.1109/JSYST.2016.2547460},
  doi          = {10.1109/JSYST.2016.2547460},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/MhenniNC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniPHCH18,
  author       = {Fa{\"{\i}}da Mhenni and
                  Olivia Penas and
                  Moncef Hammadi and
                  Jean{-}Yves Choley and
                  Peter Hehenberger},
  title        = {Systems engineering approach for the conjoint design of mechatronic
                  products and their manufacturing systems},
  booktitle    = {2018 Annual {IEEE} International Systems Conference, SysCon 2018,
                  Vancouver, BC, Canada, April 23-26, 2018},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSCON.2018.8369560},
  doi          = {10.1109/SYSCON.2018.8369560},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniPHCH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MissaouiMCN18,
  author       = {Sarra Missaoui and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {Verification and validation of the consistency between multi-domain
                  system models},
  booktitle    = {2018 Annual {IEEE} International Systems Conference, SysCon 2018,
                  Vancouver, BC, Canada, April 23-26, 2018},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SYSCON.2018.8369561},
  doi          = {10.1109/SYSCON.2018.8369561},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MissaouiMCN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/BakloutiNCMM17,
  author       = {Anis Baklouti and
                  Nga Nguyen and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni and
                  Abdelfattah Mlika},
  title        = {Free and open source fault tree analysis tools survey},
  booktitle    = {2017 Annual {IEEE} International Systems Conference, SysCon 2017,
                  Montreal, QC, Canada, April 24-27, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYSCON.2017.7934794},
  doi          = {10.1109/SYSCON.2017.7934794},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/BakloutiNCMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/ShinozakiMCM17,
  author       = {Mizuki Shinozaki and
                  Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Aiguo Ming},
  title        = {Reuse of SysML model to support innovation in mechatronic systems
                  design},
  booktitle    = {2017 Annual {IEEE} International Systems Conference, SysCon 2017,
                  Montreal, QC, Canada, April 24-27, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYSCON.2017.7934709},
  doi          = {10.1109/SYSCON.2017.7934709},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/syscon/ShinozakiMCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/MonicaPCMG16,
  author       = {F. Della Monica and
                  Stanislao Patalano and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni and
                  Salvatore Gerbino},
  title        = {A hierarchical set of SysML Model-based objects for tolerance specification},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2016,
                  Edinburgh, United Kingdom, October 3-5, 2016},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SysEng.2016.7753143},
  doi          = {10.1109/SYSENG.2016.7753143},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/MonicaPCMG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniCN16,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {An integrated design methodology for safety critical systems},
  booktitle    = {Annual {IEEE} Systems Conference, SysCon 2016, Orlando, FL, USA, April
                  18-21, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SYSCON.2016.7490580},
  doi          = {10.1109/SYSCON.2016.7490580},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniCN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/MhenniC015,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {SysML extensions for safety-critical mechatronic systems design},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2015,
                  Rome, Italy, September 28-30, 2015},
  pages        = {242--247},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SysEng.2015.7302764},
  doi          = {10.1109/SYSENG.2015.7302764},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/MhenniC015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/PlateauxPHHMWC15,
  author       = {R{\'{e}}gis Plateaux and
                  Olivia Penas and
                  Peter Hehenberger and
                  Moncef Hammadi and
                  Fa{\"{\i}}da Mhenni and
                  Aude Warniez and
                  Jean{-}Yves Choley},
  title        = {Needs for a 3D enriched ontology for mechatronic systems design},
  booktitle    = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2015,
                  Rome, Italy, September 28-30, 2015},
  pages        = {253--260},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SysEng.2015.7302766},
  doi          = {10.1109/SYSENG.2015.7302766},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isse2/PlateauxPHHMWC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/HammadiCM14,
  author       = {Moncef Hammadi and
                  Jean{-}Yves Choley and
                  Fa{\"{\i}}da Mhenni},
  title        = {A multi-agent methodology for multi-level modeling of mechatronic
                  systems},
  journal      = {Adv. Eng. Informatics},
  volume       = {28},
  number       = {3},
  pages        = {208--217},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.aei.2014.03.005},
  doi          = {10.1016/J.AEI.2014.03.005},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aei/HammadiCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/MhenniCPPH14,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Olivia Penas and
                  R{\'{e}}gis Plateaux and
                  Moncef Hammadi},
  title        = {A SysML-based methodology for mechatronic systems architectural design},
  journal      = {Adv. Eng. Informatics},
  volume       = {28},
  number       = {3},
  pages        = {218--231},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.aei.2014.03.006},
  doi          = {10.1016/J.AEI.2014.03.006},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aei/MhenniCPPH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimech/MhenniNC14,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Jean{-}Yves Choley},
  title        = {Automatic fault tree generation from SysML system models},
  booktitle    = {{IEEE/ASME} International Conference on Advanced Intelligent Mechatronics,
                  {AIM} 2014, Besancon, France, July 8-11, 2014},
  pages        = {715--720},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/AIM.2014.6878163},
  doi          = {10.1109/AIM.2014.6878163},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimech/MhenniNC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniCN14,
  author       = {Fa{\"{\i}}da Mhenni and
                  Jean{-}Yves Choley and
                  Nga Nguyen},
  title        = {Extended mechatronic systems architecture modeling with SysML for
                  enhanced safety analysis},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2014, Proceedings,
                  Ottawa, ON, Canada, March 31 - April 3, 2014},
  pages        = {378--382},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SysCon.2014.6819284},
  doi          = {10.1109/SYSCON.2014.6819284},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniCN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MhenniNKC13,
  author       = {Fa{\"{\i}}da Mhenni and
                  Nga Nguyen and
                  Hubert Kadima and
                  Jean{-}Yves Choley},
  title        = {Safety analysis integration in a SysML-based complex system design
                  process},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2013, Orlando, FL,
                  USA, April 15-18, 2013},
  pages        = {70--75},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SysCon.2013.6549861},
  doi          = {10.1109/SYSCON.2013.6549861},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MhenniNKC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics