Apurva Kumar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2020

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety DomainStefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach. Springer Briefs in Computer Science, Springer, 2020. [doi]

2019

A Verification Framework of Neural Processing Unit for Super ResolutionJinSae Jung, Jaeun Park, Apurva Kumar. mtv 2019: 13-17 [doi]

2018

Double-Blind Consent-Driven Data Sharing on BlockchainKumar Bhaskaran, Peter Ilfrich, Dain Liffman, Christian Vecchiola, Praveen Jayachandran, Apurva Kumar, Fabian Lim, Karthik Nandakumar, Zhengquan Qin, Venkatraman Ramakrishna, Ernie G. S. Teo, Chun Hui Suen. ic2e 2018: 385-391 [doi]

2015

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled KnowledgeStefan Gruner, Apurva Kumar, Tom Maibaum. ftscs 2016: 87-102 [doi]

2014

A Lightweight Formal Approach for Analyzing Security of Web ProtocolsApurva Kumar. raid 2014: 192-211 [doi]

2012

2011

Model Driven Security Analysis of IDaaS ProtocolsApurva Kumar. icsoc 2011: 312-327 [doi]

2008

Integrated Security Context Management of Web Components and Services in Federated Identity EnvironmentsApurva Kumar. icsoc 2008: 565-571 [doi]

2007

Efficient Filter Based Replication for LDAP DirectoriesApurva Kumar. icde 2007: 1373-1375 [doi]

2005

Filter Based Directory Replication and Caching: Algorithms and PerformanceApurva Kumar. icde 2005: 326-327 [doi]

Filter Based Directory Replication: Algorithms and PerformanceApurva Kumar. icdcs 2005: 586-595 [doi]

2003

Edge Caching for Directory Based Web ApplicationsApurva Kumar, Rajeev Gupta. wcw 2004: 39-56 [doi]

2001

2000

Mobility modeling of rush hour traffic for location area design in cellular networksApurva Kumar, M. N. Umesh, Rajesh Jha. wowmom 2000: 48-54 [doi]

Sign in or sign up to see more results.

runs on WebDSL