Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mirco Kuhlmann
@phdthesis{DBLP:phd/dnb/Kuhlmann20,
author = {Mirco Kuhlmann},
title = {On lightweight analysis of {UML} and {OCL} models},
school = {University of Bremen, Germany},
year = {2020},
url = {https://d-nb.info/1242744673},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Kuhlmann20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ButtnerBHHKGRSRS14,
author = {Fabian B{\"{u}}ttner and
Ullrich Bartels and
Lars Hamann and
Oliver Hofrichter and
Mirco Kuhlmann and
Martin Gogolla and
Lutz Rabe and
Frank Steimke and
Yorck Rabenstein and
Alina Stosiek},
title = {Model-driven standardization of public authority data interchange},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {162--175},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.03.009},
doi = {10.1016/J.SCICO.2013.03.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ButtnerBHHKGRSRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/GogollaHHKF14,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Mirco Kuhlmann and
Robert B. France},
editor = {Hans{-}Georg Fill and
Dimitris Karagiannis and
Ulrich Reimer},
title = {From Application Models to Filmstrip Models: An Approach to Automatic
Validation of Model Dynamics},
booktitle = {Modellierung 2014, 19.-21. M{\"{a}}rz 2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-225}},
pages = {273--288},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/17056},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/GogollaHHKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KuhlmannSG13,
author = {Mirco Kuhlmann and
Karsten Sohr and
Martin Gogolla},
title = {Employing {UML} and {OCL} for designing and analysing role-based access
control},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {796--833},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000266},
doi = {10.1017/S0960129512000266},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KuhlmannSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WilleGSKD13,
author = {Robert Wille and
Martin Gogolla and
Mathias Soeken and
Mirco Kuhlmann and
Rolf Drechsler},
editor = {Enrico Macii},
title = {Towards a generic verification methodology for system models},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {1193--1196},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.248},
doi = {10.7873/DATE.2013.248},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/WilleGSKD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SohrKGHA12,
author = {Karsten Sohr and
Mirco Kuhlmann and
Martin Gogolla and
Hongxin Hu and
Gail{-}Joon Ahn},
title = {Comprehensive two-level analysis of role-based delegation and revocation
policies with {UML} and {OCL}},
journal = {Inf. Softw. Technol.},
volume = {54},
number = {12},
pages = {1396--1417},
year = {2012},
url = {https://doi.org/10.1016/j.infsof.2012.06.008},
doi = {10.1016/J.INFSOF.2012.06.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/SohrKGHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KuhlmannHGB12,
author = {Mirco Kuhlmann and
Lars Hamann and
Martin Gogolla and
Fabian B{\"{u}}ttner},
title = {A benchmark for {OCL} engine accuracy, determinateness, and efficiency},
journal = {Softw. Syst. Model.},
volume = {11},
number = {2},
pages = {165--182},
year = {2012},
url = {https://doi.org/10.1007/s10270-010-0174-8},
doi = {10.1007/S10270-010-0174-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/KuhlmannHGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/HamannVGK12,
author = {Lars Hamann and
L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
Martin Gogolla and
Mirco Kuhlmann},
editor = {Tom Mens and
Anthony Cleve and
Rudolf Ferenc},
title = {Abstract Runtime Monitoring with {USE}},
booktitle = {16th European Conference on Software Maintenance and Reengineering,
{CSMR} 2012, Szeged, Hungary, March 27-30, 2012},
pages = {549--552},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSMR.2012.73},
doi = {10.1109/CSMR.2012.73},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/HamannVGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/KuhlmannG12,
author = {Mirco Kuhlmann and
Martin Gogolla},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {Strengthening SAT-Based Validation of {UML/OCL} Models by Representing
Collections as Relations},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {32--48},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_5},
doi = {10.1007/978-3-642-31491-9\_5},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/KuhlmannG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HamannBKG12,
author = {Lars Hamann and
Fabian B{\"{u}}ttner and
Mirco Kuhlmann and
Martin Gogolla},
editor = {Elmar J. Sinz and
Andy Sch{\"{u}}rr},
title = {Optimierte Suche von Modellinstanzen f{\"{u}}r UML/OCL-Beschreibungen
in {USE}},
booktitle = {Modellierung 2012, 14.-16. M{\"{a}}rz 2012, Bamberg, Deutschland},
series = {{LNI}},
volume = {{P-201}},
pages = {155--170},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18137},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HamannBKG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KuhlmannG12,
author = {Mirco Kuhlmann and
Martin Gogolla},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {From {UML} and {OCL} to Relational Logic and Back},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {415--431},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_27},
doi = {10.1007/978-3-642-33666-9\_27},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/KuhlmannG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BruningGHK12,
author = {Jens Br{\"{u}}ning and
Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Evaluating and Debugging {OCL} Expressions in {UML} Models},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {156--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_13},
doi = {10.1007/978-3-642-30473-6\_13},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/BruningGHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HamannGK11,
author = {Lars Hamann and
Martin Gogolla and
Mirco Kuhlmann},
title = {OCL-based Runtime Monitoring of {JVM} hosted Applications},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {44},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.44.623},
doi = {10.14279/TUJ.ECEASST.44.623},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HamannGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KuhlmannSG11,
author = {Mirco Kuhlmann and
Karsten Sohr and
Martin Gogolla},
title = {Comprehensive Two-Level Analysis of Static and Dynamic {RBAC} Constraints
with {UML} and {OCL}},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea},
pages = {108--117},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI.2011.18},
doi = {10.1109/SSIRI.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KuhlmannSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/KuhlmannHG11,
author = {Mirco Kuhlmann and
Lars Hamann and
Martin Gogolla},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Extensive Validation of {OCL} Models by Integrating {SAT} Solving
into {USE}},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {290--306},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_21},
doi = {10.1007/978-3-642-21952-8\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/KuhlmannHG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SoekenWKGD10,
author = {Mathias Soeken and
Robert Wille and
Mirco Kuhlmann and
Martin Gogolla and
Rolf Drechsler},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Verifying {UML/OCL} models using Boolean satisfiability},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1341--1344},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457017},
doi = {10.1109/DATE.2010.5457017},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SoekenWKGD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/SoekenWKGD10,
author = {Mathias Soeken and
Robert Wille and
Mirco Kuhlmann and
Martin Gogolla and
Rolf Drechsler},
editor = {Manfred Dietrich},
title = {Verifying {UML/OCL} Models Using Boolean Satisfiability},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
2010},
pages = {57--66},
publisher = {Fraunhofer Verlag},
year = {2010},
timestamp = {Thu, 28 Jun 2012 08:20:28 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/SoekenWKGD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/HamannGK10,
author = {Lars Hamann and
Martin Gogolla and
Mirco Kuhlmann},
editor = {Gregor Engels and
Dimitris Karagiannis and
Heinrich C. Mayr},
title = {Zur Validierung von Kompositionsstrukturen in {UML} mit {USE}},
booktitle = {Modellierung 2010, 24.-26. M{\"{a}}rz 2010, Klagenfurt, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-161}},
pages = {169--177},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19695},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/HamannGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaHK10,
author = {Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
editor = {Gordon Fraser and
Angelo Gargantini},
title = {Proving and Visualizing {OCL} Invariant Independence by Automatically
Generated Test Cases},
booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {38--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_5},
doi = {10.1007/978-3-642-13977-2\_5},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/tap/GogollaHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ButtnerGHKL09,
author = {Fabian B{\"{u}}ttner and
Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann and
Arne Lindow},
editor = {Sudipto Ghosh},
title = {On Better Understanding {OCL} Collections \emph{or} An {OCL} Ordered
Set Is Not an {OCL} Set},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {276--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_26},
doi = {10.1007/978-3-642-12261-3\_26},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/ButtnerGHKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GogollaKH09,
author = {Martin Gogolla and
Mirco Kuhlmann and
Lars Hamann},
editor = {Catherine Dubois},
title = {Consistency, Independence and Consequences in {UML} and {OCL} Models},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_8},
doi = {10.1007/978-3-642-02949-3\_8},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/GogollaKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KuhlmannG08,
author = {Mirco Kuhlmann and
Martin Gogolla},
title = {Analyzing Semantic Properties of {OCL} Operations by Uncovering Interoperational
Relationships},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {9},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.9.107},
doi = {10.14279/TUJ.ECEASST.9.107},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KuhlmannG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ButtnerK08,
author = {Fabian B{\"{u}}ttner and
Mirco Kuhlmann},
title = {Problems and Enhancements of the Embedding of {OCL} into {QVT} ImperativeOCL},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {15},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.15.175},
doi = {10.14279/TUJ.ECEASST.15.175},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ButtnerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KuhlmannG08,
author = {Mirco Kuhlmann and
Martin Gogolla},
title = {Modeling and validating Mondex scenarios described in {UML} and {OCL}
with {USE}},
journal = {Formal Aspects Comput.},
volume = {20},
number = {1},
pages = {79--100},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0062-3},
doi = {10.1007/S00165-007-0062-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KuhlmannG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ButtnerK08,
author = {Fabian B{\"{u}}ttner and
Mirco Kuhlmann},
editor = {Michel R. V. Chaudron},
title = {Shortcomings of the Embedding of {OCL} into {QVT} ImperativeOCL},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {263--272},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_28},
doi = {10.1007/978-3-642-01648-6\_28},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/ButtnerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GogollaKB08,
author = {Martin Gogolla and
Mirco Kuhlmann and
Fabian B{\"{u}}ttner},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {A Benchmark for {OCL} Engine Accuracy, Determinateness, and Efficiency},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {446--459},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_32},
doi = {10.1007/978-3-540-87875-9\_32},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/GogollaKB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/KuhlmannSBGGHKS05,
author = {Mirco Kuhlmann and
Florian Scholz and
Marcus Barann and
Paul Grathwohl and
Aysun G{\"{u}}ndogan and
Sonja Hildebrandt and
Dennis Kaspuhl and
Andreas Seewaldt},
title = {LerM - Lehrsystem f{\"{u}}r Kontrapunkt-Kompositionen im Stile
Palestrinas},
journal = {Inform. Spektrum},
volume = {28},
number = {5},
pages = {399--402},
year = {2005},
url = {https://doi.org/10.1007/s00287-005-0019-y},
doi = {10.1007/S00287-005-0019-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/KuhlmannSBGGHKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/informatiktage/GrathwohlFRK05,
author = {Paul Grathwohl and
Armin Fritsch and
Jeremy R{\"{o}}gner and
Mirco Kuhlmann},
title = {Regelbasierte Analyse und Komposition von Musik},
booktitle = {Informatiktage 2005 - Fachwissenschaftlicher Informatik-Kongress,
8. und 9. April 2005, Schloss Birlinghoven, St. Augustin bei Bonn},
series = {{LNI}},
volume = {{S-2}},
pages = {95--99},
publisher = {{GI}},
year = {2005},
timestamp = {Mon, 20 Dec 2021 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/informatiktage/GrathwohlFRK05.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 2023-09-28 03:00 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:
