Pallab Dasgupta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A new competitive algorithm for agent searching in unknown streets	2024-07-05	Paper
Learn from your faults: leakage assessment in fault attacks using deep learning Journal of Cryptology	2023-07-05	Paper
Searching game trees under a partial order Artificial Intelligence	2022-09-22	Paper
Learning temporal causal sequence relationships from real-time time-series Journal of Artificial Intelligence Research	2021-01-22	Paper
Scheduling of controllers' update-rates for residual bandwidth utilization Lecture Notes in Computer Science	2018-02-16	Paper
Formal assessment of reliability specifications in embedded cyber-physical systems Journal of Applied Logic	2016-10-31	Paper
Agreement under faulty interfaces Information Processing Letters	2016-06-09	Paper
A fuzzy real-time temporal logic International Journal of Approximate Reasoning	2015-07-10	Paper
Concurrent usage control implementation verification using the SPIN model checker Recent Trends in Network Security and Applications	2010-10-28	Paper
Can semi-formal be made more formal? Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems	2010-06-02	Paper
The power of first-order quantification over states in branching and linear time temporal logics Information Processing Letters	2009-07-21	Paper
Distributed Computing - IWDC 2004 Lecture Notes in Computer Science	2005-08-12	Paper
A branching time temporal framework for quantitative reasoning Journal of Automated Reasoning	2003-06-09	Paper
Min-max event-triggered computation tree logic Sādhanā	2003-05-01	Paper
A correction to: ``Agent searching in a tree and the optimality of iterative deepening'' Artificial Intelligence	2003-02-04	Paper
Heuristic search strategies for multiobjective state space search Sādhanā	2002-02-18	Paper
Min-max Computation Tree Logic Artificial Intelligence	2001-08-20	Paper
scientific article; zbMATH DE number 1386739 (Why is no real title available?)	2000-01-11	Paper
Utility of pathmax in partial order heuristic search Information Processing Letters	1997-02-27	Paper
Agent search in uniform b-ary trees: Multiple goals and unequal costs Information Processing Letters	1997-02-27	Paper
Multiobjective Heuristic Search in AND/OR Graphs Journal of Algorithms	1996-12-11	Paper
Agent searching in a tree and the optimality of iterative deepening Artificial Intelligence	1995-01-09	Paper

Research outcomes over time

This page was built for person: Pallab Dasgupta