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/bib/phd/basesearch/Aadithya16},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/aspdac/2015},
  url       = {https://doi.org/10.1109/ASPDAC.2015.7059032},
  doi       = {10.1109/ASPDAC.2015.7059032},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/KarthikRR15},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/cicc/2015},
  url       = {https://doi.org/10.1109/CICC.2015.7338431},
  doi       = {10.1109/CICC.2015.7338431},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cicc/WangKWYR15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.267},
  doi       = {10.1109/ICSE.2015.267},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/WangKWR15},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/aspdac/2014},
  url       = {https://doi.org/10.1109/ASPDAC.2014.6742898},
  doi       = {10.1109/ASPDAC.2014.6742898},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/KarthikRNMBR14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/bcb/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/bib/conf/bcb/KarthikSRSMBR14},
  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},
  archivePrefix = {arXiv},
  eprint    = {1402.0567},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MichalakASRJ14},
  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 = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/MichalakASRJ13},
  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. on {CAD} of Integrated Circuits and Systems},
  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 = {Tue, 19 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/AadithyaDVR13},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/dac/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/bib/conf/dac/KarthikR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AadithyaR12,
  author    = {Aadithya V. Karthik and
               Jaijeet S. Roychowdhury},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/dac/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/bib/conf/dac/AadithyaR12},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/icassp/2012},
  url       = {https://doi.org/10.1109/ICASSP.2012.6289114},
  doi       = {10.1109/ICASSP.2012.6289114},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icassp/AadithyaLGXRS12},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/atal/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/bib/conf/atal/AadithyaMJ11},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/dac/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/bib/conf/dac/AadithyaVDR11},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763183},
  doi       = {10.1109/DATE.2011.5763183},
  timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/AadithyaDVR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AadithyaR10,
  author    = {Aadithya V. Karthik and
               Balaraman Ravindran},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/atal/2010},
  url       = {https://dl.acm.org/citation.cfm?id=1838431},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/AadithyaR10},
  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},
  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},
  pages     = {1--13},
  year      = {2010},
  crossref  = {DBLP:conf/wine/2010},
  url       = {https://doi.org/10.1007/978-3-642-17572-5\_1},
  doi       = {10.1007/978-3-642-17572-5\_1},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wine/AadithyaRMJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2015,
  title     = {The 20th Asia and South Pacific Design Automation Conference, {ASP-DAC}
               2015, Chiba, Japan, January 19-22, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7050531},
  isbn      = {978-1-4799-7792-5},
  timestamp = {Tue, 17 Mar 2015 13:47:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cicc/2015,
  title     = {2015 {IEEE} Custom Integrated Circuits Conference, {CICC} 2015, San
               Jose, CA, USA, September 28-30, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7321938},
  isbn      = {978-1-4799-8682-8},
  timestamp = {Wed, 02 Dec 2015 16:27:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cicc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-2,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  timestamp = {Tue, 03 May 2016 15:49:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aspdac/2014,
  title     = {19th Asia and South Pacific Design Automation Conference, {ASP-DAC}
               2014, Singapore, January 20-23, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6736726},
  isbn      = {978-1-4799-2816-3},
  timestamp = {Fri, 20 May 2016 11:02:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aspdac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bcb/2014,
  editor    = {Pierre Baldi and
               Wei Wang},
  title     = {Proceedings of the 5th {ACM} Conference on Bioinformatics, Computational
               Biology, and Health Informatics, {BCB} '14, Newport Beach, California,
               USA, September 20-23, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2649387},
  doi       = {10.1145/2649387},
  isbn      = {978-1-4503-2894-4},
  timestamp = {Tue, 06 Nov 2018 16:59:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bcb/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2013,
  title     = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
               TX, USA, May 29 - June 07, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2463209},
  isbn      = {978-1-4503-2071-9},
  timestamp = {Mon, 27 May 2013 21:33:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2012,
  editor    = {Patrick Groeneveld and
               Donatella Sciuto and
               Soha Hassoun},
  title     = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
               Francisco, CA, USA, June 3-7, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2228360},
  isbn      = {978-1-4503-1199-1},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icassp/2012,
  title     = {2012 {IEEE} International Conference on Acoustics, Speech and Signal
               Processing, {ICASSP} 2012, Kyoto, Japan, March 25-30, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6268628},
  isbn      = {978-1-4673-0046-9},
  timestamp = {Fri, 02 Nov 2012 12:13:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icassp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2011,
  editor    = {Liz Sonenberg and
               Peter Stone and
               Kagan Tumer and
               Pinar Yolum},
  title     = {10th International Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
  publisher = {{IFAAMAS}},
  year      = {2011},
  isbn      = {978-0-9826571-5-7},
  timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2011,
  editor    = {Leon Stok and
               Nikil D. Dutt and
               Soha Hassoun},
  title     = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
               San Diego, California, USA, June 5-10, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2024724},
  isbn      = {978-1-4503-0636-2},
  timestamp = {Tue, 06 Sep 2011 18:11:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2011,
  title     = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
               March 14-18, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5754459},
  isbn      = {978-1-61284-208-0},
  timestamp = {Wed, 11 Nov 2015 10:09:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2010,
  editor    = {Wiebe van der Hoek and
               Gal A. Kaminka and
               Yves Lesp{\'{e}}rance and
               Michael Luck and
               Sandip Sen},
  title     = {9th International Conference on Autonomous Agents and Multiagent Systems
               {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  publisher = {{IFAAMAS}},
  year      = {2010},
  isbn      = {978-0-9826571-1-9},
  timestamp = {Fri, 18 Nov 2011 09:07:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wine/2010,
  editor    = {Amin Saberi},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17572-5},
  doi       = {10.1007/978-3-642-17572-5},
  isbn      = {978-3-642-17571-8},
  timestamp = {Fri, 26 May 2017 00:49:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wine/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier