Suman Roy

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
On Leaf Node Edge Switchings in Spanning Trees of De Bruijn Graphs Communications in Computer and Information Science	2020-06-29	Paper
On the frequency of symbols in sequences generated by nonlinear feedforward generators Cryptography and Communications	2020-05-12	Paper
A decidable timeout-based extension of linear temporal logic Journal of Applied Non-Classical Logics	2018-08-28	Paper
A duration calculus with neighborhood modalities. Journal of Applied Non-Classical Logics	2012-07-17	Paper
A numerical method for the hyperbolic-heat conduction equation based on multiple scale technique Applied Numerical Mathematics	2009-04-30	Paper
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems Automated Technology for Verification and Analysis	2008-07-03	Paper
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems Implementation and Application of Automata	2007-09-06	Paper
Completeness of neighbourhood logic Journal Of Logic And Computation	2002-12-03	Paper
scientific article; zbMATH DE number 1304337 (Why is no real title available?)	1999-11-29	Paper
Negation as failure as resolution Constraints	1999-06-21	Paper

Research outcomes over time

This page was built for person: Suman Roy