Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Browsing by Author Hussak, Walter

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 14 of 14
Issue DateTitleAuthor(s)
2008Decidable cases of first-order temporal logic with functionsHussak, Walter
2016Disjoint Hamilton cycles in transposition graphsHussak, Walter
1994A formal approach to determining parallel resource bindingsHussak, Walter; Keane, John A.
2004Formal development of remote interfaces for large- scale real-time systemsHussak, Walter; Yang, Shuang-Hua
2006Location dependent transaction for mobile environmentAl-Qerem, Ahmad H.; Hussak, Walter
2000A method of verification in design: an operating system case studyKeane, John A.; Hussak, Walter
2012Monodic temporal logic with quantified propositional variablesHussak, Walter
2008Multi-step transactions specification and verification in a mobile database communityAlshorman, Rafat; Hussak, Walter
2017Optimal bounds for disjoint Hamilton cycles in star graphsDerakhshan, Parisa; Hussak, Walter
1993Representation of coherency classes for parallel systemsHussak, Walter; Keane, John A.
2013Star graph automorphisms and disjoint Hamilton cyclesDerakhshan, Parisa; Hussak, Walter
2014Symmetry and optimality of disjoint Hamilton cycles in star graphsDerakhshan, Parisa; Hussak, Walter
1995Temporal analysis of a microkernelHussak, Walter
1992The use of formal methods in parallel operating systemsKeane, John A.; Hussak, Walter
Showing results 1 to 14 of 14