Game theoretic network centrality: exact formulas and efficient algorithms. - Aadithya V. Karthik; Balaraman Ravindran (AAMAS, 2010)

Efficient Computation of the Shapley Value for Centrality in Networks. - Aadithya V. Karthik; Balaraman Ravindran; Tomasz P. Michalak; Nicholas R. Jennings (WINE, 2010)

Representation of coalitional games with algebraic decision diagrams. - Aadithya V. Karthik; Tomasz P. Michalak; Nicholas R. Jennings (AAMAS, 2011)

MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs. - Aadithya V. Karthik; Sriramkumar Venugopalan; Alper Demir 001; Jaijeet S. Roychowdhury (DAC, 2011)

SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs. - Aadithya V. Karthik; Alper Demir 001; Sriramkumar Venugopalan; Jaijeet S. Roychowdhury (DATE, 2011)

DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. - Aadithya V. Karthik; Jaijeet S. Roychowdhury (DAC, 2012)

A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. - Aadithya V. Karthik; Yingyan Lin; Chenjie Gu; Aolin Xu 001; Jaijeet S. Roychowdhury; Naresh R. Shanbhag (ICASSP, 2012)

ABCD-L: approximating continuous linear systems using boolean models. - Aadithya V. Karthik; Jaijeet S. Roychowdhury (DAC, 2013)

Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. - Tomasz P. Michalak; Aadithya V. Karthik; Piotr L. Szczepanski; Balaraman Ravindran; Nicholas R. Jennings (J. Artif. Intell. Res., 2013)

Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs. - Aadithya V. Karthik; Alper Demir 001; Sriramkumar Venugopalan; Jaijeet S. Roychowdhury (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. - Aadithya V. Karthik; Sayak Ray; Pierluigi Nuzzo; Alan Mishchenko; Robert K. Brayton; Jaijeet Roychowdhury (ASP-DAC, 2014)

NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). - Aadithya V. Karthik; David Soloveichik; Sayak Ray; Baruch Sterin; Alan Mishchenko; Robert K. Brayton; Jaijeet Roychowdhury (BCB, 2014)

BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies. - Aadithya V. Karthik; Sayak Ray; Jaijeet Roychowdhury (ASP-DAC, 2015)

MAPP: The Berkeley Model and Algorithm Prototyping Platform. - Tianshi Wang; Aadithya V. Karthik; Bichen Wu; Jian Yao; Jaijeet Roychowdhury (CICC, 2015)

Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform. - Tianshi Wang; Aadithya V. Karthik; Bichen Wu; Jaijeet Roychowdhury (ICSE (2), 2015)

Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design. - Karthik Venkatraman Aadithya (2016)