Modification date 26 June 2014 03:43:16
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:43:16".
Since there have been only a few results, also nearby values are displayed.
- Publications:Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network + (26 June 2014 03:43:10)
- Publications:Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network + (26 June 2014 03:43:10)
- Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks + (26 June 2014 03:43:11)
- Publications:Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series + (26 June 2014 03:43:11)
- Publications:Decompositional Reasoning about the History of Parallel Processes + (26 June 2014 03:43:12)
- Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS) + (26 June 2014 03:43:12)
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras + (26 June 2014 03:43:13)
- Publications:Decompositional reasoning about the history of parallel processes + (26 June 2014 03:43:13)
- Publications:Algebraic properties for free! + (26 June 2014 03:43:14)
- Publications:Rule Formats for Determinism and Idempotence + (26 June 2014 03:43:15)
- Publications:Rule Formats for Distributivity + (26 June 2014 03:43:15)
- Publications:On rule formats for zero and unit elements + (26 June 2014 03:43:16)
- Publications:SOS Rule Formats for Zero and Unit Elements + (26 June 2014 03:43:16)
- Publications:Rule formats for distributivity + (26 June 2014 03:43:17)
- Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations + (26 June 2014 03:43:17)
- Publications:Impossibility results for the equational theory of timed CCS + (26 June 2014 03:43:18)
- Publications:A rule format for unit elements + (26 June 2014 03:43:18)
- Publications:Proceedings First International Workshop on Process Algebra and Coordination + (26 June 2014 03:43:19)
- Publications:Reconstruction and verification of group membership protocols + (26 June 2014 03:43:20)
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems + (26 June 2014 03:43:20)
- Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + (26 June 2014 03:43:21)
- Publications:Formal specification and analysis of accelerated heartbeat protocols + (26 June 2014 03:43:21)
