Search dblp for Publications

export results for "toc:db/journals/ijaac/ijaac17.bht:"

 download as .bib file

@article{DBLP:journals/ijaac/AboziedSEH23,
  author       = {Mohammed Abozied Hassan Abozied and
                  Sameh Fathey Shelan and
                  Yehia Zakarya Elhalwagy and
                  Hossam Hendy},
  title        = {Design and implementation of FPGA-based integrated missile actuation
                  system and control synthesis},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {5},
  pages        = {506--528},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.133979},
  doi          = {10.1504/IJAAC.2023.133979},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/AboziedSEH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/AgrawalNPP23,
  author       = {Komal Agrawal and
                  Richa Negi and
                  Vipin Chandra Pal and
                  Vishwajeet Patel},
  title        = {\emph{H}\({}_{\mbox{{\(\infty\)}}}\) stabilisation of uncertain discrete
                  time-delayed system with actuator saturation by using Wirtinger inequality},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {43--72},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2022.10044198},
  doi          = {10.1504/IJAAC.2022.10044198},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/AgrawalNPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/BalaskaL23,
  author       = {Hanane Balaska and
                  Samir Ladaci},
  title        = {Fractional order output-feedback tube-MRAC design for a class of fractional
                  order transfer functions with unknown parameters},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {3},
  pages        = {287--305},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.130572},
  doi          = {10.1504/IJAAC.2023.130572},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/BalaskaL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/ContrerasHLC23,
  author       = {M{\'{o}}nica Contreras and
                  Marco Herrera and
                  Paulo Leica and
                  Oscar Camacho},
  title        = {Dynamic sliding mode controller applied to a temperature {TITO} process},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {2},
  pages        = {227--248},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10046544},
  doi          = {10.1504/IJAAC.2023.10046544},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/ContrerasHLC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/GarmatG23,
  author       = {Abdelkader Garmat and
                  Kamel Guesmi},
  title        = {Unscented Kalman filter-based control strategy for wind turbine systems},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {6},
  pages        = {613--634},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.134552},
  doi          = {10.1504/IJAAC.2023.134552},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/GarmatG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/GuiJLZ23,
  author       = {Yule Gui and
                  Qing{-}Xian Jia and
                  Huayi Li and
                  Zhong Zheng},
  title        = {Iterative learning algorithms-based multiplicative thrust fault reconstruction
                  and tolerant control for spacecraft formation flying systems},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {3},
  pages        = {249--266},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.130563},
  doi          = {10.1504/IJAAC.2023.130563},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/GuiJLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/HadyABSAA23,
  author       = {Salam Abdul Hady and
                  Abduladhem A. Ali and
                  Waleed I. Breesam and
                  Ameer Lateef Saleh and
                  Yasir Ismael Abdulraheem Al{-}Yasir and
                  Raed A. Abd{-}Alhameed},
  title        = {Control of three-links robot arm based on fuzzy neural Petri nets},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {116--131},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10051797},
  doi          = {10.1504/IJAAC.2023.10051797},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/HadyABSAA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/HashemiSHO23,
  author       = {Seyede Tahere Hashemi and
                  Mehdi Siahi and
                  Majid Hosseinpour and
                  Javad Olamaei},
  title        = {Multi-input multi-output sliding-mode control of LCL-based grid-connected
                  modified Y-source inverter for power conditioning of photovoltaic
                  generation},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {3},
  pages        = {328--350},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.130570},
  doi          = {10.1504/IJAAC.2023.130570},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/HashemiSHO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/IdrissiFFT23,
  author       = {Said Idrissi and
                  Youssef El Fezazi and
                  Nabil El Fezazi and
                  El Houssaine Tissir},
  title        = {Further improvements on robust stability analysis for Takagi-Sugeno
                  fuzzy systems with time-varying delay},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {5},
  pages        = {487--505},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.133976},
  doi          = {10.1504/IJAAC.2023.133976},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/IdrissiFFT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/JennanM23,
  author       = {Najlae Jennan and
                  El Mehdi Mellouli},
  title        = {New optimal fast terminal sliding mode control combined with neural
                  networks for modelling and controlling a drone quadrotor},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {6},
  pages        = {595--612},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.134555},
  doi          = {10.1504/IJAAC.2023.134555},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/JennanM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/Kharola23,
  author       = {Ashwani Kharola},
  title        = {Novel adaptive control for avoiding fuzzy rule explosion in nonlinear
                  systems},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {4},
  pages        = {377--396},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.131740},
  doi          = {10.1504/IJAAC.2023.131740},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/Kharola23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/KumarKKS23,
  author       = {Gaurav Kumar and
                  Roshan Kumar and
                  Ashok Kumar and
                  Brij Mohan Singh},
  title        = {Development of modified {LQG} controller for mitigation of seismic
                  vibrations using swarm intelligence},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {19--42},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10049079},
  doi          = {10.1504/IJAAC.2023.10049079},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/KumarKKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/KumawatRKR23,
  author       = {Ashok Kumar Kumawat and
                  Raja Rout and
                  Renu Kumawat and
                  Manish Rawat},
  title        = {Design of an optimal tracking controller with unmeasured states for
                  electro-hydraulic actuation system using 4/3 proportional {DC} valve},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {4},
  pages        = {418--439},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.131774},
  doi          = {10.1504/IJAAC.2023.131774},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/KumawatRKR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/Kundu23,
  author       = {Janardan Kundu},
  title        = {Prototype development and levitation of a large rectangular platform
                  with multi-axis control},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {2},
  pages        = {153--170},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10050977},
  doi          = {10.1504/IJAAC.2023.10050977},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/Kundu23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/KunduY23,
  author       = {Janardan Kundu and
                  Vinod Kumar Yadav},
  title        = {Design, modelling, setup fabrication and control of a levitation system
                  for a steel plate},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {5},
  pages        = {529--550},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.133978},
  doi          = {10.1504/IJAAC.2023.133978},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/KunduY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/LarbiGMOB23,
  author       = {Meziane Larbi and
                  El{-}Hadi Guechi and
                  Ahmed Maidi and
                  Djamel Ounnas and
                  Karim Belharet},
  title        = {Observer-based 2D tracking control for a vascular microrobot based
                  on the {T-S} fuzzy model},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {6},
  pages        = {573--594},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.134551},
  doi          = {10.1504/IJAAC.2023.134551},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/LarbiGMOB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/LavanyaK23,
  author       = {V. Lavanya and
                  N. Senthil Kumar},
  title        = {Power quality improvement and seamless transfer in a grid-connected
                  microgrid system using \emph{H}\({}_{\mbox{{\(\infty\)}}}\) controller},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {6},
  pages        = {657--685},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.134553},
  doi          = {10.1504/IJAAC.2023.134553},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/LavanyaK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/MaidiC23,
  author       = {Ahmed Maidi and
                  Jean Pierre Corriou},
  title        = {Globally linearising control of linear time-fractional diffusion-advection-reaction
                  systems},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {73--90},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2022.10041963},
  doi          = {10.1504/IJAAC.2022.10041963},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/MaidiC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/MankadP23,
  author       = {Jaivik K. Mankad and
                  Nitin U. Padhiyar},
  title        = {An experimental study of spatial temperature profile control of a
                  distributed parameter heating system using model predictive control},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {4},
  pages        = {351--376},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.131735},
  doi          = {10.1504/IJAAC.2023.131735},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/MankadP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/PanigrahiPNK23,
  author       = {Girija Sankar Panigrahi and
                  Akshaya Kumar Patra and
                  Anuja Nanda and
                  Sanjeeb Kumar Kar},
  title        = {Adaptive controller design based on grasshopper optimisation technique
                  for {BG} regulation in {TIDM} patient},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {4},
  pages        = {440--460},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.131773},
  doi          = {10.1504/IJAAC.2023.131773},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/PanigrahiPNK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/PatelGP23,
  author       = {Vivek Patel and
                  Dipayan Guha and
                  Shubhi Purwar},
  title        = {Disturbance observer-based higher-order sliding mode controller for
                  frequency regulation of hybrid power systems},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {2},
  pages        = {188--226},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10045891},
  doi          = {10.1504/IJAAC.2023.10045891},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/PatelGP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/SuhailBH23,
  author       = {Suhail Ahmad Suhail and
                  Mohammad Abid Bazaz and
                  Shoeb Hussain},
  title        = {Cruise control of autonomous battery electric vehicle using super
                  twisting sliding mode-based active disturbance rejection control},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {2},
  pages        = {133--152},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2022.10043968},
  doi          = {10.1504/IJAAC.2022.10043968},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/SuhailBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/ThokerL23,
  author       = {Zahid Afzal Thoker and
                  Shameem Ahmad Lone},
  title        = {Voltage control in a wind-diesel power system using adaptive {RBF}
                  sliding mode control of {STATCOM}},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {3},
  pages        = {306--327},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.130567},
  doi          = {10.1504/IJAAC.2023.130567},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/ThokerL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/VadapalliM23,
  author       = {Siddhartha Vadapalli and
                  Subhasish Mahapatra},
  title        = {Design of a backstepping technique-based robust state feedback optimal
                  control law for autonomous underwater vehicle in depth plane using
                  semi-definite programming},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {5},
  pages        = {551--571},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.133980},
  doi          = {10.1504/IJAAC.2023.133980},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/VadapalliM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/WangYGW23,
  author       = {Dongshu Wang and
                  Kai Yang and
                  Xulin Gao and
                  Heshan Wang},
  title        = {Decision optimisation of a mobile robot in a complex environment based
                  on memory sequence replay mechanism},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {5},
  pages        = {461--486},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.133977},
  doi          = {10.1504/IJAAC.2023.133977},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/WangYGW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/WeiLGY23,
  author       = {Wenjun Wei and
                  Jiahui Lv and
                  Fengyang Gao and
                  Liben Yang},
  title        = {Event-triggered containment control for multi-agent systems with switching
                  topology in finite-time},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {3},
  pages        = {267--286},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.130564},
  doi          = {10.1504/IJAAC.2023.130564},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/WeiLGY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/WengWHH23,
  author       = {Falu Weng and
                  Hui Wei and
                  Yongji Huang and
                  Leilei Hou},
  title        = {Trajectory tracking control for uncertain agricultural quadrotor based
                  on combining {ASMC} and {NFTSMC}},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {6},
  pages        = {635--656},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.134559},
  doi          = {10.1504/IJAAC.2023.134559},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijaac/WengWHH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/WuZ23,
  author       = {Ruo Wu and
                  Dongya Zhao},
  title        = {Lyapunov-based {MPC} for nonlinear process with online triggered linearised
                  model},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {1--18},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10046543},
  doi          = {10.1504/IJAAC.2023.10046543},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/WuZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/XueZ23,
  author       = {Hui Xue and
                  Tao Zhang},
  title        = {Autonomous decision-making and resource scheduling for integrated
                  radio frequency system},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {2},
  pages        = {171--187},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10046708},
  doi          = {10.1504/IJAAC.2023.10046708},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/XueZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/ZhangLZKW23,
  author       = {Tie Zhang and
                  Cailei Liao and
                  Yanbiao Zou and
                  Zhongqiang Kang and
                  Caicheng Wu},
  title        = {Numerical integration-like algorithm for time-optimal trajectory optimisation
                  of multi-axis motion system based on iterative learning},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {1},
  pages        = {91--115},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.10051796},
  doi          = {10.1504/IJAAC.2023.10051796},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/ZhangLZKW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaac/ZiouiMT23,
  author       = {Nadjet Zioui and
                  Aicha Mahmoudi and
                  Mohamed Tadjine},
  title        = {Design of a new hybrid linearising-backstepping controller using quantum
                  state equations and quantum spins},
  journal      = {Int. J. Autom. Control.},
  volume       = {17},
  number       = {4},
  pages        = {397--417},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJAAC.2023.131754},
  doi          = {10.1504/IJAAC.2023.131754},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaac/ZiouiMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics