Stefan Kupferschmid - Concepedia

Author

Stefan Kupferschmid

Also Known As

S. Kupferschmid, Stefan Kupferschmid

Publications

174

Citations

H-Index

Concepts

All Affiliations

Stefan Kupferschmid is an author at University of Freiburg specializing in engineering, computer science, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	87
2	Computer Engineering	2	2	55
3	Computer Science	2	2	61
4	Systems Engineering	1	1	29
5	Asynchronous Circuits	1	1	29

Stefan Kupferschmid

Publications

Citations

H-Index

Page 1

	Year	Citations
Incremental preprocessing methods for use in BMC Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Formal Methods in System Design Refinement TechniqueEngineeringProcess ControlSimulationParallel Programming	2011	32
Functional test of small-delay faults using SAT and Craig interpolation Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, EngineeringVerificationComputer ArchitectureFormal VerificationHardware Security	2012	29
Recent Improvements in the SMT Solver iSAT. Karsten Scheibler, Stefan Kupferschmid, Bernd Becker MBMV Numerical AnalysisNumerical ComputationEngineeringValidated NumericsSmt Solver Isat	2013	26

Page 1