Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew M. Marshall
@article{DBLP:journals/corr/abs-2401-17226,
author = {Carter Bunch and
Saraid Dwyer Satterfield and
Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
title = {Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm
Convergent},
journal = {CoRR},
volume = {abs/2401.17226},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17226},
doi = {10.48550/ARXIV.2401.17226},
eprinttype = {arXiv},
eprint = {2401.17226},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/SatterfieldEMR23,
author = {Saraid Dwyer Satterfield and
Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent
Theories},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {30:1--30:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.30},
doi = {10.4230/LIPICS.FSCD.2023.30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/SatterfieldEMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RavishankarM23,
author = {Veena Ravishankar and
Andrew M. Marshall},
editor = {Maureen Doyle and
Ben Stephenson and
Brian Dorn and
Leen{-}Kiat Soh and
Lina Battestilli},
title = {Teaching an Undergraduate 5G Technology and Security Course, and Its
Outcomes},
booktitle = {Proceedings of the 54th {ACM} Technical Symposium on Computer Science
Education, Volume 2, {SIGCSE} 2023, Toronto, ON, Canada, March 15-18,
2023},
pages = {1405},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3545947.3576349},
doi = {10.1145/3545947.3576349},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/RavishankarM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KutsiaM22,
author = {Temur Kutsia and
Andrew M. Marshall},
title = {Preface},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {5},
pages = {453--454},
year = {2022},
url = {https://doi.org/10.1007/s10472-022-09796-0},
doi = {10.1007/S10472-022-09796-0},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KutsiaM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/ErbaturMR22,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Amy P. Felty},
title = {Combined Hierarchical Matching: the Regular Case},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {6:1--6:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.6},
doi = {10.4230/LIPICS.FSCD.2022.6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/ErbaturMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10321,
author = {Dalton Chichester and
Wei Du and
Raymond Kauffman and
Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Luis Rovira and
Brandon Rozek},
editor = {Pierre Ganty and
Dario Della Monica},
title = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic
Algorithms},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {147--161},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.10},
doi = {10.4204/EPTCS.370.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturMR21,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Boris Konev and
Giles Reger},
title = {Non-disjoint Combined Unification and Closure by Equational Paramodulation},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {25--42},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_2},
doi = {10.1007/978-3-030-86205-3\_2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LinLMMNRR21,
author = {Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Brandon Rozek},
editor = {Boris Konev and
Giles Reger},
title = {Algorithmic Problems in the Symbolic Approach to the Verification
of Automatically Synthesized Cryptosystems},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {253--270},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_14},
doi = {10.1007/978-3-030-86205-3\_14},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LinLMMNRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ErbaturMR20,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
title = {Computing knowledge in equational extensions of subterm convergent
theories},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {683--709},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000031},
doi = {10.1017/S0960129520000031},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/ErbaturMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ErbaturMR20,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Maribel Fern{\'{a}}ndez},
title = {Terminating Non-disjoint Combined Unification},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {113--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_6},
doi = {10.1007/978-3-030-68446-4\_6},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/ErbaturMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturMR20,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Terminating Non-Disjoint Combined Unification (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {7:1--7:6},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=39},
timestamp = {Wed, 20 Sep 2023 10:23:47 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/MarshallMNRR20,
author = {Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar and
Brandon Rozek},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {10:1--10:6},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=58},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/MarshallMNRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unif/2020,
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LynchMMNR19,
author = {Christopher Lynch and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar},
editor = {Andreas Herzig and
Andrei Popescu},
title = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {297--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_17},
doi = {10.1007/978-3-030-29007-8\_17},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/LynchMMNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/EerallaEMR19,
author = {Ajay Kumar Eeralla and
Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Rule-Based Unification in Combined Theories and the Finite Variant
Property},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {356--367},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_26},
doi = {10.1007/978-3-030-13435-8\_26},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/EerallaEMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00227,
author = {Christopher Lynch and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Veena Ravishankar},
title = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
journal = {CoRR},
volume = {abs/1907.00227},
year = {2019},
url = {http://arxiv.org/abs/1907.00227},
eprinttype = {arXiv},
eprint = {1907.00227},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturMR17,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
editor = {Leonardo de Moura},
title = {Notions of Knowledge in Combinations of Theories Sharing Constructors},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {60--76},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_5},
doi = {10.1007/978-3-319-63046-5\_5},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MarshallMN15,
author = {Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran},
title = {On Unification Modulo One-Sided Distributivity: Algorithms, Variants
and Asymmetry},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:11)2015},
doi = {10.2168/LMCS-11(2:11)2015},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MarshallMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturKMNR15,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Unification and Matching in Hierarchical Combinations of Syntactic
Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {291--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_18},
doi = {10.1007/978-3-319-24246-0\_18},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturKMNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Anca Muscholl},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {274--288},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_18},
doi = {10.1007/978-3-642-54830-7\_18},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {33--35},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=38},
timestamp = {Tue, 19 Sep 2023 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {Hierarchical Combination of Matching Algorithms (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {36--40},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=41},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Maria Paola Bonacina},
title = {Hierarchical Combination},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {249--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_17},
doi = {10.1007/978-3-642-38574-2\_17},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Konstantin Korovin and
Barbara Morawska},
title = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
Netherlands, June 26, 2013},
series = {EPiC Series in Computing},
volume = {19},
pages = {30--34},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/vb87},
doi = {10.29007/VB87},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MarshallN12,
author = {Andrew M. Marshall and
Paliath Narendran},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {New Algorithms for Unification Modulo One-Sided Distributivity and
Its Variants},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {408--422},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_32},
doi = {10.1007/978-3-642-31365-3\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MarshallN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ErbaturMKN11,
author = {Serdar Erbatur and
Andrew M. Marshall and
Deepak Kapur and
Paliath Narendran},
title = {Unification over Distributive Exponentiation (Sub)Theories},
journal = {J. Autom. Lang. Comb.},
volume = {16},
number = {2-4},
pages = {109--140},
year = {2011},
url = {https://doi.org/10.25596/jalc-2011-109},
doi = {10.25596/JALC-2011-109},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/ErbaturMKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4891,
author = {Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran},
editor = {Maribel Fern{\'{a}}ndez},
title = {Unification modulo a partial theory of exponentiation},
booktitle = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
pages = {12--23},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42.2},
doi = {10.4204/EPTCS.42.2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4894,
author = {Paliath Narendran and
Andrew M. Marshall and
Bibhu Mahapatra},
editor = {Maribel Fern{\'{a}}ndez},
title = {On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo
One-Sided Distributivity},
booktitle = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
pages = {54--63},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42.5},
doi = {10.4204/EPTCS.42.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4894.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 05:55 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:
