Kartik Kaushik

According to our database, Kartik Kaushik authored at least 4 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment.

Kartik Kaushik, Raju Halder, Samrat Mondal

CoRR, 2024

2021

Influence of Mobility Restrictions on Transmission of COVID-19 in the state of Maryland - the USA.

Nandini Raghuraman, Kartik Kaushik, Deb Niemeier

CoRR, 2021

2019

On Modelling Human Population Characteristics with Copulas.

Kartik Kaushik, Cinzia Cirillo, Fabian Bastin

Proceedings of the 10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019) / The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40 2019) / Affiliated Workshops, April 29, 2019

2017

Outsourced probe data effectiveness on signalized arterials.

Elham Sharifi, Stanley Ernest Young, Sepideh Eshragh, Masoud Hamedi, Reuben M. Juster, Kartik Kaushik

J. Intell. Transp. Syst., 2017