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 4141 of page Publications:SOS formats and meta-theory : 20 years after patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4142 of page Publications:A syntactic commutativity format for SOS patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4139 of page Publications:A Congruence Rule Format with Universal Quantification patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4140 of page Publications:Prototyping SOS meta-theory in Maude patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4138 of page Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4136 of page Publications:Specoal Issue on foundations of coordination languages and software architectures (selected papers from FOCLASA'11) : Foreword patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4137 of page Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4134 of page Publications:Special issue: software verification and testing patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4135 of page Publications:Semantics and expressiveness of ordered SOS patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4132 of page Publications:Causality in the semantics of Esterel : revisited patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4133 of page Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4131 of page Publications:Esterel and the Semantics of Causality patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4129 of page Publications:Robustness of equations under operational extensions patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4130 of page Publications:Robustness of behavioral equivalence on open terms patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4127 of page Publications:PobSAM : policy-based managing of actors in self-adaptive systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4128 of page Publications:Formal modeling of evolving self-adaptive systems patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4125 of page Publications:Symmetry and partial order reduction techniques in model checking Rebeca patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4126 of page Publications:Early Fault Detection in DSLs using SMT Solving and Automated Debugging patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4124 of page Publications:Formal analysis of systemc designs in process algebra patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4123 of page Publications:A framework for performance evaluation and functional verification in stochastic process algebras patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4121 of page Publications:Sarir : a Rebeca to mCRL2 translator patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4122 of page Publications:Application of process algebraic verification and reduction techniques to SystemC designs patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4119 of page Publications:Restricted delegation and revocation in language-based security : (Position paper) patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4120 of page Publications:Process algebraic verification of SystemC codes patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4117 of page Publications:Towards model checking executable UML specifications in mCRL2 patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4118 of page Publications:Automated Verification of Executable UML Models patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4115 of page Publications:Algebraic Meta-Theory of Processes with Data patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4116 of page Publications:Throughput analysis of synchronous data flow graphs patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4113 of page Publications:Operational and epistemic approaches to protocol analysis : bridging the gap patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4114 of page Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4112 of page Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4110 of page Publications:Nominal SOS patrolled
• 04:43, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4111 of page Publications:A rule format for associativity patrolled
• 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

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