Suman Roy

Available identifiers

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

This page was built for person: Suman Roy