Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lazhar Hamel
@article{DBLP:journals/jrie/TomanHTGV24,
author = {Zinah Hussein Toman and
Lazhar Hamel and
Sarah Hussein Toman and
Mohamed Graiet and
Dalton C{\'{e}}zane Gomes Valadares},
title = {Formal verification for security and attacks in IoT physical layer},
journal = {J. Reliab. Intell. Environ.},
volume = {10},
number = {1},
pages = {73--91},
year = {2024},
url = {https://doi.org/10.1007/s40860-023-00202-y},
doi = {10.1007/S40860-023-00202-Y},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jrie/TomanHTGV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/TomanHTGO23,
author = {Sarah Hussein Toman and
Lazhar Hamel and
Zinah Hussein Toman and
Mohamed Graiet and
Samir Ouchani},
title = {Formal modelling and verification of scalable service composition
in IoT environment},
journal = {Serv. Oriented Comput. Appl.},
volume = {17},
number = {3},
pages = {213--231},
year = {2023},
url = {https://doi.org/10.1007/s11761-023-00363-x},
doi = {10.1007/S11761-023-00363-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/TomanHTGO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LahouijHG23,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
title = {Formal reconfiguration model for cloud resources},
journal = {Softw. Syst. Model.},
volume = {22},
number = {1},
pages = {225--245},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-00990-6},
doi = {10.1007/S10270-022-00990-6},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/LahouijHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/TomanHG23,
author = {Sarah Hussein Toman and
Lazhar Hamel and
Mohamed Graiet},
title = {Refinement and Verification for IoT Service Composition},
booktitle = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth,
Tunisia, July 9-12, 2023},
pages = {483--486},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISCC58397.2023.10218287},
doi = {10.1109/ISCC58397.2023.10218287},
timestamp = {Wed, 06 Sep 2023 08:09:43 +0200},
biburl = {https://dblp.org/rec/conf/iscc/TomanHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/TomanLHTG23,
author = {Sarah Hussein Toman and
Aida Lahouij and
Lazhar Hamel and
Zinah Hussein Toman and
Mohamed Graiet},
title = {A Correct by Construction Model for {CBPS} Systems Verification},
booktitle = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth,
Tunisia, July 9-12, 2023},
pages = {1299--1304},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISCC58397.2023.10217842},
doi = {10.1109/ISCC58397.2023.10217842},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscc/TomanLHTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/KotelSKH23,
author = {Sonia Kotel and
Fatma Sbiaa and
Raouda Maraoui Kamoun and
Lazhar Hamel},
editor = {George A. Tsihrintzis and
Carlos Toro and
Sebasti{\'{a}}n A. R{\'{\i}}os and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Blockchain-based approach for secure IoT},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 27th International Conference KES-2023, Athens,
Greece, 6-8 September 2023},
series = {Procedia Computer Science},
volume = {225},
pages = {3876--3886},
publisher = {Elsevier},
year = {2023},
url = {https://doi.org/10.1016/j.procs.2023.10.383},
doi = {10.1016/J.PROCS.2023.10.383},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/KotelSKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MammarHG22,
author = {Amel Mammar and
Lazhar Hamel and
Mohamed Graiet},
title = {An Event-B-Based Approach to Model and Verify Behaviors for Component-Based
Applications},
journal = {Comput. J.},
volume = {65},
number = {10},
pages = {2780--2800},
year = {2022},
url = {https://doi.org/10.1093/comjnl/bxab115},
doi = {10.1093/COMJNL/BXAB115},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/MammarHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/LahouijHG22,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
title = {An Event-B model for dynamically managing cloud resources},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {1},
pages = {85--104},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00419-1},
doi = {10.1007/S11334-021-00419-1},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/LahouijHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/LahouijHG22,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
title = {An optimization approach for cloud composite services},
journal = {J. Supercomput.},
volume = {78},
number = {3},
pages = {3621--3645},
year = {2022},
url = {https://doi.org/10.1007/s11227-021-03995-y},
doi = {10.1007/S11227-021-03995-Y},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/LahouijHG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/LtaiefTH22,
author = {Malek Ltaief and
Sarah Hussein Toman and
Lazhar Hamel},
editor = {Costin Badica and
Jan Treur and
Djamal Benslimane and
Bogumila Hnatkowska and
Marek Kr{\'{o}}tkiewicz},
title = {{UML} Profile for IoT-Based Applications},
booktitle = {Advances in Computational Collective Intelligence - 14th International
Conference, {ICCCI} 2022, Hammamet, Tunisia, September 28-30, 2022,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1653},
pages = {515--527},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16210-7\_42},
doi = {10.1007/978-3-031-16210-7\_42},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccci/LtaiefTH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/OmriTH22,
author = {Rihab Omri and
Zinah Hussein Toman and
Lazhar Hamel},
editor = {Costin Badica and
Jan Treur and
Djamal Benslimane and
Bogumila Hnatkowska and
Marek Kr{\'{o}}tkiewicz},
title = {A Formal Verification Model for IoT Based Applications Using Event-B},
booktitle = {Advances in Computational Collective Intelligence - 14th International
Conference, {ICCCI} 2022, Hammamet, Tunisia, September 28-30, 2022,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1653},
pages = {528--541},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16210-7\_43},
doi = {10.1007/978-3-031-16210-7\_43},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccci/OmriTH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/TomanHTG22,
author = {Zinah Hussein Toman and
Lazhar Hamel and
Sarah Hussein Toman and
Mohamed Graiet},
editor = {Matteo Cristani and
Carlos Toro and
Cecilia Zanni{-}Merk and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Correct-by-Construction Approach for Formal Verification of IoT Architecture},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 26th International Conference KES-2022, Verona,
Italy and Virtual Event, 7-9 September 2022},
series = {Procedia Computer Science},
volume = {207},
pages = {2598--2609},
publisher = {Elsevier},
year = {2022},
url = {https://doi.org/10.1016/j.procs.2022.09.318},
doi = {10.1016/J.PROCS.2022.09.318},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/TomanHTG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LahouijHGA20,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet and
B{\'{e}}chir el Ayeb},
title = {An Event-B based approach for cloud composite services verification},
journal = {Formal Aspects Comput.},
volume = {32},
number = {4-6},
pages = {361--393},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00517-0},
doi = {10.1007/S00165-020-00517-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LahouijHGA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/LahouijHG20,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
editor = {Sihem Ben Sassi and
St{\'{e}}phane Ducasse and
Hafedh Mili},
title = {Dynamic Reconfiguration of Cloud Composite Services Using Event-B},
booktitle = {Reuse in Emerging Software Engineering Practices - 19th International
Conference on Software and Systems Reuse, {ICSR} 2020, Hammamet, Tunisia,
December 2-4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12541},
pages = {69--84},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64694-3\_5},
doi = {10.1007/978-3-030-64694-3\_5},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/LahouijHG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/LahouijHG18,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Henderik A. Proper and
Claudio Agostino Ardagna and
Dumitru Roman and
Robert Meersman},
title = {Deadlock-Freeness Verification of Cloud Composite Services Using Event-B},
booktitle = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
- Confederated International Conferences: CoopIS, C{\&}TC, and
{ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11229},
pages = {604--622},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02610-3\_34},
doi = {10.1007/978-3-030-02610-3\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/LahouijHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/LahouijHGM18,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet and
Mohammed El Malki},
title = {A Formal Approach for Cloud Composite Services Verification},
booktitle = {11th {IEEE} Conference on Service-Oriented Computing and Applications,
{SOCA} 2018, Paris, France, November 20-22, 2018},
pages = {161--168},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SOCA.2018.00031},
doi = {10.1109/SOCA.2018.00031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/LahouijHGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GraietHMT17,
author = {Mohamed Graiet and
Lazhar Hamel and
Amel Mammar and
Samir Tata},
title = {A verification and deployment approach for elastic component-based
applications},
journal = {Formal Aspects Comput.},
volume = {29},
number = {6},
pages = {987--1011},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0425-3},
doi = {10.1007/S00165-017-0425-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GraietHMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/LahouijHGEG16,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet and
Abir Elkhalfa and
Walid Gaaloul},
editor = {Christophe Debruyne and
Herv{\'{e}} Panetto and
Robert Meersman and
Tharam S. Dillon and
Eva K{\"{u}}hn and
Declan O'Sullivan and
Claudio Agostino Ardagna},
title = {A Global SLA-Aware Approach for Aggregating Services in the Cloud},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
- Confederated International Conferences: CoopIS, C{\&}TC, and
{ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10033},
pages = {363--380},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48472-3\_21},
doi = {10.1007/978-3-319-48472-3\_21},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/otm/LahouijHGEG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/GraietAMSH15,
author = {Mohamed Graiet and
Imed Abbassi and
Raoudha Maraoui and
Sindyana Jlassi and
Lazhar Hamel},
title = {A Formal Approach for Ensuring a Correct Reconfigurable Composite
Service},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {411--418},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCC.2015.63},
doi = {10.1109/SCC.2015.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/GraietAMSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GraietLAHK15,
author = {Mohamed Graiet and
Aida Lahouij and
Imed Abbassi and
Lazhar Hamel and
Mourad Kmimech},
editor = {John A. Miller and
Hong Zhu},
title = {Formal Behavioral Modeling for Verifying {SCA} Composition with Event-B},
booktitle = {2015 {IEEE} International Conference on Web Services, {ICWS} 2015,
New York, NY, USA, June 27 - July 2, 2015},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICWS.2015.13},
doi = {10.1109/ICWS.2015.13},
timestamp = {Thu, 11 Apr 2024 20:25:44 +0200},
biburl = {https://dblp.org/rec/conf/icws/GraietLAHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/HamelGK15,
author = {Lazhar Hamel and
Mohamed Graiet and
Mourad Kmimech},
title = {Formal modeling for verifying {SCA} composition},
booktitle = {9th {IEEE} International Conference on Research Challenges in Information
Science, {RCIS} 2015, Athens, Greece, May 13-15, 2015},
pages = {193--204},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RCIS.2015.7128880},
doi = {10.1109/RCIS.2015.7128880},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcis/HamelGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/LahouijHG15,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
editor = {Sumitra Reddy},
title = {Formal Modeling for Verifying {SCA} Dynamic Composition with Event-B},
booktitle = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2015, Larnaca, Cyprus, June
15-17, 2015},
pages = {29--34},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/WETICE.2015.50},
doi = {10.1109/WETICE.2015.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/LahouijHG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GraietAHBKG13,
author = {Mohamed Graiet and
Imed Abbassi and
Lazhar Hamel and
Mohamed Tahar Bhiri and
Mourad Kmimech and
Walid Gaaloul},
title = {Event-B Based Approach for Verifying Dynamic Composite Service Transactional
Behavior},
booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
CA, USA, June 28 - July 3, 2013},
pages = {251--259},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICWS.2013.42},
doi = {10.1109/ICWS.2013.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/GraietAHBKG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/LahouijHG13,
author = {Aida Lahouij and
Lazhar Hamel and
Mohamed Graiet},
title = {Formal Verification of {SCA} Assembly Model with Event-B},
booktitle = {Ninth International Conference on Semantics, Knowledge and Grids,
{SKG} 2013, Beijing, China, October 3-4, 2013},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SKG.2013.31},
doi = {10.1109/SKG.2013.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/skg/LahouijHG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HamelGKB12,
author = {Lazhar Hamel and
Mohamed Graiet and
Mourad Kmimech and
Mohamed Tahar Bhiri},
editor = {Marcello La Rosa and
Pnina Soffer},
title = {Event-B Formalisation for Dynamic Composition: {A} Logistics-Based
Process as a Use Case},
booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops,
Tallinn, Estonia, September 3, 2012. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {132},
pages = {513--518},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36285-9\_52},
doi = {10.1007/978-3-642-36285-9\_52},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/HamelGKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/HamelGG12,
author = {Lazhar Hamel and
Mohamed Graiet and
Walid Gaaloul},
title = {Event-B Formalisation of Web Services for Dynamic Composition},
booktitle = {Eighth International Conference on Semantics, Knowledge and Grids,
{SKG} 2012, Beijing, China, October 22-24, 2012},
pages = {150--156},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SKG.2012.31},
doi = {10.1109/SKG.2012.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/skg/HamelGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/HamelGKBG11,
author = {Lazhar Hamel and
Mohamed Graiet and
Mourad Kmimech and
Mohamed Tahar Bhiri and
Walid Gaaloul},
editor = {Ivica Crnkovic and
Volker Gruhn and
Matthias Book},
title = {Verifying Composite Service Transactional Behavior with {EVENT-B}},
booktitle = {Software Architecture - 5th European Conference, {ECSA} 2011, Essen,
Germany, September 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6903},
pages = {67--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23798-0\_7},
doi = {10.1007/978-3-642-23798-0\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/HamelGKBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/HamelGKBG11,
author = {Lazhar Hamel and
Mohamed Graiet and
Mourad Kmimech and
Mohamed Tahar Bhiri and
Walid Gaaloul},
title = {Verifying Composite Service Transactional Behavior with {EVENT-B}},
booktitle = {Seventh International Conference on Semantics Knowledge and Grid {(SKG}
2011), Beijing, China, October 24-26, 2011},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SKG.2011.35},
doi = {10.1109/SKG.2011.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/skg/HamelGKBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
