Deepak Garg

From MaRDI portal
Person:1615409

Available identifiers

zbMath Open garg.deepakWikidataQ79804850 ScholiaQ79804850MaRDI QIDQ1615409

List of research outcomes





PublicationDate of PublicationType
Robustly safe compilation2023-11-24Paper
Trace-Relating Compiler Correctness and Secure Compilation2022-10-13Paper
A Linear Logic of Authorization and Knowledge2022-03-09Paper
Relational cost analysis in a functional-imperative setting2022-01-07Paper
A partitioned solver for compressible/incompressible fluid flow and light structure2021-10-19Paper
Variance-stabilization-based compressive inversion under Poisson or Poisson–Gaussian noise with analytical bounds2019-09-20Paper
Relational reasoning for Markov chains in a probabilistic guarded lambda calculus2019-09-13Paper
Computation of compressible and incompressible flows with a space-time stabilized finite element method2019-07-03Paper
Modeling free surface flows using stabilized finite element method2019-02-08Paper
Extended suffix array construction using Lyndon factors2018-10-31Paper
Approximation Algorithm for Resource Allocation Problems with Time Dependent Penalties2018-05-14Paper
Causally Consistent Dynamic Slicing2018-03-21Paper
Relational cost analysis2017-10-20Paper
Countermodels from Sequent Calculi in Multi-Modal Logics2017-05-16Paper
A type theory for incremental computational complexity with control flow changes2017-05-10Paper
Compositional System Security with Interface-Confined Adversaries2016-07-08Paper
Refinement Types for Incremental Computational Complexity2016-04-26Paper
Dynamic task allocation in distributed computing systems by heuristic algorithms2015-06-24Paper
Superficially substructural types2014-07-21Paper
Computability of spiking neural P systems with anti-spikes2014-01-30Paper
ON STRING LANGUAGES GENERATED BY SPIKING NEURAL P SYSTEMS WITH ANTI-SPIKES2011-02-23Paper
A Modal Deconstruction of Access Control Logics2008-04-11Paper
A NEW MIDDLE PATH APPROACH FOR ALIGNMENTS IN BLAST2007-06-12Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q46734272005-04-29Paper

Research outcomes over time

This page was built for person: Deepak Garg