StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

danielp

Rating
1495.41 (4,259,788th) 		Reputation
977 (157,750th)
Page: 1
Title Δ
Z Notation: sequence of sequences - find sum 0.00
How to populate a relation with an axiom in event b 0.00
Event-B total function proof obligation 0.00
Can Kripke structures have guards? 0.00
How to represent unique attribute in Z-notation without quantifiers? 0.00
How to do inclusion of schema in other schema using Z language +4.04
How to do inclusion of schema in other schema using Z language -1.96
Zed specification: Promotion and applying an operation more than on... 0.00
Refinement of a B specification 0.00
Event-B Proof Obligations 0.00
In Z notation, how to define a division operation for integer numbers 0.00
Expressing rules in B-Method 0.00
Cardinality constraints unsatisfiable -2.26
Return highest or lowest value Z notation , formal method 0.00
Display the execution times for each goal of a predicate clause +4.84
How to check LTL satisfiability using NuSMV? 0.00
Prolog. In a query, how to put a condition on a variable that I do... -3.60
Getting the prime/next state of a variable 0.00
Knowledge Based System of a family tree in SWI-Prolog +0.41
prolog read from file throws error on special characters 0.00
LTL about Fp=TUp, is T really necessary in rewriting F? 0.00
Event-B, formal modelling : How to affect all the elements of a set... 0.00
Round off a numeric field into 2 decimal places but save the value... 0.00
How do I design a search operation in Z notation whereby the search... 0.00
How do I properly design a Z schema for this scenario? 0.00
Event-B Rodin platform, Modelling Sub-Sets relation 0.00
How to connect Alloy model with JAVA or Python? +0.07
Prolog queries beginner 0.00
Errors learning Prolog -3.61
Prolog boolean equation solve -0.71
basic prolog program not returning FALSE -3.43
Prolog out of local stack space/ infinite recursion -3.25
Prolog: Art Theft. Solving a logic puzzle +0.12
Prolog: how to extract lists from complex term +4.18
Creating a dynamic rule in prolog 0.00
Why can't I compare two atom like this? 0.00
Keywords: some and one before higher-order quantification -3.90
Directed Multigraph, I have to calculate the sums of costs from nod... 0.00
Can someone explain how to do unification to get the answer in a de... +0.70
Prolog Instantiation Error Issue 0.00
Start from a different element when operating on a list in prolog -0.06
Formal methods - Map of price relating cars to price with two sets... -0.04
Prime factorization in prolog -0.43
transitive closure over a symmetric relation in prolog +4.00
Create a list of nodes from a graph in Prolog? +0.32
Event B Total Function 0.00
event-b: is it possible generate sequence from ... to ... of prime... 0.00
What is the size of an LTL formula? 0.00
Z Notation: Representation of a 2D array 0.00