Walter Hussak

Walter's public data

Thumbnail
On termination of a flooding process
Walter Hussak
2019-09-02T11:23:57Z
Thumbnail
Optimal bounds for disjoint Hamilton cycles in star graphs
Parisa Derakhshan
2017-06-27T13:14:22Z
Thumbnail
Disjoint Hamilton cycles in transposition graphs
Walter Hussak
2016-03-04T09:15:24Z
Thumbnail
Symmetry and optimality of disjoint Hamilton cycles in star graphs
Parisa Derakhshan
2015-11-05T13:55:35Z
Thumbnail
Monodic temporal logic with quantified propositional variables
Walter Hussak
2014-06-13T07:59:33Z
CONFIDENTIAL FILE
Star graph automorphisms and disjoint Hamilton cycles
Parisa Derakhshan
2014-06-09T10:59:58Z
Thumbnail
Temporal analysis of a microkernel
Walter Hussak
2009-02-04T12:40:50Z
Thumbnail
Representation of coherency classes for parallel systems
Walter Hussak
2009-02-04T12:39:20Z
Thumbnail
Location dependent transaction for mobile environment
Ahmad H. Al-Qerem
2009-02-04T12:37:51Z
Thumbnail
Multi-step transactions specification and verification in a mobile database community
Rafat Alshorman
2009-02-04T12:35:57Z
Thumbnail
A formal approach to determining parallel resource bindings
Walter Hussak
2009-02-02T14:41:52Z
Thumbnail
A method of verification in design: an operating system case study
John A. Keane
2009-02-02T14:41:27Z
Thumbnail
The use of formal methods in parallel operating systems
John A. Keane
2009-02-02T14:40:57Z
Thumbnail
Formal development of remote interfaces for large- scale real-time systems
Walter Hussak
2009-01-28T10:28:02Z
CONFIDENTIAL FILE
Decidable cases of first-order temporal logic with functions
Walter Hussak
2008-04-08T07:54:01Z