All public logs

From CERES

Combined display of all available logs of CERES. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs

All public logs Block log Deletion log Import log Merge log Move log Patrol log Protection log Upload log User creation log User merge log User rights log Performer:  Target (title or user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4108 of page Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4109 of page Publications:Modular Semantics for Transition System Specifications with Negative Premises patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4106 of page Publications:Formal specification and analysis of accelerated heartbeat protocols patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4107 of page Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4104 of page Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4105 of page Publications:Reconstruction and verification of group membership protocols patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4103 of page Publications:Proceedings First International Workshop on Process Algebra and Coordination patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4101 of page Publications:Impossibility results for the equational theory of timed CCS patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4102 of page Publications:A rule format for unit elements patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4099 of page Publications:Rule formats for distributivity patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4100 of page Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4097 of page Publications:SOS Rule Formats for Zero and Unit Elements patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4098 of page Publications:On rule formats for zero and unit elements patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4095 of page Publications:Rule Formats for Determinism and Idempotence patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4096 of page Publications:Rule Formats for Distributivity patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4093 of page Publications:Lifting non-finite axiomatizability results to extensions of process algebras patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4094 of page Publications:Algebraic properties for free! patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4092 of page Publications:Decompositional reasoning about the history of parallel processes patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4090 of page Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS) patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4091 of page Publications:Decompositional Reasoning about the History of Parallel Processes patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4088 of page Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4089 of page Publications:Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4086 of page Publications:Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4087 of page Publications:Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4084 of page Publications:Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4085 of page Publications:Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4082 of page Publications:A Centralized Channel Assignment Algorithm for Clustered Ad Hoc Networks patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4083 of page Publications:Brain Emotional Learning Based Fuzzy Inference System (Modified using Radial Basis Function) patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4081 of page Publications:Brain Emotional Learning-Inspired Models patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4079 of page Publications:A tool for derivation of implementation constraints : -- evaluation using implementation simulation patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4080 of page Publications:Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4077 of page Publications:Derivation of implementation constraints - implementation simulation and treatment of multiple design choices patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4078 of page Publications:Derivation of implementation constraints -- implementation simulation and treatment of multiple design choices patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4075 of page Publications:Less pessimistic worst-case delay analysis for packet-switched networks patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4076 of page Publications:Towards a tool for derivation of implementation constraints patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4074 of page Publications:Analysis of Efficient TDMA Schedules via the Fat-Tree Network with Real-Time Many-to-Many Communication patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4072 of page Publications:EDF-based Protocol for a Fiber Optic Network with Passive Star and Separate Control Channel patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4073 of page Publications:A Ethernet based Metropolitan Area Open Access Architecture patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4070 of page Publications:Vision-based low-level navigation using a feed-forward neural network patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4071 of page Publications:Wireless Sensor Networks for Surveillance Applications - A Comparative Survey of MAC Protocols patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4068 of page Publications:Dynamic time-deterministic traffic in a fiber-optic WDM star network patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4069 of page Publications:On inter-cluster communication in a time-deterministic WDM star network patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4067 of page Publications:Fiber-ribbon ring network with services for parallel processing and distributed real-time systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4065 of page Publications:High performance fiber-optic interconnection networks for real-time computing systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4066 of page Publications:A class of Fiber-Ribbon Pipeline Ring networks for parallel and distributed computing systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4063 of page Publications:Optical interconnections in parallel radar signal processing systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4064 of page Publications:Comments on interconnection networks for parallel radar signal processing systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4061 of page Publications:Real-Time Communication patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4062 of page Publications:High-performance fiber-optic communication networks for distributed computing systems patrolled
• 04:42, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4059 of page Publications:Optical interconnection technology in switches, routers and optical cross connects patrolled

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)