Eugene Goldberg
Affiliations:- Diffblue Ltd., Oxford, UK (since 2016)
- Northeastern University, Boston, MA, USA (2009 - 2015)
- Cadence Berkeley Labs, Berkeley, CA, USA (1997 - 2008)
- University of California, Department of EECS, Berkeley, CA, USA (1996 - 1997)
- Academy of Sciences of Belarus, Minsk, Belarus (PhD 1995)
According to our database1,
Eugene Goldberg
authored at least 53 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
2
1
3
1
3
1
2
1
2
1
2
1
1
1
1
1
1
1
2
1
2
1
2
1
2
2
1
2
2
1
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2020
2019
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version).
CoRR, 2017
2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
2010
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.
Proceedings of the Tests and Proofs - 4th International Conference, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
J. Satisf. Boolean Model. Comput., 2008
Proceedings of the Verification, 2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
2007
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
2005
Ann. Math. Artif. Intell., 2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005
2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Proceedings of the 2003 Design, 2003
2002
Proceedings of the 2002 Design, 2002
2001
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
2000
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000
Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000
1999
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems.
Proceedings of the VLSI: Systems on a Chip, 1999
1998
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998
Proceedings of the 1998 Design, 1998
1997
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997
1994
Proceedings of the Field-Programmable Logic, 1994