Walter Hussak

Available identifiers

zbMath Open hussak.walterMaRDI QIDQ277616

List of research outcomes

Publication	Date of Publication	Type
Termination of amnesiac flooding	2023-06-19	Paper
On the termination of flooding	2023-02-07	Paper
On Termination of a Flooding Process	2021-01-20	Paper
Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs	2018-05-17	Paper
Disjoint Hamilton cycles in transposition graphs	2016-05-02	Paper
Star graph automorphisms and disjoint Hamilton cycles	2013-10-08	Paper
Monodic temporal logic with quantified propositional variables	2012-06-20	Paper
The serializability problem for a temporal logic of transaction queries	2009-11-30	Paper
Decidable cases of first-order temporal logic with functions	2008-04-23	Paper
Serializable histories in quantified propositional temporal logic	2005-02-28	Paper
On CCS with parametric relabelling	1996-06-02	Paper

Research outcomes over time

This page was built for person: Walter Hussak