Concepedia

Stefan Frehse

SF

Statistics

Publications

8

Citations

249

H-Index

8

Active since

2009

Affiliations

University of Bremen(Current)

University of New Brunswick

German Research Centre for Artificial Intelligence

Stefan Frehse is an author at University of Bremen specializing in computer science, computer engineering, and engineering.

Publications per year

2009–2016

8

Publications

8

RevKit: A Toolkit for Reversible Circuit Design

Mathias Soeken, Stefan Frehse, Robert Wille et al. · 2012 · 100 citations

Engineering, Computer Engineering, Electrical Engineering +12

Debugging of Toffoli networks

Robert Wille, Daniel Große, Stefan Frehse et al. · 2009 · 32 citations

Computing, Computer Engineering, Computer Science +17

metaSMT: Focus on Your Application not on Solver Integration.

Finn Haedicke, Stefan Frehse, Görschwin Fey et al. · 2011 · 30 citations

Engineering, Computer Science, Model-based Systems Engineering +4

Effective Robustness Analysis Using Bounded Model Checking Techniques

Görschwin Fey, André Sülflow, Stefan Frehse et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2011 · 29 citations

Computing, Computer Engineering, Computer Science +17

Debugging of Toffoli networks

Robert Wille, Stefan Frehse, Gerhard W. Dueck et al. · 2009 · 25 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 8