default search action
Aadithya V. Karthik
Person information
- affiliation: University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [b1]Karthik Venkatraman Aadithya:
Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design. University of California, Berkeley, USA, 2016 - 2015
- [c13]Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury:
BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies. ASP-DAC 2015: 366-371 - [c12]Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jian Yao, Jaijeet Roychowdhury:
MAPP: The Berkeley Model and Algorithm Prototyping Platform. CICC 2015: 1-8 - [c11]Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jaijeet Roychowdhury:
Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform. ICSE (2) 2015: 825-826 - 2014
- [c10]Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury:
ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. ASP-DAC 2014: 250-255 - [c9]Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury:
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB 2014: 623-624 - [i1]Tomasz Pawel Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. CoRR abs/1402.0567 (2014) - 2013
- [j2]Tomasz P. Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. J. Artif. Intell. Res. 46: 607-650 (2013) - [j1]Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury:
Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(1): 73-86 (2013) - [c8]Aadithya V. Karthik, Jaijeet S. Roychowdhury:
ABCD-L: approximating continuous linear systems using boolean models. DAC 2013: 63:1-63:9 - 2012
- [c7]Aadithya V. Karthik, Jaijeet S. Roychowdhury:
DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. DAC 2012: 311-316 - [c6]Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag:
A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. ICASSP 2012: 5289-5292 - 2011
- [c5]Aadithya V. Karthik, Tomasz P. Michalak, Nicholas R. Jennings:
Representation of coalitional games with algebraic decision diagrams. AAMAS 2011: 1121-1122 - [c4]Aadithya V. Karthik, Sriramkumar Venugopalan, Alper Demir, Jaijeet S. Roychowdhury:
MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs. DAC 2011: 292-297 - [c3]Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury:
SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs. DATE 2011: 1113-1118 - 2010
- [c2]Aadithya V. Karthik, Balaraman Ravindran:
Game theoretic network centrality: exact formulas and efficient algorithms. AAMAS 2010: 1459-1460 - [c1]Aadithya V. Karthik, Balaraman Ravindran, Tomasz P. Michalak, Nicholas R. Jennings:
Efficient Computation of the Shapley Value for Centrality in Networks. WINE 2010: 1-13
Coauthor Index
aka: Jaijeet Roychowdhury
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint