- Thomas J. Watson Research Center, Yorktown Heights, USA
According to our database1, Yaron Wolfsthal authored at least 38 papers between 1987 and 2021.
Legend:Book In proceedings Article PhD thesis Dataset Other
Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017
Int. J. High Perform. Comput. Netw., 2015
Proceedings of the IEEE Symposium on Computers and Communications, 2014
From VISION Cloud to Cloudwave: Towards the Future Internet and a New Generation of Services.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014
Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011
IBM J. Res. Dev., 2009
RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures.
Proceedings of the Integrated Network Management, 2009
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005
Proceedings of the 42nd Design Automation Conference, 2005
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Formal Methods Syst. Des., 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Proceedings of the 36th Conference on Design Automation, 1999
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
IEEE Trans. Very Large Scale Integr. Syst., 1995
IEEE Trans. Parallel Distributed Syst., 1994
A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs.
Inf. Process. Lett., 1993
Discret. Appl. Math., 1993
IEEE Trans. Software Eng., 1990
SIAM J. Discret. Math., 1990
Approximation algorithms for covering a graph by vertex-disjoint paths of maximum total weight.
Parallel Comput., 1989
Inf. Process. Lett., 1987
Int. J. Parallel Program., 1987
Proceedings of the STACS 87, 1987