ISSTA 2022 (series) / Tobias Heß
Registered user since Sat 23 Apr 2022
Name:Tobias Heß
Country:Germany
Affiliation:University of Ulm
Personal website:https://www.uni-ulm.de/in/sp/team/tobias-hess/
Twitter:https://twitter.com/h3ssto
GitHub:https://github.com/h3ssto
Research interests:Binary Decision Diagrams, SAT Solving, Graph Isomorphisms
Contributions
| ISSTA 2022 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ISSTA 2022-profile
View general profile
View general profile