Deepak Garg

Available identifiers

zbMath Open garg.deepakWikidataQ79804850 ScholiaQ79804850MaRDI QIDQ1615409

List of research outcomes

Publication	Date of Publication	Type
Robustly safe compilation	2023-11-24	Paper
Trace-Relating Compiler Correctness and Secure Compilation	2022-10-13	Paper
A Linear Logic of Authorization and Knowledge	2022-03-09	Paper
Relational cost analysis in a functional-imperative setting	2022-01-07	Paper
A partitioned solver for compressible/incompressible fluid flow and light structure	2021-10-19	Paper
Variance-stabilization-based compressive inversion under Poisson or Poisson–Gaussian noise with analytical bounds	2019-09-20	Paper
Relational reasoning for Markov chains in a probabilistic guarded lambda calculus	2019-09-13	Paper
Computation of compressible and incompressible flows with a space-time stabilized finite element method	2019-07-03	Paper
Modeling free surface flows using stabilized finite element method	2019-02-08	Paper
Extended suffix array construction using Lyndon factors	2018-10-31	Paper
Approximation Algorithm for Resource Allocation Problems with Time Dependent Penalties	2018-05-14	Paper
Causally Consistent Dynamic Slicing	2018-03-21	Paper
Relational cost analysis	2017-10-20	Paper
Countermodels from Sequent Calculi in Multi-Modal Logics	2017-05-16	Paper
A type theory for incremental computational complexity with control flow changes	2017-05-10	Paper
Compositional System Security with Interface-Confined Adversaries	2016-07-08	Paper
Refinement Types for Incremental Computational Complexity	2016-04-26	Paper
Dynamic task allocation in distributed computing systems by heuristic algorithms	2015-06-24	Paper
Superficially substructural types	2014-07-21	Paper
Computability of spiking neural P systems with anti-spikes	2014-01-30	Paper
ON STRING LANGUAGES GENERATED BY SPIKING NEURAL P SYSTEMS WITH ANTI-SPIKES	2011-02-23	Paper
A Modal Deconstruction of Access Control Logics	2008-04-11	Paper
A NEW MIDDLE PATH APPROACH FOR ALIGNMENTS IN BLAST	2007-06-12	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4673427	2005-04-29	Paper

Research outcomes over time

This page was built for person: Deepak Garg