Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yoav Rodeh
@article{DBLP:journals/corr/abs-2402-10174,
author = {Petra Hozzov{\'{a}} and
Jaroslav Bend{\'{\i}}k and
Alexander Nutz and
Yoav Rodeh},
title = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract
Verification},
journal = {CoRR},
volume = {abs/2402.10174},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10174},
doi = {10.48550/ARXIV.2402.10174},
eprinttype = {arXiv},
eprint = {2402.10174},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HozzovaBNR23,
author = {Petra Hozzov{\'{a}} and
Jaroslav Bend{\'{\i}}k and
Alexander Nutz and
Yoav Rodeh},
editor = {Ruzica Piskac and
Andrei Voronkov},
title = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract
Verification},
booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic
for Programming, Artificial Intelligence and Reasoning, Manizales,
Colombia, 4-9th June 2023},
series = {EPiC Series in Computing},
volume = {94},
pages = {257--269},
publisher = {EasyChair},
year = {2023},
url = {https://doi.org/10.29007/h4p7},
doi = {10.29007/H4P7},
timestamp = {Wed, 12 Jul 2023 16:50:32 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HozzovaBNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/BoczkowskiFKR21,
author = {Lucas Boczkowski and
Uriel Feige and
Amos Korman and
Yoav Rodeh},
title = {Navigating in Trees with Permanently Noisy Advice},
journal = {{ACM} Trans. Algorithms},
volume = {17},
number = {2},
pages = {15:1--15:27},
year = {2021},
url = {https://doi.org/10.1145/3448305},
doi = {10.1145/3448305},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/BoczkowskiFKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KormanR20,
author = {Amos Korman and
Yoav Rodeh},
title = {Multi-round cooperative search games with multiple players},
journal = {J. Comput. Syst. Sci.},
volume = {113},
pages = {125--149},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2020.05.003},
doi = {10.1016/J.JCSS.2020.05.003},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/KormanR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FraigniaudKR19,
author = {Pierre Fraigniaud and
Amos Korman and
Yoav Rodeh},
title = {Parallel Bayesian Search with No Coordination},
journal = {J. {ACM}},
volume = {66},
number = {3},
pages = {17:1--17:28},
year = {2019},
url = {https://doi.org/10.1145/3304111},
doi = {10.1145/3304111},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FraigniaudKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KormanR19,
author = {Amos Korman and
Yoav Rodeh},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Multi-Round Cooperative Search Games with Multiple Players},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {146:1--146:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.146},
doi = {10.4230/LIPICS.ICALP.2019.146},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KormanR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/KormanR18,
author = {Amos Korman and
Yoav Rodeh},
title = {The Dependent Doors Problem: An Investigation into Sequential Decisions
without Feedback},
journal = {{ACM} Trans. Algorithms},
volume = {14},
number = {4},
pages = {43:1--43:23},
year = {2018},
url = {https://doi.org/10.1145/3218819},
doi = {10.1145/3218819},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/talg/KormanR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/BoczkowskiKR18,
author = {Lucas Boczkowski and
Amos Korman and
Yoav Rodeh},
editor = {Yossi Azar and
Hannah Bast and
Grzegorz Herman},
title = {Searching a Tree with Permanently Noisy Advice},
booktitle = {26th Annual European Symposium on Algorithms, {ESA} 2018, August 20-22,
2018, Helsinki, Finland},
series = {LIPIcs},
volume = {112},
pages = {54:1--54:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ESA.2018.54},
doi = {10.4230/LIPICS.ESA.2018.54},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/esa/BoczkowskiKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01270,
author = {Amos Korman and
Yoav Rodeh},
title = {Cooperative Search Games: Symmetric Equilibria, Robustness, and Price
of Anarchy},
journal = {CoRR},
volume = {abs/1811.01270},
year = {2018},
url = {http://arxiv.org/abs/1811.01270},
eprinttype = {arXiv},
eprint = {1811.01270},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FeinermanKKR17,
author = {Ofer Feinerman and
Amos Korman and
Shay Kutten and
Yoav Rodeh},
title = {Fast rendezvous on a cycle by agents with different speeds},
journal = {Theor. Comput. Sci.},
volume = {688},
pages = {77--85},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2015.12.035},
doi = {10.1016/J.TCS.2015.12.035},
timestamp = {Tue, 04 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FeinermanKKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KormanR17,
author = {Amos Korman and
Yoav Rodeh},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {The Dependent Doors Problem: An Investigation into Sequential Decisions
without Feedback},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {81:1--81:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.81},
doi = {10.4230/LIPICS.ICALP.2017.81},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KormanR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/KormanR17,
author = {Amos Korman and
Yoav Rodeh},
editor = {Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Parallel Search with No Coordination},
booktitle = {Structural Information and Communication Complexity - 24th International
Colloquium, {SIROCCO} 2017, Porquerolles, France, June 19-22, 2017,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10641},
pages = {195--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72050-0\_12},
doi = {10.1007/978-3-319-72050-0\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/KormanR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KormanR17,
author = {Amos Korman and
Yoav Rodeh},
title = {The Dependent Doors Problem: An Investigation into Sequential Decisions
without Feedback},
journal = {CoRR},
volume = {abs/1704.06096},
year = {2017},
url = {http://arxiv.org/abs/1704.06096},
eprinttype = {arXiv},
eprint = {1704.06096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KormanR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KormanR17a,
author = {Amos Korman and
Yoav Rodeh},
title = {Parallel Search with no Coordination},
journal = {CoRR},
volume = {abs/1705.05704},
year = {2017},
url = {http://arxiv.org/abs/1705.05704},
eprinttype = {arXiv},
eprint = {1705.05704},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KormanR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FraigniaudKR16,
author = {Pierre Fraigniaud and
Amos Korman and
Yoav Rodeh},
editor = {Daniel Wichs and
Yishay Mansour},
title = {Parallel exhaustive search without coordination},
booktitle = {Proceedings of the 48th Annual {ACM} {SIGACT} Symposium on Theory
of Computing, {STOC} 2016, Cambridge, MA, USA, June 18-21, 2016},
pages = {312--323},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897518.2897541},
doi = {10.1145/2897518.2897541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FraigniaudKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KormanR16,
author = {Amos Korman and
Yoav Rodeh},
title = {Parallel Linear Search with no Coordination for a Randomly Placed
Treasure},
journal = {CoRR},
volume = {abs/1602.04952},
year = {2016},
url = {http://arxiv.org/abs/1602.04952},
eprinttype = {arXiv},
eprint = {1602.04952},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KormanR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoczkowskiKR16,
author = {Lucas Boczkowski and
Amos Korman and
Yoav Rodeh},
title = {Searching on Trees with Noisy Memory},
journal = {CoRR},
volume = {abs/1611.01403},
year = {2016},
url = {http://arxiv.org/abs/1611.01403},
eprinttype = {arXiv},
eprint = {1611.01403},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoczkowskiKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FraigniaudKR15,
author = {Pierre Fraigniaud and
Amos Korman and
Yoav Rodeh},
title = {Parallel Exhaustive Search without Coordination},
journal = {CoRR},
volume = {abs/1511.00486},
year = {2015},
url = {http://arxiv.org/abs/1511.00486},
eprinttype = {arXiv},
eprint = {1511.00486},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FraigniaudKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/FeinermanKKR14,
author = {Ofer Feinerman and
Amos Korman and
Shay Kutten and
Yoav Rodeh},
editor = {Mainak Chatterjee and
Jiannong Cao and
Kishore Kothapalli and
Sergio Rajsbaum},
title = {Fast Rendezvous on a Cycle by Agents with Different Speeds},
booktitle = {Distributed Computing and Networking - 15th International Conference,
{ICDCN} 2014, Coimbatore, India, January 4-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8314},
pages = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45249-9\_1},
doi = {10.1007/978-3-642-45249-9\_1},
timestamp = {Tue, 14 Apr 2020 13:23:10 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/FeinermanKKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-5787,
author = {Ofer Feinerman and
Amos Korman and
Shay Kutten and
Yoav Rodeh},
title = {Rendezvous of Agents with Different Speeds},
journal = {CoRR},
volume = {abs/1211.5787},
year = {2012},
url = {http://arxiv.org/abs/1211.5787},
eprinttype = {arXiv},
eprint = {1211.5787},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-5787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KormanPR10,
author = {Amos Korman and
David Peleg and
Yoav Rodeh},
title = {Constructing Labeling Schemes through Universal Matrices},
journal = {Algorithmica},
volume = {57},
number = {4},
pages = {641--652},
year = {2010},
url = {https://doi.org/10.1007/s00453-008-9226-7},
doi = {10.1007/S00453-008-9226-7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KormanPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RodehS06,
author = {Yoav Rodeh and
Ofer Strichman},
title = {Building small equality graphs for deciding equality logic with uninterpreted
functions},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {26--59},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.08.001},
doi = {10.1016/J.IC.2005.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RodehS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KormanPR06,
author = {Amos Korman and
David Peleg and
Yoav Rodeh},
editor = {Tetsuo Asano},
title = {Constructing Labeling Schemes Through Universal Matrices},
booktitle = {Algorithms and Computation, 17th International Symposium, {ISAAC}
2006, Kolkata, India, December 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4288},
pages = {409--418},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940128\_42},
doi = {10.1007/11940128\_42},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KormanPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KormanPR04,
author = {Amos Korman and
David Peleg and
Yoav Rodeh},
title = {Labeling Schemes for Dynamic Tree Networks},
journal = {Theory Comput. Syst.},
volume = {37},
number = {1},
pages = {49--75},
year = {2004},
url = {https://doi.org/10.1007/s00224-003-1106-6},
doi = {10.1007/S00224-003-1106-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KormanPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliRSS03,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
title = {Erratum ("The small model property: how small can it be?"
Volume 178, Number 1 [2002], pages 279-293)},
journal = {Inf. Comput.},
volume = {184},
number = {1},
pages = {227},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00117-2},
doi = {10.1016/S0890-5401(03)00117-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliRSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LangbergPR03,
author = {Michael Langberg and
Amir Pnueli and
Yoav Rodeh},
editor = {Daniel Geist and
Enrico Tronci},
title = {The {ROBDD} Size of Simple {CNF} Formulas},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {363--377},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_32},
doi = {10.1007/978-3-540-39724-3\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/LangbergPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/KeidarR03,
author = {Sharon Keidar and
Yoav Rodeh},
editor = {Joseph M. Morris and
Benjamin Aziz and
Fr{\'{e}}d{\'{e}}ric Oehl},
title = {Searching for Counter-Examples Adaptively},
booktitle = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
City University, Ireland, 11 July, 2003},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2003},
url = {http://ewic.bcs.org/content/ConWebDoc/4021},
timestamp = {Tue, 19 Jun 2018 08:05:11 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/KeidarR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliRSS02,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
title = {The Small Model Property: How Small Can It Be?},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {279--293},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3175},
doi = {10.1006/INCO.2002.3175},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliRSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KormanPR02,
author = {Amos Korman and
David Peleg and
Yoav Rodeh},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Labeling Schemes for Dynamic Tree Networks},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {76--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_5},
doi = {10.1007/3-540-45841-7\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KormanPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BeerBER01,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Yoav Rodeh},
title = {Efficient Detection of Vacuity in Temporal Model Checking},
journal = {Formal Methods Syst. Des.},
volume = {18},
number = {2},
pages = {141--163},
year = {2001},
url = {https://doi.org/10.1023/A:1008779610539},
doi = {10.1023/A:1008779610539},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BeerBER01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RodehS01,
author = {Yoav Rodeh and
Ofer Strichman},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Finite Instantiations in Equivalence Logic with Uninterpreted Functions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {144--154},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_13},
doi = {10.1007/3-540-44585-4\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RodehS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBEFGR01,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Dana Fisman and
Anna Gringauze and
Yoav Rodeh},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {The Temporal Logic Sugar},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {363--367},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_33},
doi = {10.1007/3-540-44585-4\_33},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBEFGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PnueliRS01,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Range Allocation for Equivalence Logic},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {317--333},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_27},
doi = {10.1007/3-540-45294-X\_27},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PnueliRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PnueliRSS99,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Deciding Equality Formulas by Small Domains Instantiations},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {455--469},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_39},
doi = {10.1007/3-540-48683-6\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PnueliRSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBER97,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Yoav Rodeh},
editor = {Orna Grumberg},
title = {Efficient Detection of Vacuity in {ACTL} Formulaas},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {279--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_28},
doi = {10.1007/3-540-63166-6\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBER97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBEGGHLPRRW97,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Daniel Geist and
Leonid Gluhovsky and
Tamir Heyman and
Avner Landver and
P. Paanah and
Yoav Rodeh and
G. Ronin and
Yaron Wolfsthal},
editor = {Orna Grumberg},
title = {RuleBase: Model Checking at {IBM}},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {480--483},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_53},
doi = {10.1007/3-540-63166-6\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBEGGHLPRRW97.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-02-21 20:30 CET 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:
