default search action
BibTeX records: Aadithya V. Karthik
@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} }
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.