Suman Roy

Available identifiers

zbMath Open roy.sumanWikidataQ102334024 ScholiaQ102334024MaRDI QIDQ1015927

List of research outcomes

Publication	Date of Publication	Type
On Leaf Node Edge Switchings in Spanning Trees of De Bruijn Graphs	2020-06-29	Paper
On the frequency of symbols in sequences generated by nonlinear feedforward generators	2020-05-12	Paper
A decidable timeout-based extension of linear temporal logic	2018-08-28	Paper
A duration calculus with neighborhood modalities	2012-07-17	Paper
A numerical method for the hyperbolic-heat conduction equation based on multiple scale technique	2009-04-30	Paper
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems	2008-07-03	Paper
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems	2007-09-06	Paper
Completeness of neighbourhood logic	2002-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4251068	1999-11-29	Paper
Negation as failure as resolution	1999-06-21	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: Suman Roy