K. Narayan Kumar

Available identifiers

zbMath Open kumar.k-narayanMaRDI QIDQ1323354

List of research outcomes

Publication	Date of Publication	Type
Data flow analysis of asynchronous systems using infinite abstract domains	2021-10-18	Paper
The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings	2020-07-08	Paper
Acceleration in multi-pushdown systems	2019-09-17	Paper
Infinite-state energy games	2018-04-23	Paper
The complexity of regular abstractions of one-counter languages	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2978551	2017-04-25	Paper
Verifying Communicating Multi-pushdown Systems via Split-Width	2015-12-17	Paper
Checking conformance for time-constrained scenario-based specifications	2015-07-24	Paper
ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS	2015-04-23	Paper
Controllers for the Verification of Communicating Multi-pushdown Systems	2014-09-15	Paper
Distributed Timed Automata with Independently Evolving Clocks	2014-05-14	Paper
Adjacent Ordered Multi-Pushdown Systems	2013-06-28	Paper
The Theory of Message Sequence Charts	2013-02-26	Paper
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding	2012-11-21	Paper
MSO Decidability of Multi-Pushdown Systems via Split-Width	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2908850	2012-08-29	Paper
Model Checking Languages of Data Words	2012-06-22	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5190778	2009-07-27	Paper
Distributed Timed Automata with Independently Evolving Clocks	2008-11-25	Paper
Checking Coverage for Infinite Collections of Timed Scenarios	2008-09-18	Paper
Local Testing of Message Sequence Charts Is Difficult	2008-02-26	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4736515	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472242	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4470508	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4501591	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4536376	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2754187	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4518894	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4501586	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4494372	2000-08-10	Paper
Infinitary parallelism without unbounded nondeterminism in CSP	1994-06-02	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: K. Narayan Kumar