Search dblp for Publications

export results for "toc:db/journals/tcps/tcps7.bht:"

 download as .bib file

@article{DBLP:journals/tcps/AlsolimanRCLPC23,
  author       = {Anas Alsoliman and
                  Giulio Rigoni and
                  Davide Callegaro and
                  Marco Levorato and
                  Cristina M. Pinotti and
                  Mauro Conti},
  title        = {Intrusion Detection Framework for Invasive {FPV} Drones Using Video
                  Streaming Characteristics},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {12:1--12:29},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579999},
  doi          = {10.1145/3579999},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/AlsolimanRCLPC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AngermeierWBHE23,
  author       = {Daniel Angermeier and
                  Hannah Wester and
                  Kristian Beilke and
                  Gerhard Hansch and
                  J{\"{o}}rn Eichler},
  title        = {Security Risk Assessments: Modeling and Risk Level Propagation},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {8:1--8:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3569458},
  doi          = {10.1145/3569458},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/AngermeierWBHE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/AsiriSGB23,
  author       = {Mohammed Asiri and
                  Neetesh Saxena and
                  Rigel Gjomemo and
                  Pete Burnap},
  title        = {Understanding Indicators of Compromise against Cyber-attacks in Industrial
                  Control Systems: {A} Security Perspective},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {15:1--15:33},
  year         = {2023},
  url          = {https://doi.org/10.1145/3587255},
  doi          = {10.1145/3587255},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/AsiriSGB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/BanikRBB23,
  author       = {Sandeep Banik and
                  Thiagarajan Ramachandran and
                  Arnab Bhattacharya and
                  Shaunak D. Bopardikar},
  title        = {Automated Adversary-in-the-Loop Cyber-Physical Defense Planning},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {18:1--18:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3596222},
  doi          = {10.1145/3596222},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/BanikRBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChakrabortyJSM23,
  author       = {Samarjit Chakraborty and
                  Somesh Jha and
                  Soheil Samii and
                  Philipp Mundhenk},
  title        = {Introduction to the Special Issue on Automotive {CPS} Safety {\&}
                  Security: Part 1},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {1:1--1:6},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579986},
  doi          = {10.1145/3579986},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/ChakrabortyJSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChenKTBCLMCS23,
  author       = {Jiyang Chen and
                  Tomasz Kloda and
                  Rohan Tabish and
                  Ayoosh Bansal and
                  Chien{-}Ying Chen and
                  Bo Liu and
                  Sibin Mohan and
                  Marco Caccamo and
                  Lui Sha},
  title        = {SchedGuard++: Protecting against Schedule Leaks Using Linux Containers
                  on Multi-Core Processors},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {6:1--6:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3565974},
  doi          = {10.1145/3565974},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/ChenKTBCLMCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/DantasN23,
  author       = {Yuri Gil Dantas and
                  Vivek Nigam},
  title        = {Automating Safety and Security Co-design through Semantically Rich
                  Architecture Patterns},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {5:1--5:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3565269},
  doi          = {10.1145/3565269},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/DantasN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/EsinerTMCKN23,
  author       = {Ertem Esiner and
                  Utku Tefek and
                  Daisuke Mashima and
                  Binbin Chen and
                  Zbigniew Kalbarczyk and
                  David M. Nicol},
  title        = {Message Authentication and Provenance Verification for Industrial
                  Control Systems},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {24:1--24:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607194},
  doi          = {10.1145/3607194},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/EsinerTMCKN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FahimPKRKA23,
  author       = {Abdulrahman Fahim and
                  Evangelos E. Papalexakis and
                  Srikanth V. Krishnamurthy and
                  Amit K. Roy{-}Chowdhury and
                  Lance M. Kaplan and
                  Tarek F. Abdelzaher},
  title        = {AcTrak: Controlling a Steerable Surveillance Camera using Reinforcement
                  Learning},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {14:1--14:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3585316},
  doi          = {10.1145/3585316},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/FahimPKRKA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FanWL23,
  author       = {Xueli Fan and
                  Qixin Wang and
                  Jie Liu},
  title        = {A Reliable Wireless Protocol for Highway and Metered-Ramp {CAV} Collaborative
                  Merging with Constant-Time-Headway Safety Guarantee},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {23:1--23:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609227},
  doi          = {10.1145/3609227},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/FanWL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FuCQY23,
  author       = {Anqi Fu and
                  Sijia Chen and
                  Junfei Qiao and
                  Chengpu Yu},
  title        = {Periodic Event-Triggered {CACC} and Communication Co-design for Vehicle
                  Platooning},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {28:1--28:19},
  year         = {2023},
  url          = {https://doi.org/10.1145/3617125},
  doi          = {10.1145/3617125},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/FuCQY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HsiehCTWBCLKHZ23,
  author       = {Yi{-}Ting Hsieh and
                  Tzu{-}Tao Chang and
                  Chen{-}Jun Tsai and
                  Shih{-}Lun Wu and
                  Ching{-}Yuan Bai and
                  Kai{-}Chieh Chang and
                  Chung{-}Wei Lin and
                  Eunsuk Kang and
                  Chao Huang and
                  Qi Zhu},
  title        = {System Verification and Runtime Monitoring with Multiple Weakly-Hard
                  Constraints},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {21:1--21:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3603380},
  doi          = {10.1145/3603380},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/HsiehCTWBCLKHZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/KoleyDMSLG23,
  author       = {Ipsita Koley and
                  Soumyajit Dey and
                  Debdeep Mukhopadhyay and
                  Sachin Kumar Singh and
                  Lavanya Lokesh and
                  Shantaram Vishwanath Ghotgalkar},
  title        = {{CAD} Support for Security and Robustness Analysis of Safety-critical
                  Automotive Software},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {7:1--7:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571287},
  doi          = {10.1145/3571287},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/KoleyDMSLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MahmoodSZWS23,
  author       = {Adnan Mahmood and
                  Quan Z. Sheng and
                  Wei Emma Zhang and
                  Yan Wang and
                  Subhash Sagar},
  title        = {Toward a Distributed Trust Management System for Misbehavior Detection
                  in the Internet of Vehicles},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {16:1--16:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594637},
  doi          = {10.1145/3594637},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MahmoodSZWS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MamduhiH23,
  author       = {Mohammad H. Mamduhi and
                  Ehsan Hashemi},
  title        = {Event-Triggered Control with Intermittent Communications over Erasure
                  Channels for Leader-Follower Problems with the Combined-Slip Effect},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {29:1--29:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625562},
  doi          = {10.1145/3625562},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/MamduhiH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaoGHSV23,
  author       = {Yanbing Mao and
                  Yuliang Gu and
                  Naira Hovakimyan and
                  Lui Sha and
                  Petros G. Voulgaris},
  title        = {S{\(\mathscr{L}\)}\({}_{\mbox{1}}\)-Simplex: Safe Velocity Regulation
                  of Self-Driving Vehicles in Dynamic and Unforeseen Environments},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {2:1--2:24},
  year         = {2023},
  url          = {https://doi.org/10.1145/3564273},
  doi          = {10.1145/3564273},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MaoGHSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MarkertM23,
  author       = {Daniel Markert and
                  Alejandro Masrur},
  title        = {A Two-Speed Synchronous Traffic Protocol for Intelligent Intersections:
                  From Single-Vehicle to Platoon Crossing},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {10:1--10:21},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571289},
  doi          = {10.1145/3571289},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MarkertM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MarufNCMP23,
  author       = {Abdullah Al Maruf and
                  Luyao Niu and
                  Andrew Clark and
                  J. Sukarno Mertoguno and
                  Radha Poovendran},
  title        = {A Timing-Based Framework for Designing Resilient Cyber-Physical Systems
                  under Safety Constraint},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {19:1--19:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594638},
  doi          = {10.1145/3594638},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MarufNCMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MehtaRLYM23,
  author       = {Jarul Mehta and
                  Guillaume Richard and
                  Loren Lugosch and
                  Derek Yu and
                  Brett H. Meyer},
  title        = {{DT-DS:} {CAN} Intrusion Detection with Decision Tree Ensembles},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {4:1--4:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3566132},
  doi          = {10.1145/3566132},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MehtaRLYM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MohamadJASS23,
  author       = {Mazen Mohamad and
                  Rodi Jolak and
                  {\"{O}}rjan Askerdal and
                  Jan{-}Philipp Stegh{\"{o}}fer and
                  Riccardo Scandariato},
  title        = {{CASCADE:} An Asset-driven Approach to Build Security Assurance Cases
                  for Automotive Systems},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {3:1--3:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3569459},
  doi          = {10.1145/3569459},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/MohamadJASS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MousaviEM23,
  author       = {Hassan Mousavi and
                  Ali Ebnenasir and
                  Elham Mahmoudzadeh},
  title        = {Formal Specification, Verification and Repair of Contiki's Scheduler},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {22:1--22:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3605948},
  doi          = {10.1145/3605948},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/MousaviEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SahaniZCL23,
  author       = {Nitasha Sahani and
                  Ruoxi Zhu and
                  Jin{-}Hee Cho and
                  Chen{-}Ching Liu},
  title        = {Machine Learning-based Intrusion Detection for Smart Grid Computing:
                  {A} Survey},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {11:1--11:31},
  year         = {2023},
  url          = {https://doi.org/10.1145/3578366},
  doi          = {10.1145/3578366},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/SahaniZCL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SarieddineSTAA23,
  author       = {Khaled Sarieddine and
                  Mohammad Ali Sayed and
                  Sadegh Torabi and
                  Ribal Atallah and
                  Chadi Assi},
  title        = {Investigating the Security of {EV} Charging Mobile Applications as
                  an Attack Surface},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {26:1--26:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609508},
  doi          = {10.1145/3609508},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/SarieddineSTAA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/SerruNBR23,
  author       = {Th{\'{e}}o Serru and
                  Nga Nguyen and
                  Michel Batteux and
                  Antoine Rauzy},
  title        = {Minimal Critical Sequences in Model-based Safety and Security Analyses:
                  Commonalities and Differences},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {17:1--17:20},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593811},
  doi          = {10.1145/3593811},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/SerruNBR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/StrickerLJJT23,
  author       = {Naomi Stricker and
                  Yingzhao Lian and
                  Yuning Jiang and
                  Colin N. Jones and
                  Lothar Thiele},
  title        = {Self-triggered Control with Energy Harvesting Sensor Nodes},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {3},
  pages        = {20:1--20:31},
  year         = {2023},
  url          = {https://doi.org/10.1145/3597311},
  doi          = {10.1145/3597311},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/StrickerLJJT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TiausasYTYYBDD23,
  author       = {Francis Tiausas and
                  Keiichi Yasumoto and
                  Jose Paolo Talusan and
                  Hayato Yamana and
                  Hirozumi Yamaguchi and
                  Shameek Bhattacharjee and
                  Abhishek Dubey and
                  Sajal K. Das},
  title        = {HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {27:1--27:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3616874},
  doi          = {10.1145/3616874},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/TiausasYTYYBDD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/VinitskyLPB23,
  author       = {Eugene Vinitsky and
                  Nathan Lichtl{\'{e}} and
                  Kanaad Parvate and
                  Alexandre M. Bayen},
  title        = {Optimizing Mixed Autonomy Traffic Flow with Decentralized Autonomous
                  Vehicles and Multi-Agent Reinforcement Learning},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {13:1--13:22},
  year         = {2023},
  url          = {https://doi.org/10.1145/3582576},
  doi          = {10.1145/3582576},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/VinitskyLPB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YuL23,
  author       = {Handi Yu and
                  Xin Li},
  title        = {Data-Driven Parameterized Corner Synthesis for Efficient Validation
                  of Perception Systems for Autonomous Driving},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {9:1--9:24},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571286},
  doi          = {10.1145/3571286},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/YuL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ZoppiMCCSESRB23,
  author       = {Tommaso Zoppi and
                  Innocenzo Mungiello and
                  Andrea Ceccarelli and
                  Alberto Cirillo and
                  Lorenzo Sarti and
                  Lorenzo Esposito and
                  Giuseppe Scaglione and
                  Sergio Repetto and
                  Andrea Bondavalli},
  title        = {Safe Maintenance of Railways using {COTS} Mobile Devices: The Remote
                  Worker Dashboard},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {25:1--25:20},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607193},
  doi          = {10.1145/3607193},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/ZoppiMCCSESRB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics