Walter Hussak - RankMe

26 papers A* 2A 1B 1Journal 18Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Termination of amnesiac flooding. Distributed Comput. Walter Hussak, Amitabh Trehan
2020	A	`conf`	On the Termination of Flooding. STACS Walter Hussak, Amitabh Trehan
2020	J	`jnl`	Specification of synchronous network flooding in temporal logic. Int. Arab J. Inf. Technol. Ra'Ed Bani-Abdelrahman, Rafat Alshorman, Walter Hussak, Amitabh Trehan
2020	J	`jnl`	Terminating cases of flooding. CoRR Walter Hussak, Amitabh Trehan
2019	A*	`conf`	On Termination of a Flooding Process. PODC Walter Hussak, Amitabh Trehan
2019	J	`jnl`	On The Termination of a Flooding Process. CoRR Walter Hussak, Amitabh Trehan
2018	J	`jnl`	Optimal Bounds for Disjoint Hamilton Cycles in Star Graphs. Int. J. Found. Comput. Sci. Parisa Derakhshan, Walter Hussak
2016	J	`jnl`	Disjoint Hamilton cycles in transposition graphs. Discret. Appl. Math. Walter Hussak
2013	J	`jnl`	Star graph automorphisms and disjoint Hamilton cycles. Int. J. Comput. Math. Parisa Derakhshan, Walter Hussak
2012	J	`jnl`	Monodic temporal logic with quantified propositional variables. J. Log. Comput. Walter Hussak
2008	J	`jnl`	Decidable Cases of First-order Temporal Logic with Functions. Stud Logica Walter Hussak
2008	J	`jnl`	Modeling Data Scheduling for Mobile Transactions in Broadcasting Environment. Int. Arab J. Inf. Technol. Ahmad Alqerem, Walter Hussak
2008	J	`jnl`	The serializability problem for a temporal logic of transaction queries. J. Appl. Non Class. Logics Walter Hussak
2007	J	`jnl`	Formal reduction of interfaces to large-scale process control systems. Int. J. Autom. Comput. Walter Hussak, Shuang-Hua Yang
2004	—	`conf`	Formal development of remote interfaces for large-scale real-time systems. SMC (1) Walter Hussak, Shaun H. Yang
2004	J	`jnl`	Serializable histories in quantified propositional temporal logic. Int. J. Comput. Math. Walter Hussak
2000	—	`conf`	A Method of Verification in Design. HICSS John A. Keane, Walter Hussak
1999	J	`jnl`	A Design Phase Directed Formal Verification Process. Softw. Qual. J. John A. Keane, Walter Hussak
1999	J	`jnl`	Formal Analysis of Memory Requirements. Requir. Eng. Walter Hussak, John A. Keane
1996	J	`jnl`	Expressing Requirements on a Parallel System Formally. Requir. Eng. Walter Hussak, John A. Keane
1996	J	`jnl`	On CCS with Parametric Relabelling. Formal Aspects Comput. Walter Hussak
1995	—	`conf`	Concurrency Control of Tiered Flat Transactions. BNCOD Walter Hussak, John A. Keane
1995	J	`jnl`	Temporal analysis of a microkernel. Softw. Eng. J. Walter Hussak
1994	A*	`conf`	A Formal Approach to Determining Parallel Resource Bindings: Experience Report. ICSE John A. Keane, Walter Hussak
1993	—	`conf`	Representation of Coherency Classes for Parallel Systems. SPDP Walter Hussak, John A. Keane
1992	B	`conf`	The use of formal methods in parallel operating systems. COMPSAC John A. Keane, Walter Hussak