Jonathan Shalev

According to our database, Jonathan Shalev authored at least 7 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Applying SMT in symbolic execution of microcode.

Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2008

Efficient Symbolic Simulation of Low Level Software.

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman

Proceedings of the Design, Automation and Test in Europe, 2008

2005

Formal Verification of Backward Compatibility of Microcode.

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Voting for voters: the unanimity case.

Daniel Granot, Michael Maschler, Jonathan Shalev

Int. J. Game Theory, 2003

2001

Voting for Voters: A Model of Electoral Evolution.

Salvador Barberà, Michael Maschler, Jonathan Shalev

Games Econ. Behav., 2001

2000

Loss aversion equilibrium.

Jonathan Shalev

Int. J. Game Theory, 2000

Unanimity in Voting for voters.

Daniel Granot, Michael Maschler, Jonathan Shalev

IGTR, 2000