BibTeX records: Aadithya V. Karthik

download as .bib file

@phdthesis{DBLP:phd/basesearch/Aadithya16,
  author       = {Karthik Venkatraman Aadithya},
  title        = {Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal
                  Design},
  school       = {University of California, Berkeley, {USA}},
  year         = {2016},
  url          = {http://www.escholarship.org/uc/item/3mq5m7d6},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Aadithya16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/KarthikRR15,
  author       = {Aadithya V. Karthik and
                  Sayak Ray and
                  Jaijeet Roychowdhury},
  title        = {{BEE:} Predicting realistic worst case and stochastic eye diagrams
                  by accounting for correlated bitstreams and coding strategies},
  booktitle    = {The 20th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2015, Chiba, Japan, January 19-22, 2015},
  pages        = {366--371},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASPDAC.2015.7059032},
  doi          = {10.1109/ASPDAC.2015.7059032},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KarthikRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cicc/WangKWYR15,
  author       = {Tianshi Wang and
                  Aadithya V. Karthik and
                  Bichen Wu and
                  Jian Yao and
                  Jaijeet Roychowdhury},
  title        = {{MAPP:} The Berkeley Model and Algorithm Prototyping Platform},
  booktitle    = {2015 {IEEE} Custom Integrated Circuits Conference, {CICC} 2015, San
                  Jose, CA, USA, September 28-30, 2015},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CICC.2015.7338431},
  doi          = {10.1109/CICC.2015.7338431},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cicc/WangKWYR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/WangKWR15,
  author       = {Tianshi Wang and
                  Aadithya V. Karthik and
                  Bichen Wu and
                  Jaijeet Roychowdhury},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {Poster: {MAPP:} The Berkeley Model and Algorithm Prototyping Platform},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages        = {825--826},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.267},
  doi          = {10.1109/ICSE.2015.267},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/WangKWR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/KarthikRNMBR14,
  author       = {Aadithya V. Karthik and
                  Sayak Ray and
                  Pierluigi Nuzzo and
                  Alan Mishchenko and
                  Robert K. Brayton and
                  Jaijeet Roychowdhury},
  title        = {{ABCD-NL:} Approximating Continuous non-linear dynamical systems using
                  purely Boolean models for analog/mixed-signal verification},
  booktitle    = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2014, Singapore, January 20-23, 2014},
  pages        = {250--255},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ASPDAC.2014.6742898},
  doi          = {10.1109/ASPDAC.2014.6742898},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/KarthikRNMBR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bcb/KarthikSRSMBR14,
  author       = {Aadithya V. Karthik and
                  David Soloveichik and
                  Sayak Ray and
                  Baruch Sterin and
                  Alan Mishchenko and
                  Robert K. Brayton and
                  Jaijeet Roychowdhury},
  editor       = {Pierre Baldi and
                  Wei Wang},
  title        = {{NINJA:} boolean modelling and formal verification of tiered-rate
                  chemical reaction networks (extended abstract)},
  booktitle    = {Proceedings of the 5th {ACM} Conference on Bioinformatics, Computational
                  Biology, and Health Informatics, {BCB} '14, Newport Beach, California,
                  USA, September 20-23, 2014},
  pages        = {623--624},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2649387.2660805},
  doi          = {10.1145/2649387.2660805},
  timestamp    = {Tue, 06 Nov 2018 16:59:10 +0100},
  biburl       = {https://dblp.org/rec/conf/bcb/KarthikSRSMBR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/MichalakASRJ14,
  author       = {Tomasz Pawel Michalak and
                  Aadithya V. Karthik and
                  Piotr L. Szczepanski and
                  Balaraman Ravindran and
                  Nicholas R. Jennings},
  title        = {Efficient Computation of the Shapley Value for Game-Theoretic Network
                  Centrality},
  journal      = {CoRR},
  volume       = {abs/1402.0567},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.0567},
  eprinttype    = {arXiv},
  eprint       = {1402.0567},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MichalakASRJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/MichalakASRJ13,
  author       = {Tomasz P. Michalak and
                  Aadithya V. Karthik and
                  Piotr L. Szczepanski and
                  Balaraman Ravindran and
                  Nicholas R. Jennings},
  title        = {Efficient Computation of the Shapley Value for Game-Theoretic Network
                  Centrality},
  journal      = {J. Artif. Intell. Res.},
  volume       = {46},
  pages        = {607--650},
  year         = {2013},
  url          = {https://doi.org/10.1613/jair.3806},
  doi          = {10.1613/JAIR.3806},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/MichalakASRJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/AadithyaDVR13,
  author       = {Aadithya V. Karthik and
                  Alper Demir and
                  Sriramkumar Venugopalan and
                  Jaijeet S. Roychowdhury},
  title        = {Accurate Prediction of Random Telegraph Noise Effects in SRAMs and
                  DRAMs},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {32},
  number       = {1},
  pages        = {73--86},
  year         = {2013},
  url          = {https://doi.org/10.1109/TCAD.2012.2212897},
  doi          = {10.1109/TCAD.2012.2212897},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/AadithyaDVR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/KarthikR13,
  author       = {Aadithya V. Karthik and
                  Jaijeet S. Roychowdhury},
  title        = {{ABCD-L:} approximating continuous linear systems using boolean models},
  booktitle    = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
                  TX, USA, May 29 - June 07, 2013},
  pages        = {63:1--63:9},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463209.2488811},
  doi          = {10.1145/2463209.2488811},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KarthikR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AadithyaR12,
  author       = {Aadithya V. Karthik and
                  Jaijeet S. Roychowdhury},
  editor       = {Patrick Groeneveld and
                  Donatella Sciuto and
                  Soha Hassoun},
  title        = {{DAE2FSM:} automatic generation of accurate discrete-time logical
                  abstractions for continuous-time circuit dynamics},
  booktitle    = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
                  Francisco, CA, USA, June 3-7, 2012},
  pages        = {311--316},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2228360.2228418},
  doi          = {10.1145/2228360.2228418},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AadithyaR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icassp/AadithyaLGXRS12,
  author       = {Aadithya V. Karthik and
                  Yingyan Lin and
                  Chenjie Gu and
                  Aolin Xu and
                  Jaijeet S. Roychowdhury and
                  Naresh R. Shanbhag},
  title        = {A fully automated technique for constructing {FSM} abstractions of
                  non-ideal latches in communication systems},
  booktitle    = {2012 {IEEE} International Conference on Acoustics, Speech and Signal
                  Processing, {ICASSP} 2012, Kyoto, Japan, March 25-30, 2012},
  pages        = {5289--5292},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICASSP.2012.6289114},
  doi          = {10.1109/ICASSP.2012.6289114},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/AadithyaLGXRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/AadithyaMJ11,
  author       = {Aadithya V. Karthik and
                  Tomasz P. Michalak and
                  Nicholas R. Jennings},
  editor       = {Liz Sonenberg and
                  Peter Stone and
                  Kagan Tumer and
                  Pinar Yolum},
  title        = {Representation of coalitional games with algebraic decision diagrams},
  booktitle    = {10th International Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
  pages        = {1121--1122},
  publisher    = {{IFAAMAS}},
  year         = {2011},
  url          = {http://portal.acm.org/citation.cfm?id=2034448\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AadithyaMJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AadithyaVDR11,
  author       = {Aadithya V. Karthik and
                  Sriramkumar Venugopalan and
                  Alper Demir and
                  Jaijeet S. Roychowdhury},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {{MUSTARD:} a coupled, stochastic/deterministic, discrete/continuous
                  technique for predicting the impact of random telegraph noise on SRAMs
                  and DRAMs},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {292--297},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024796},
  doi          = {10.1145/2024724.2024796},
  timestamp    = {Tue, 19 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AadithyaVDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/AadithyaDVR11,
  author       = {Aadithya V. Karthik and
                  Alper Demir and
                  Sriramkumar Venugopalan and
                  Jaijeet S. Roychowdhury},
  title        = {{SAMURAI:} An accurate method for modelling and simulating non-stationary
                  Random Telegraph Noise in SRAMs},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {1113--1118},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763183},
  doi          = {10.1109/DATE.2011.5763183},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/AadithyaDVR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/AadithyaR10,
  author       = {Aadithya V. Karthik and
                  Balaraman Ravindran},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Game theoretic network centrality: exact formulas and efficient algorithms},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {1459--1460},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838431},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/AadithyaR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wine/AadithyaRMJ10,
  author       = {Aadithya V. Karthik and
                  Balaraman Ravindran and
                  Tomasz P. Michalak and
                  Nicholas R. Jennings},
  editor       = {Amin Saberi},
  title        = {Efficient Computation of the Shapley Value for Centrality in Networks},
  booktitle    = {Internet and Network Economics - 6th International Workshop, {WINE}
                  2010, Stanford, CA, USA, December 13-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6484},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17572-5\_1},
  doi          = {10.1007/978-3-642-17572-5\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wine/AadithyaRMJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.