Janardan Misra

Available identifiers

zbMath Open misra.janardan-kumarMaRDI QIDQ626899

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5226072	2019-07-30	Paper
A decidable timeout-based extension of linear temporal logic	2018-08-28	Paper
A randomized algorithm for 3-SAT	2011-02-19	Paper
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4414665	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4025339	1993-02-18	Paper
Three-dimensional convective flow and heat transfer in a porous medium	1992-06-25	Paper
Free convection along a vertical wall in a porous medium with periodic permeability variation	1989-01-01	Paper
Three-dimensional convective flow and heat transfer in a porous medium	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818766	1987-01-01	Paper
A mathematical analysis of unsteady flow and heat transfer in a porous medium	1986-01-01	Paper
Peripheral-layer viscosity and microstructural effects on the capillary- tissue fluid exchange	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Janardan Misra