( en | de | ru )

 

Disambiguation of "Karthik, Aadithya V."

Author of the publication

copydeleteadd this publication to your clipboard
Representation of coalitional games with algebraic decision diagrams.

, , and . AAMAS, page 1121-1122. IFAAMAS, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karthik Arumugam

Karthik Gururaj

Karthik Narasimhan

Karthik Baddam

Karthik Balakrishnan

 

Other publications of authors with the same name

Development, Demonstration, and Validation of Data-driven Compact Diode Models for Circuit Simulation and Analysis., , , , , , , and . CoRR, (2020)Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality., , , , and . J. Artif. Intell. Res., (2013)Game theoretic network centrality: exact formulas and efficient algorithms., and . AAMAS, page 1459-1460. IFAAMAS, (2010)DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics., and . DAC, page 311-316. ACM, (2012)DAGSENS: Directed acyclic graph based direct and adjoint transient sensitivity analysis for event-driven objective functions., , and . ICCAD, page 155-162. IEEE, (2017)Representation of coalitional games with algebraic decision diagrams., , and . AAMAS, page 1121-1122. IFAAMAS, (2011)BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies., , and . ASP-DAC, page 366-371. IEEE, (2015)Efficient Computation of the Shapley Value for Centrality in Networks., , , and . WINE, volume 6484 of Lecture Notes in Computer Science, page 1-13. Springer, (2010)Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform., , , and . ICSE (2), page 825-826. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).ABCD-L: approximating continuous linear systems using boolean models., and . DAC, page 63:1-63:9. ACM, (2013)