Gerhard Angst
According to our database1,
Gerhard Angst
authored at least 8 papers
between 2001 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021
2009
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009
2008
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008
2007
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007
2003
J. Syst. Archit., 2003
Proceedings of the Forum on specification and Design Languages, 2003
2001
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001