Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(6)
Andreas Zeller
1
Carlo A. Furia
1
Bertrand Meyer
1
Lucas Serpa Silva
1
Y. T. Pei
1
Conferences
(1)
ISSTA
1
Journals
(1)
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures
2
Keywords
(10)
Embed
Subscribe
Academic
Authors
Stefan Buchholz
Edit
Stefan Buchholz
Swiss Federal Institute of Technology Zurich
Publications: 3
|
Citations: 10
|
G-Index: 3
|
H-Index: 2
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Electrical & Electronic Engineering
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
6 co-authors
from 1991 to 2010
; Cited by
36 authors
Bing
Cumulative
Annual
Order by:
Publications
(3)
BibTeX
|
RIS
|
RefWorks
Download
Automated fixing of programs with contracts
(
Citations: 6
)
Yi Wei
,
Yu Pei
,
Carlo A. Furia
,
Lucas S. Silva
,
Stefan Buchholz
,
Bertrand Meyer
,
Andreas Zeller
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 61-72, 2010
Surface structure of thin metallic films on mica as seen by scanning tunneling microscopy, scanning electron microscopy, and low-energy electron diffraction
(
Citations: 3
)
Stefan Buchholz
Journal:
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures
, vol. 9, no. 2, 1991
Conformation, packing, defects, and molecular dynamics in monolayers of dialkyl-substituted benzenes
(
Citations: 1
)
Stefan Buchholz
Journal:
Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures
, vol. 9, no. 2, 1991
Order by:
Citations
(10 times by 10 publications)
A framework for the automatic correction of Constraint Programs
(
Citations: 1
)
Nadjib Lazaar
,
Arnaud Gotlieb
,
Yahia Lebbah
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 319-326, 2011
Inferring better contracts
Yi Wei
,
Carlo A. Furia
,
Nikolay Kazmin
,
Bertrand Meyer
Conference:
International Conference on Software Engineering - ICSE
, pp. 191-200, 2011
Angelic debugging
Satish Chandra
,
Emina Torlak
,
Shaon Barman
,
Rastislav Bodík
Conference:
International Conference on Software Engineering - ICSE
, pp. 121-130, 2011
Specification-Based Program Repair Using SAT
Divya Gopinath
,
Muhammad Zubair Malik
,
Sarfraz Khurshid
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 173-188, 2011
Atomic force microscopy investigation of the kinetic growth mechanisms of sputtered nanostructured Au film on mica: towards a nanoscale morphology control
Francesco Ruffino
,
Vanna Torrisi
,
Giovanni Marletta
,
Maria Grazia Grimaldi
Published in 2011.
Comments