Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Marc S. Andreini
Hao Mao
Peter Malec
i v martin
Rayene Moudjari
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
HASAN BAIG
Author Info
Open Visualization
Name
Affiliation
Papers
HASAN BAIG
Tech Univ Denmark, Dept Appl Math & Comp Sci, DK-2800 Lyngby, Denmark
3
Collaborators
Citations
PageRank
1
1
1.05
Referers
Referees
References
2
80
5
Publications (3 rows)
Collaborators (1 rows)
Referers (2 rows)
Referees (80 rows)
Title
Citations
PageRank
Year
Taming Living Logic Using Formal Methods.
0
0.34
2017
Logic analysis and verification of n-input genetic logic circuits.
0
0.34
2017
D-VASim - An Interactive Virtual Laboratory Environment for the Simulation and Analysis of Genetic Circuits.
1
0.37
2017
1