Items where Division is "Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science" and Year is 2014

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Group by: Creators | Item Type | No Grouping
Jump to: D | J | N | P | Z
Number of items: 5.

D


Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M (2014) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359.

J


Jiang, Yufei (2014) Semi-blind CFO estimation and ICA based equalization for wireless communication systems. PhD thesis, University of Liverpool.

N


Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). pp. 883-917.

P


Petty, TJ and Bradley, JW (2014) Tungsten nanostructure formation in a magnetron sputtering device. JOURNAL OF NUCLEAR MATERIALS, 453 (1-3). pp. 320-322.

Z


Zhang, Lan, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2014) A Resolution Calculus for the Branching-Time Temporal Logic CTL. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 15 (1). pp. 1-38.

This list was generated on Sat Apr 27 02:28:34 2024 BST.