Jan Grabowski An Algorithm to Identify Slices, with Applications to Vector Replacement Systems. [Citation Graph (0, 0)][DBLP] FCT, 1981, pp:425-432 [Conf]
Jan Grabowski Anwendung topologischer Methoden in der Theorie der ND-Automaten. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1973, v:9, n:10, pp:615-633 [Journal]
Jan Grabowski Eindeutige Umkehrbarkeit des Verhaltens asynchroner ND-Automaten. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1974, v:10, n:2/3, pp:109-122 [Journal]
Jan Grabowski Ein Analyse-Synthese-Satz für lokal-endliche ND-Automaten. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1974, v:10, n:7, pp:393-397 [Journal]
Jan Grabowski Unpredictable Sets. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1976, v:12, n:8/9, pp:439-447 [Journal]
Jan Grabowski On the Analysis of Switching Circuits by Means of Petri Nets. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1978, v:14, n:12, pp:611-617 [Journal]
Jan Grabowski On Hack's Conjecture Concerning Reachability in Petri Nets. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1979, v:15, n:7, pp:339-354 [Journal]
Jan Grabowski Linear Methods in the Theory of Vector Addition Systems I. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1980, v:16, n:5/6, pp:207-236 [Journal]
Jan Grabowski Unificational Dynamic Logic. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1986, v:22, n:5/6, pp:325-338 [Journal]
Jan Grabowski The Unsolvability of Some Petri Net Language Problems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1979, v:9, n:2, pp:60-63 [Journal]
Jan Grabowski The Decidability of Persistence for Vector Addition Systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1980, v:11, n:1, pp:20-23 [Journal]