◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Kartik Kaushik

2 papers hereh-index 11 citations3 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1

Across the 1 of 2 papers where every author was matched, so the position is known.

fields
  • cs.SE1
  • stat.AP1

identity via Semantic Scholar / OpenAlex

collaborators

2 papers

cs.SE2024

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

Kartik Kaushik, Raju Halder, Samrat Mondal

Invariants are essential for ensuring the security and correctness of Solidity smart contracts, particularly in the context of blockchain's immutability and decentralized execution…

stat.AP2021

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

Nandini Raghuraman, Kartik Kaushik

Background: The novel coronavirus, COVID-19, was first detected in the United States in January 2020. To curb the spread of the disease in mid-March, different states issued mandat…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.