Pallab Dasgupta

Available identifiers

zbMath Open dasgupta.pallabMaRDI QIDQ230078

List of research outcomes

Publication	Date of Publication	Type
Learn from your faults: leakage assessment in fault attacks using deep learning	2023-07-05	Paper
Searching game trees under a partial order	2022-09-22	Paper
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series	2021-01-22	Paper
Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization	2018-02-16	Paper
Formal assessment of reliability specifications in embedded cyber-physical systems	2016-10-31	Paper
Agreement under faulty interfaces	2016-06-09	Paper
A fuzzy real-time temporal logic	2015-07-10	Paper
Concurrent Usage Control Implementation Verification Using the SPIN Model Checker	2010-10-28	Paper
Can Semi-Formal be Made More Formal?	2010-06-02	Paper
The power of first-order quantification over states in branching and linear time temporal logics	2009-07-21	Paper
Distributed Computing - IWDC 2004	2005-08-12	Paper
A branching time temporal framework for quantitative reasoning	2003-06-09	Paper
Min-max event-triggered computation tree logic	2003-05-01	Paper
A correction to: ``Agent searching in a tree and the optimality of iterative deepening	2003-02-04	Paper
Heuristic search strategies for multiobjective state space search	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4933704	2000-01-11	Paper
Agent search in uniform b-ary trees: Multiple goals and unequal costs	1997-02-27	Paper
Utility of pathmax in partial order heuristic search	1997-02-27	Paper
Multiobjective Heuristic Search in AND/OR Graphs	1996-12-11	Paper
Agent searching in a tree and the optimality of iterative deepening	1995-01-09	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: Pallab Dasgupta