default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Quoc-Sang Phan
@inproceedings{DBLP:conf/icse/PhanNN23,
author = {Quoc{-}Sang Phan and
KimHao Nguyen and
ThanhVu Nguyen},
title = {The Challenges of Shift Left Static Analysis},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia,
May 14-20, 2023},
pages = {340--342},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-SEIP58684.2023.00036},
doi = {10.1109/ICSE-SEIP58684.2023.00036},
timestamp = {Thu, 20 Jul 2023 08:23:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/PhanNN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenNP22,
author = {KimHao Nguyen and
ThanhVu Nguyen and
Quoc{-}Sang Phan},
title = {Analyzing the CMake Build System},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2022, Pittsburgh,
PA, USA, May 22-24, 2022},
pages = {27--28},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9793901},
doi = {10.1109/ICSE-SEIP55303.2022.9793901},
timestamp = {Tue, 28 Jun 2022 16:23:39 +0200},
biburl = {https://dblp.org/rec/conf/icse/NguyenNP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/PasareanuKLP19,
author = {Corina S. Pasareanu and
Rody Kersten and
Kasper S{\o}e Luckow and
Quoc{-}Sang Phan},
title = {Chapter Six - Symbolic Execution and Recent Applications to Worst-Case
Execution, Load Testing, and Security Analysis},
journal = {Adv. Comput.},
volume = {113},
pages = {289--314},
year = {2019},
url = {https://doi.org/10.1016/bs.adcom.2018.10.004},
doi = {10.1016/BS.ADCOM.2018.10.004},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/PasareanuKLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PhamLP0Q19,
author = {Long H. Pham and
Quang Loc Le and
Quoc{-}Sang Phan and
Jun Sun and
Shengchao Qin},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Enhancing Symbolic Execution of Heap-Based Programs with Separation
Logic for Test Input Generation},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {209--227},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_12},
doi = {10.1007/978-3-030-31784-3\_12},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/PhamLP0Q19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PhamLP019,
author = {Long H. Pham and
Quang Loc Le and
Quoc{-}Sang Phan and
Jun Sun},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Concolic Testing Heap-Manipulating Programs},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {442--461},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_27},
doi = {10.1007/978-3-030-30942-8\_27},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/PhamLP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05637,
author = {Long H. Pham and
Quang Loc Le and
Quoc{-}Sang Phan and
Jun Sun},
title = {Concolic Testing Heap-Manipulating Programs},
journal = {CoRR},
volume = {abs/1907.05637},
year = {2019},
url = {http://arxiv.org/abs/1907.05637},
eprinttype = {arXiv},
eprint = {1907.05637},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Phan18,
author = {Quoc{-}Sang Phan},
title = {Test input generation using separati logic},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {55},
year = {2018},
url = {https://doi.org/10.1145/3282517.3302418},
doi = {10.1145/3282517.3302418},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Phan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ZhengLNP18,
author = {Guolong Zheng and
Quang Loc Le and
ThanhVu Nguyen and
Quoc{-}Sang Phan},
title = {Automatic Data Structure Repair usingSeparation Logic},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {66},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282528},
doi = {10.1145/3282517.3282528},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ZhengLNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MalacariaKPPL18,
author = {Pasquale Malacaria and
M. H. R. Khouzani and
Corina S. Pasareanu and
Quoc{-}Sang Phan and
Kasper S{\o}e Luckow},
title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
United Kingdom, July 9-12, 2018},
pages = {313--327},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSF.2018.00030},
doi = {10.1109/CSF.2018.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/MalacariaKPPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PhamLP0Q18,
author = {Long H. Pham and
Quang Loc Le and
Quoc{-}Sang Phan and
Jun Sun and
Shengchao Qin},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Testing heap-based programs with Java StarFinder},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {268--269},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3194964},
doi = {10.1145/3183440.3194964},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PhamLP0Q18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MalacariaKPPL18,
author = {Pasquale Malacaria and
M. H. R. Khouzani and
Corina S. Pasareanu and
Quoc{-}Sang Phan and
Kasper S{\o}e Luckow},
title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {329},
year = {2018},
url = {https://eprint.iacr.org/2018/329},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MalacariaKPPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {328--342},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.8},
doi = {10.1109/CSF.2017.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BorgesPFP17,
author = {Mateus Borges and
Quoc{-}Sang Phan and
Antonio Filieri and
Corina S. Pasareanu},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Model-Counting Approaches for Nonlinear Numerical Constraints},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {131--138},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_9},
doi = {10.1007/978-3-319-57288-8\_9},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BorgesPFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BorgesPFP17,
author = {Mateus Borges and
Quoc{-}Sang Phan and
Antonio Filieri and
Corina S. Pasareanu},
title = {Model-counting Approaches For Nonlinear Numerical Constraints},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {244},
year = {2017},
url = {http://eprint.iacr.org/2017/244},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BorgesPFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {401},
year = {2017},
url = {http://eprint.iacr.org/2017/401},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PasareanuPM16,
author = {Corina S. Pasareanu and
Quoc{-}Sang Phan and
Pasquale Malacaria},
title = {Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {387--400},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.34},
doi = {10.1109/CSF.2016.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PasareanuPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAPPB16,
author = {Lucas Bang and
Abdulbaki Aydin and
Quoc{-}Sang Phan and
Corina S. Pasareanu and
Tevfik Bultan},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {String analysis for side channels with segmented oracles},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {193--204},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950362},
doi = {10.1145/2950290.2950362},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BangAPPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Phan15,
author = {Quoc{-}Sang Phan},
title = {Model Counting Modulo Theories},
school = {Queen Mary University of London, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.694422},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Phan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PhanMP15,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria and
Corina S. Pasareanu},
title = {Concurrent Bounded Model Checking},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {1--5},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693240},
doi = {10.1145/2693208.2693240},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PhanMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/PhanM15,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria},
title = {All-Solution Satisfiability Modulo Theories: Applications, Algorithms
and Benchmarks},
booktitle = {10th International Conference on Availability, Reliability and Security,
{ARES} 2015, Toulouse, France, August 24-27, 2015},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ARES.2015.14},
doi = {10.1109/ARES.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/PhanM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Phan15,
author = {Quoc{-}Sang Phan},
title = {Model Counting Modulo Theories},
journal = {CoRR},
volume = {abs/1504.02796},
year = {2015},
url = {http://arxiv.org/abs/1504.02796},
eprinttype = {arXiv},
eprint = {1504.02796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Phan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/PhanM14,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria},
editor = {Shiho Moriai and
Trent Jaeger and
Kouichi Sakurai},
title = {Abstract model counting: a novel approach for quantification of information
leaks},
booktitle = {9th {ACM} Symposium on Information, Computer and Communications Security,
{ASIA} {CCS} '14, Kyoto, Japan - June 03 - 06, 2014},
pages = {283--292},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2590296.2590328},
doi = {10.1145/2590296.2590328},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/PhanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Phan14,
author = {Quoc{-}Sang Phan},
editor = {Rumyana Neykova and
Nicholas Ng},
title = {Symbolic Execution as {DPLL} Modulo Theories},
booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
25-26, 2014, London, United Kingdom},
series = {OASIcs},
volume = {43},
pages = {58--65},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2014.58},
doi = {10.4230/OASICS.ICCSW.2014.58},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Phan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PhanMPd14,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria and
Corina S. Pasareanu and
Marcelo d'Amorim},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Quantifying information leaks using reliability analysis},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {105--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632367},
doi = {10.1145/2632362.2632367},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/PhanMPd14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Phan13,
author = {Quoc{-}Sang Phan},
editor = {Andrew V. Jones and
Nicholas Ng},
title = {Self-composition by Symbolic Execution},
booktitle = {2013 Imperial College Computing Student Workshop, {ICCSW} 2013, September
26/27, 2013, London, United Kingdom},
series = {OASIcs},
volume = {35},
pages = {95--102},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2013},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2013.95},
doi = {10.4230/OASICS.ICCSW.2013.95},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/Phan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PhanMTP12,
author = {Quoc{-}Sang Phan and
Pasquale Malacaria and
Oksana Tkachuk and
Corina S. Pasareanu},
title = {Symbolic quantitative information flow},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {6},
pages = {1--5},
year = {2012},
url = {https://doi.org/10.1145/2382756.2382791},
doi = {10.1145/2382756.2382791},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PhanMTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GriggioPST11,
author = {Alberto Griggio and
Quoc{-}Sang Phan and
Roberto Sebastiani and
Silvia Tomasi},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Stochastic Local Search for {SMT:} Combining Theory Solvers with WalkSAT},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {163--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_12},
doi = {10.1007/978-3-642-24364-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/GriggioPST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africom/CiaghiVWMP09,
author = {Aaron Ciaghi and
Adolfo Villafiorita and
Komminist Weldemariam and
Andrea Mattioli and
Quoc{-}Sang Phan},
editor = {Adolfo Villafiorita and
R{\'{e}}gis Saint{-}Paul and
Alessandro Zorer},
title = {Supporting Public Administration with an Integrated {BPR} Environment},
booktitle = {E-Infrastructures and E-Services on Developing Countries - First International
{ICST} Conference, {AFRICOM} 2009, Maputo, Mozambique, December 3-4,
2009. Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {38},
pages = {50--59},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12701-4\_6},
doi = {10.1007/978-3-642-12701-4\_6},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/africom/CiaghiVWMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 22:48 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:
