Prashant Vaidyanathan

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Topics

Visual Perception

Reactive Systems

Bounded Model Checking

Top Venues

J. Integr. Bioinform.

Publications

Lukas Buecherl, Thomas Mitchell, James Scott-Brown, Prashant Vaidyanathan, Gonzalo Vidal, Hasan Baig, Bryan Bartley, Jacob Beal, Matthew Crowther, Pedro Fontanarrosa, Thomas E. Gorochowski, Raik Grünberg, Vishwesh V. Kulkarni, James Alastair McLaughlin, Göksel Misirli, Ernst Oberortner, Anil Wipat, Chris J. Myers
Synthetic biology open language (SBOL) version 3.1.0. J. Integr. Bioinform. 20 (1) (2023)
Hasan Baig, Pedro Fontanarossa, James Alastair McLaughlin, James Scott-Brown, Prashant Vaidyanathan, Thomas E. Gorochowski, Goksel Misirli, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL visual) version 3.0. J. Integr. Bioinform. 18 (3) (2021)
Hasan Baig, Pedro Fontanarossa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Shyam Bhakta, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Jihwan Lee, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Logan Terry, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL Visual) version 2.3. J. Integr. Bioinform. 18 (3) (2021)
Hasan Baig, Pedro Fontanarrosa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Michael Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Gambardella, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL visual) version 2.2. J. Integr. Bioinform. 17 (2-3) (2020)
Hasan Baig, Pedro Fontanarrosa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Jacob Beal, Matthew Crowther, Thomas E. Gorochowski, Raik Grünberg, Goksel Misirli, James Scott-Brown, Ernst Oberortner, Anil Wipat, Chris J. Myers
Synthetic biology open language (SBOL) version 3.0.0. J. Integr. Bioinform. 17 (2-3) (2020)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CDC (2018)
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Metrics for Signal Temporal Logic Formulae. CoRR (2018)
Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Grid-based temporal logic inference. CDC (2017)
Prashant Vaidyanathan, Bryan S. Der, Swapnil Bhatia, Nicholas Roehner, Ryan Silva, Christopher A. Voigt, Douglas Densmore
A Framework for Genetic Logic Synthesis. Proc. IEEE 103 (11) (2015)