Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Uri Abraham"
download as .bib file
@inproceedings{DBLP:conf/enc/VeraUribeAPR23,
author = {Ernesto M. Vera{-}Uribe and
Josu{\'{e}} S. Armenta and
Diobar Abraham Baez Perez and
Marcela D. Rodr{\'{\i}}guez},
title = {Validation of Computerized Tools Developed to Collect Data on Safety
Driving: {A} Pilot Study},
booktitle = {Mexican International Conference on Computer Science, {ENC} 2023,
Guanajuato, Guanajuato, Mexico, September 11-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ENC60556.2023.10508675},
doi = {10.1109/ENC60556.2023.10508675},
timestamp = {Wed, 15 May 2024 16:26:03 +0200},
biburl = {https://dblp.org/rec/conf/enc/VeraUribeAPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-11451,
author = {Uri Abraham and
Robert Bonnet and
Mirna Dzamonja and
Maurice Pouzet},
title = {On the {ABK} Conjecture, alpha-well Quasi Orders and Dress-Schiffels
product},
journal = {CoRR},
volume = {abs/2303.11451},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.11451},
doi = {10.48550/ARXIV.2303.11451},
eprinttype = {arXiv},
eprint = {2303.11451},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-11451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07758,
author = {Uri Abraham and
Avi Hayoun},
title = {Linearizability Analysis of the Contention-Friendly Binary Search
Tree},
journal = {CoRR},
volume = {abs/2305.07758},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07758},
doi = {10.48550/ARXIV.2305.07758},
eprinttype = {arXiv},
eprint = {2305.07758},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/UribeHCD21,
author = {Nicol{\'{a}}s R. Uribe and
Alberto Herr{\'{a}}n and
J. Manuel Colmenar and
Abraham Duarte},
title = {An improved {GRASP} method for the multiple row equal facility layout
problem},
journal = {Expert Syst. Appl.},
volume = {182},
pages = {115184},
year = {2021},
url = {https://doi.org/10.1016/j.eswa.2021.115184},
doi = {10.1016/J.ESWA.2021.115184},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/UribeHCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/softx/Garcia-CadenaAR21,
author = {Carlos A. Garc{\'{\i}}a{-}Cadena and
Abraham de J. Aguilar{-}Uribe and
Luis F. Rojas{-}Ochoa},
title = {PhotonSTR-18: {A} LabVIEW toolbox for photon correlation spectroscopy},
journal = {SoftwareX},
volume = {13},
pages = {100640},
year = {2021},
url = {https://doi.org/10.1016/j.softx.2020.100640},
doi = {10.1016/J.SOFTX.2020.100640},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/softx/Garcia-CadenaAR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Abraham19,
author = {Uri Abraham},
title = {On Lamport's "Teaching Concurrency"},
journal = {Bull. {EATCS}},
volume = {127},
year = {2019},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/569/568},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Abraham19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08576,
author = {Uri Abraham},
title = {Kishon's Poker Game},
journal = {CoRR},
volume = {abs/1809.08576},
year = {2018},
url = {http://arxiv.org/abs/1809.08576},
eprinttype = {arXiv},
eprint = {1809.08576},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-00756,
author = {Uri Abraham},
title = {On the Lazy Set object},
journal = {CoRR},
volume = {abs/1811.00756},
year = {2018},
url = {http://arxiv.org/abs/1811.00756},
eprinttype = {arXiv},
eprint = {1811.00756},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-00756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamA17,
author = {Uri Abraham and
Gal Amram},
title = {Two-process synchronization},
journal = {Theor. Comput. Sci.},
volume = {688},
pages = {2--23},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.04.011},
doi = {10.1016/J.TCS.2016.04.011},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbrahamBDT16,
author = {Uri Abraham and
Lev D. Beklemishev and
Paola D'Aquino and
Marcus Tressl},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {10},
pages = {865--867},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.05.002},
doi = {10.1016/J.APAL.2016.05.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AbrahamBDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/AbrahamBSG16,
author = {Michael Abraham and
Israel Belfer and
Uri J. Schild and
Dov M. Gabbay},
title = {Quantum States and Disjunctive Attacks in Talmudic Logic},
journal = {{FLAP}},
volume = {3},
number = {5},
pages = {789--814},
year = {2016},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/AbrahamBSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBSG16,
author = {Michael Abraham and
Israel Belfer and
Uri J. Schild and
Dov M. Gabbay},
editor = {Christoph Beierle and
Gerhard Brewka and
Matthias Thimm},
title = {Identity Merging and Identity Revision in Talmudic Logic: An Outline
Paper},
booktitle = {Computational Models of Rationality, Essays dedicated to Gabriele
Kern-Isberner on the occasion of her 60th birthday},
pages = {195--209},
publisher = {College Publications},
year = {2016},
timestamp = {Fri, 10 Jun 2016 13:23:36 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamBSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/IvanovNA15,
author = {Ievgen Ivanov and
Mykola S. Nikitchenko and
Uri Abraham},
title = {Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm},
journal = {Formaliz. Math.},
volume = {23},
number = {4},
pages = {325--331},
year = {2015},
url = {https://doi.org/10.1515/forma-2015-0026},
doi = {10.1515/FORMA-2015-0026},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/IvanovNA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/IvanovNA14,
author = {Ievgen Ivanov and
Mykola S. Nikitchenko and
Uri Abraham},
editor = {Vadim Ermolayev and
Heinrich C. Mayr and
Mykola S. Nikitchenko and
Aleksander Spivakovsky and
Grygoriy Zholtkevych},
title = {On a Decidable Formal Theory for Abstract Continuous-Time Dynamical
Systems},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 10th International Conference, {ICTERI}
2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {469},
pages = {78--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13206-8\_4},
doi = {10.1007/978-3-319-13206-8\_4},
timestamp = {Fri, 27 Mar 2020 08:59:16 +0100},
biburl = {https://dblp.org/rec/conf/icteri/IvanovNA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AbrahamA14,
author = {Uri Abraham and
Gal Amram},
editor = {Marcos K. Aguilera and
Leonardo Querzoni and
Marc Shapiro},
title = {On the Mailbox Problem},
booktitle = {Principles of Distributed Systems - 18th International Conference,
{OPODIS} 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8878},
pages = {453--468},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14472-6\_30},
doi = {10.1007/978-3-319-14472-6\_30},
timestamp = {Mon, 15 Jun 2020 17:10:01 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AbrahamA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/AbrahamGS14,
author = {Michael Abraham and
Dov M. Gabbay and
Uri J. Schild},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {The Handling of Loops in Talmudic Logic, with Application to Odd and
Even Loops in Argumentation},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {140--164},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/gkg6},
doi = {10.29007/GKG6},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AbrahamBGS13,
author = {Michael Abraham and
Israel Belfer and
Dov M. Gabbay and
Uri J. Schild},
title = {Future determination of entities in Talmudic public announcement logic},
journal = {J. Appl. Log.},
volume = {11},
number = {1},
pages = {63--90},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2012.06.001},
doi = {10.1016/J.JAL.2012.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AbrahamBGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamA13,
author = {Uri Abraham and
Gal Amram},
title = {On the Mailbox Problem},
journal = {CoRR},
volume = {abs/1307.5619},
year = {2013},
url = {http://arxiv.org/abs/1307.5619},
eprinttype = {arXiv},
eprint = {1307.5619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbrahamA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/AbrahamGS12,
author = {Michael Abraham and
Dov M. Gabbay and
Uri J. Schild},
title = {Contrary to time conditionals in Talmudic logic},
journal = {Artif. Intell. Law},
volume = {20},
number = {2},
pages = {145--179},
year = {2012},
url = {https://doi.org/10.1007/s10506-012-9123-x},
doi = {10.1007/S10506-012-9123-X},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/AbrahamGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/OteroFAA12,
author = {Abraham Otero and
Roemi Fern{\'{a}}ndez and
Andrey Apalkov and
Manuel A. Armada},
title = {An Automatic Critical Care Urine Meter},
journal = {Sensors},
volume = {12},
number = {10},
pages = {13109--13125},
year = {2012},
url = {https://doi.org/10.3390/s121013109},
doi = {10.3390/S121013109},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/OteroFAA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/AbrahamGS11,
author = {Michael Abraham and
Dov M. Gabbay and
Uri J. Schild},
title = {Obligations and prohibitions in Talmudic deontic logic},
journal = {Artif. Intell. Law},
volume = {19},
number = {2-3},
pages = {117--148},
year = {2011},
url = {https://doi.org/10.1007/s10506-011-9109-0},
doi = {10.1007/S10506-011-9109-0},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/AbrahamGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Abraham11,
author = {Uri Abraham},
title = {Assertional and Behavioral Approaches to Concurrency},
journal = {Bull. {EATCS}},
volume = {105},
pages = {100--117},
year = {2011},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/95},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Abraham11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/FeigeFV11,
author = {Uriel Feige and
Abraham D. Flaxman and
Dan Vilenchik},
title = {On the Diameter of the Set of Satisfying Assignments in Random Satisfiable
\emph{k}-CNF Formulas},
journal = {{SIAM} J. Discret. Math.},
volume = {25},
number = {2},
pages = {736--749},
year = {2011},
url = {https://doi.org/10.1137/090749323},
doi = {10.1137/090749323},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/FeigeFV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Abraham11,
author = {Uri Abraham},
title = {Logical classification of distributed algorithms (Bakery algorithms
as an example)},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {25},
pages = {2724--2745},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.030},
doi = {10.1016/J.TCS.2011.01.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Abraham11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/OteroAAOP11,
author = {Abraham Otero and
Teodor Akinfiev and
Andrey Apalkov and
Francisco Palacios Ortega and
Jes{\'{u}}s Presedo},
editor = {Pedro Vieira and
Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {Urine Output Monitoring - {A} Simple and Reliable Device for Monitoring
Critical Patients' Urine Output},
booktitle = {{BIODEVICES} 2011 - Proceedings of the International Conference on
Biomedical Electronics and Devices, Rome, Italy, 26-29 January, 2011},
pages = {5--13},
publisher = {SciTePress},
year = {2011},
timestamp = {Tue, 20 Jun 2017 17:23:29 +0200},
biburl = {https://dblp.org/rec/conf/biostec/OteroAAOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/OteroPAF11,
author = {Abraham Otero and
Francisco Palacios and
Andrey Apalkov and
Roemi Fern{\'{a}}ndez},
editor = {Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {A Simple and Low Cost Device for Automatically Supervising Urine Output
of Critical Patients},
booktitle = {Biomedical Engineering Systems and Technologies - 4th International
Joint Conference, {BIOSTEC} 2011, Rome, Italy, January 26-29, 2011,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {273},
pages = {15--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29752-6\_2},
doi = {10.1007/978-3-642-29752-6\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/OteroPAF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/OteroPAA10,
author = {Abraham Otero and
Francisco Palacios and
Teodor Akinfiev and
Andrey Apalkov},
title = {A Low Cost Device for Monitoring the Urine Output of Critical Care
Patients},
journal = {Sensors},
volume = {10},
number = {12},
pages = {10714--10732},
year = {2010},
url = {https://doi.org/10.3390/s101210714},
doi = {10.3390/S101210714},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/OteroPAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/OteroPAF10,
author = {Abraham Otero and
Francisco Palacios and
Teodor Akinfiev and
Roemi Fern{\'{a}}ndez},
title = {A Device for Automatically Measuring and Supervising the Critical
Care Patient'S Urine Output},
journal = {Sensors},
volume = {10},
number = {1},
pages = {934--951},
year = {2010},
url = {https://doi.org/10.3390/s100100934},
doi = {10.3390/S100100934},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/OteroPAF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/AbrahamGS10,
author = {Michael Abraham and
Dov M. Gabbay and
Uri J. Schild},
editor = {Guido Governatori and
Giovanni Sartor},
title = {Obligations and Prohibitions in Talmudic Deontic Logic},
booktitle = {Deontic Logic in Computer Science, 10th International Conference,
{DEON} 2010, Fiesole, Italy, July 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6181},
pages = {166--178},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14183-6\_13},
doi = {10.1007/978-3-642-14183-6\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/AbrahamGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/GolanyKMR09,
author = {Boaz Golany and
Edward H. Kaplan and
Abraham Marmur and
Uriel G. Rothblum},
title = {Nature plays with dice - terrorists do not: Allocating resources to
counter strategic versus probabilistic risks},
journal = {Eur. J. Oper. Res.},
volume = {192},
number = {1},
pages = {198--208},
year = {2009},
url = {https://doi.org/10.1016/j.ejor.2007.09.001},
doi = {10.1016/J.EJOR.2007.09.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/GolanyKMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AbrahamGS09,
author = {Michael Abraham and
Dov M. Gabbay and
Uri J. Schild},
title = {Analysis of the Talmudic Argumentum {A} Fortiori Inference Rule (Kal
Vachomer) using Matrix Abduction},
journal = {Stud Logica},
volume = {92},
number = {3},
pages = {281--364},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9202-5},
doi = {10.1007/S11225-009-9202-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AbrahamGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/BliksteinAW08,
author = {Paulo Blikstein and
Dor Abrahamson and
Uri Wilensky},
editor = {Paul A. Kirschner and
Jeroen J. G. van Merri{\"{e}}nboer and
Ton de Jong},
title = {The classroom as a complex adaptive system: an agent-based framework
to investigate students' emergent collective behaviors},
booktitle = {Cre8ing a learning world: Proceedings of the 8th International Conference
for the Learning Sciences, {ICLS} 2008, Utrecht, The Netherlands,
June 23-28, 2008, Volume 3},
pages = {12--13},
publisher = {International Society of the Learning Sciences},
year = {2008},
url = {https://repository.isls.org/handle/1/3216},
timestamp = {Mon, 10 May 2021 16:29:15 +0200},
biburl = {https://dblp.org/rec/conf/icls/BliksteinAW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AndersenBCFFKMT08,
author = {Reid Andersen and
Christian Borgs and
Jennifer T. Chayes and
Uriel Feige and
Abraham D. Flaxman and
Adam Kalai and
Vahab S. Mirrokni and
Moshe Tennenholtz},
editor = {Jinpeng Huai and
Robin Chen and
Hsiao{-}Wuen Hon and
Yunhao Liu and
Wei{-}Ying Ma and
Andrew Tomkins and
Xiaodong Zhang},
title = {Trust-based recommendation systems: an axiomatic approach},
booktitle = {Proceedings of the 17th International Conference on World Wide Web,
{WWW} 2008, Beijing, China, April 21-25, 2008},
pages = {199--208},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1367497.1367525},
doi = {10.1145/1367497.1367525},
timestamp = {Tue, 20 Dec 2022 21:20:03 +0100},
biburl = {https://dblp.org/rec/conf/www/AndersenBCFFKMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbrahamCS07,
author = {Uri Abraham and
James Cummings and
Clifford D. Smyth},
title = {Some results in polychromatic Ramsey theory},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {865--896},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333845},
doi = {10.2178/JSL/1191333845},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkl/AbrahamsonW07,
author = {Dor Abrahamson and
Uri Wilensky},
title = {Learning axes and bridging tools in a technology-based design for
statistics},
journal = {Int. J. Comput. Math. Learn.},
volume = {12},
number = {1},
pages = {23--55},
year = {2007},
url = {https://doi.org/10.1007/s10758-007-9110-6},
doi = {10.1007/S10758-007-9110-6},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkl/AbrahamsonW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscl/AbrahamsonBW07,
author = {Dor Abrahamson and
Paulo Blikstein and
Uri Wilensky},
editor = {Clark A. Chinn and
Gijsbert Erkens and
Sadhana Puntambekar},
title = {Classroom model, model classroom: computer-supported methodology for
investigating collaborative-learning pedagogy},
booktitle = {Proceedings of the 7th Iternational Conference on Computer Supported
Collaborative Learning, CSCL'07, New Brunswick, NJ, USA, July 16-21,
2007},
pages = {49--58},
publisher = {International Society of the Learning Sciences / {ACM} {DL}},
year = {2007},
url = {https://repository.isls.org/handle/1/3384},
timestamp = {Wed, 28 Apr 2021 17:11:51 +0200},
biburl = {https://dblp.org/rec/conf/cscl/AbrahamsonBW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/AbrahamsondBWUA06,
author = {Dor Abrahamson and
Andrea A. diSessa and
Paulo Blikstein and
Uri Wilensky and
David H. Uttal and
Meredith M. Amaya and
Loren M. Marulis and
Allan M. Collins},
editor = {Sasha A. Barab and
Kenneth E. Hay and
Daniel T. Hickey},
title = {What's a Situation in Situated Cognition? - {A} Constructionist Critique
of Authentic Inquiry},
booktitle = {Making a Difference...: Proceedings of the 7th International Conference
for the Learning Sciences, {ICLS} 2006, Bloomington, IN, USA, June
27 - July 1, 2006},
publisher = {International Society of the Learning Sciences},
year = {2006},
url = {https://repository.isls.org/handle/1/3469},
timestamp = {Mon, 10 May 2021 17:14:14 +0200},
biburl = {https://dblp.org/rec/conf/icls/AbrahamsondBWUA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/FeigeFHK05,
author = {Uriel Feige and
Abraham Flaxman and
Jason D. Hartline and
Robert D. Kleinberg},
editor = {Xiaotie Deng and
Yinyu Ye},
title = {On the Competitive Ratio of the Random Sampling Auction},
booktitle = {Internet and Network Economics, First International Workshop, {WINE}
2005, Hong Kong, China, December 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3828},
pages = {878--886},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11600930\_89},
doi = {10.1007/11600930\_89},
timestamp = {Sun, 18 Dec 2022 19:02:44 +0100},
biburl = {https://dblp.org/rec/conf/wine/FeigeFHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbrahamS04,
author = {Uri Abraham and
Saharon Shelah},
title = {Ladder gaps over stationary sets},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {518--532},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418541},
doi = {10.2178/JSL/1082418541},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/AbrahamsonBSUW04,
author = {Dor Abrahamson and
Matthew Berland and
R. Benjamin Shapiro and
Joshua W. Unterman and
Uri Wilensky},
editor = {Yasmin B. Kafai and
Noel Enyedy and
Bill Sandoval},
title = {Leveraging Epistemological Diversity through Computer-based Argumentation
in the Domain of Probability},
booktitle = {Embracing Diversity in the Learning Sciences: Proceedings of the 6th
International Conference for the Learning Sciences, {ICLS} 2004, Los
Angeles, CA, USA, June 22-26, 2004},
publisher = {International Society of the Learning Sciences},
year = {2004},
url = {https://repository.isls.org/handle/1/3957},
timestamp = {Tue, 11 May 2021 18:13:28 +0200},
biburl = {https://dblp.org/rec/conf/icls/AbrahamsonBSUW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrahamP03,
author = {Uri Abraham and
Tamar Pinhas},
title = {Exercises in Style (Alpha Specifications)},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {107--135},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrahamP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/AbrahamBKR03,
author = {Uri Abraham and
Robert Bonnet and
Wieslaw Kubis and
Matatyahu Rubin},
title = {On Poset Boolean Algebras},
journal = {Order},
volume = {20},
number = {3},
pages = {265--290},
year = {2003},
url = {https://doi.org/10.1023/B:ORDE.0000026462.71837.18},
doi = {10.1023/B:ORDE.0000026462.71837.18},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/AbrahamBKR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Abraham03,
author = {Uri Abraham},
title = {Self-stabilizing timestamps},
journal = {Theor. Comput. Sci.},
volume = {308},
number = {1-3},
pages = {449--515},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00130-0},
doi = {10.1016/S0304-3975(03)00130-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Abraham03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbrahamS02,
author = {Uri Abraham and
Saharon Shelah},
title = {Coding with Ladders {A} Well Ordering of The Reals},
journal = {J. Symb. Log.},
volume = {67},
number = {2},
pages = {579--597},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150099},
doi = {10.2178/JSL/1190150099},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamDHK01,
author = {Uri Abraham and
Shlomi Dolev and
Ted Herman and
Irit Koll},
title = {Self-stabilizing l-exclusion},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {653--692},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00325-X},
doi = {10.1016/S0304-3975(00)00325-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamDHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LivchitzASK98,
author = {Michael Livchitz and
Abraham Abershitz and
Uri Soudak and
Abraham Kandel},
title = {Development of an automated fuzzy-logic-based expert system for unmanned
landing},
journal = {Fuzzy Sets Syst.},
volume = {93},
number = {2},
pages = {145--159},
year = {1998},
url = {https://doi.org/10.1016/S0165-0114(96)00213-8},
doi = {10.1016/S0165-0114(96)00213-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/LivchitzASK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/AbrahamDHK97,
author = {Uri Abraham and
Shlomi Dolev and
Ted Herman and
Irit Koll},
editor = {Sukumar Ghosh and
Ted Herman},
title = {Self-stabilizing L-exclusion},
booktitle = {3rd Workshop on Self-stabilizing Systems, Santa Barbara, California,
USA, August, 1997, Proceedings},
pages = {48--63},
publisher = {Carleton University Press},
year = {1997},
timestamp = {Mon, 18 Jun 2018 20:48:23 +0200},
biburl = {https://dblp.org/rec/conf/wss/AbrahamDHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AbrahamS96,
author = {Uri Abraham and
Saharon Shelah},
title = {Martin's axiom and D\({}^{\mbox{2}}\)\({}_{\mbox{1}}\) well-ordering
of the reals},
journal = {Arch. Math. Log.},
volume = {35},
number = {5-6},
pages = {287--298},
year = {1996},
url = {https://doi.org/10.1007/s001530050046},
doi = {10.1007/S001530050046},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AbrahamS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Abraham95,
author = {Uri Abraham},
title = {On Interprocess Communication and the Implementation of Multi-Writer
Atomic Registers},
journal = {Theor. Comput. Sci.},
volume = {149},
number = {2},
pages = {257--298},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00013-M},
doi = {10.1016/0304-3975(95)00013-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Abraham95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamM94,
author = {Uri Abraham and
Menachem Magidor},
title = {On the Mutual-Exclusion Problem - {A} Quest for Minimal Solutions},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {1--38},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90079-5},
doi = {10.1016/0304-3975(94)90079-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbrahamS93,
author = {Uri Abraham and
Saharon Shelah},
title = {A Delta\({}^{\mbox{2}}\)\({}_{\mbox{2}}\) Well-Order of the Reals
and Incompactness of L(Q\({}^{\mbox{MM}}\))},
journal = {Ann. Pure Appl. Log.},
volume = {59},
number = {1},
pages = {1--32},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90228-6},
doi = {10.1016/0168-0072(93)90228-6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AbrahamS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/Abraham93,
author = {Uri Abraham},
title = {On system executions and states},
journal = {Appl. Intell.},
volume = {3},
number = {1},
pages = {17--30},
year = {1993},
url = {https://doi.org/10.1007/BF00871720},
doi = {10.1007/BF00871720},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/Abraham93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AbrahamBM91,
author = {Uri Abraham and
Shai Ben{-}David and
Shlomo Moran},
editor = {Sam Toueg and
Paul G. Spirakis and
Lefteris M. Kirousis},
title = {On the Limitation of the Global Time Assumption in Distributed Systems
(Extended Abstract)},
booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
Greece, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {579},
pages = {1--8},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0022434},
doi = {10.1007/BFB0022434},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AbrahamBM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbrahamS86,
author = {Uri Abraham and
Saharon Shelah},
title = {On the Intersection of Closed Unbounded Sets},
journal = {J. Symb. Log.},
volume = {51},
number = {1},
pages = {180--189},
year = {1986},
url = {https://doi.org/10.2307/2273954},
doi = {10.2307/2273954},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbrahamRS85,
author = {Uri Abraham and
Matatyahu Rubin and
Saharon Shelah},
title = {On the consistency of some partition theorems for continuous colorings,
and the structure of aleph\({}_{\mbox{1}}\)-dense real order types},
journal = {Ann. Pure Appl. Log.},
volume = {29},
number = {2},
pages = {123--206},
year = {1985},
url = {https://doi.org/10.1016/0168-0072(84)90024-1},
doi = {10.1016/0168-0072(84)90024-1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AbrahamRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Abraham83,
author = {Uri Abraham},
title = {Aronszajn trees on aleph\({}_{\mbox{2}}\) and aleph\({}_{\mbox{3}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {24},
number = {3},
pages = {213--230},
year = {1983},
url = {https://doi.org/10.1016/0168-0072(83)90006-4},
doi = {10.1016/0168-0072(83)90006-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Abraham83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Abraham83,
author = {Uri Abraham},
title = {On Forcing Without the Continuum Hypothesis},
journal = {J. Symb. Log.},
volume = {48},
number = {3},
pages = {658--661},
year = {1983},
url = {https://doi.org/10.2307/2273457},
doi = {10.2307/2273457},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Abraham83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AbrahamS83,
author = {Uri Abraham and
Saharon Shelah},
title = {Forcing Closed Unbounded Sets},
journal = {J. Symb. Log.},
volume = {48},
number = {3},
pages = {643--657},
year = {1983},
url = {https://doi.org/10.2307/2273456},
doi = {10.2307/2273456},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/MehrezR83,
author = {Abraham Mehrez and
Uri Regev},
title = {Financial risk of project's cost},
journal = {Z. Oper. Research},
volume = {27},
number = {1},
year = {1983},
url = {https://doi.org/10.1007/BF01916949},
doi = {10.1007/BF01916949},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/MehrezR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AvrahamS82,
author = {Uri Abraham and
Saharon Shelah},
title = {Forcing With Stable Posets},
journal = {J. Symb. Log.},
volume = {47},
number = {1},
pages = {37--42},
year = {1982},
url = {https://doi.org/10.2307/2273379},
doi = {10.2307/2273379},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AvrahamS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Abraham79,
author = {Uri Abraham},
title = {{\unicode{1488}}{\unicode{1497}}{\unicode{1494}}{\unicode{1493}}{\unicode{1502}}{\unicode{1493}}{\unicode{1512}}{\unicode{1508}}{\unicode{1497}}{\unicode{1494}}{\unicode{1501}}
{\unicode{1513}}{\unicode{1500}} {\unicode{1506}}{\unicode{1510}}{\unicode{1497}}
{\unicode{1488}}{\unicode{1492}}{\unicode{1512}}{\unicode{1493}}{\unicode{1504}}{\unicode{1513}}{\unicode{1497}}{\unicode{1503}}
{\unicode{1493}}{\unicode{1499}}{\unicode{1508}}{\unicode{1497}}{\unicode{1493}}{\unicode{1514}}
{\unicode{1500}}{\unicode{1500}}{\unicode{1488}} {\unicode{1492}}{\unicode{1504}}{\unicode{1495}}{\unicode{1514}}
{\unicode{1492}}{\unicode{1513}}{\unicode{1506}}{\unicode{1512}}{\unicode{1514}}
{\unicode{1492}}{\unicode{1512}}{\unicode{1510}}{\unicode{1507}} (Isomorphism
of Aronszajn trees and forcing without the generalized continuum hypothesis.)},
school = {Hebrew University of Jerusalem, Israel},
year = {1979},
url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI\_ALMA21159232050003701},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Abraham79.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.
retrieved on 2024-06-08 22:50 CEST from data curated 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:
