Jonathan Shalev

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Cindy Galindo, Guy Levy, Yuri Feldman, Zvi Roth, Jonathan Shalev, Chen Raz, Edo Mor, Nurit Argov-Argaman
Microwave Dielectric Response of Bovine Milk as Pregnancy Detection Tool in Dairy Cows. Sensors 24 (9) (2024)
Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev
Applying SMT in symbolic execution of microcode. FMCAD (2010)
Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman
Efficient Symbolic Simulation of Low Level Software. DATE (2008)
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)
Daniel Granot, Michael Maschler, Jonathan Shalev
Voting for voters: the unanimity case. Int. J. Game Theory 31 (2) (2003)
Salvador Barberà, Michael Maschler, Jonathan Shalev
Voting for Voters: A Model of Electoral Evolution. Games Econ. Behav. 37 (1) (2001)
Jonathan Shalev
Loss aversion equilibrium. Int. J. Game Theory 29 (2) (2000)
Daniel Granot, Michael Maschler, Jonathan Shalev
Unanimity in Voting for voters. IGTR 2 (2-3) (2000)