Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Peter Malec
Marc Reichenbach
Kimberly Stephens
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Humphrey M. Sabi
Home
/
Author
/
JUSTIN PEARSON
Author Info
Open Visualization
Name
Affiliation
Papers
JUSTIN PEARSON
Uppsala University, Sweden
8
Collaborators
Citations
PageRank
13
20
3.44
Referers
Referees
References
45
165
74
Search Limit
100
165
Publications (8 rows)
Collaborators (13 rows)
Referers (45 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.
0
0.34
2018
MiniZinc with Strings.
1
0.35
2016
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs
2
0.38
2015
Protocol Log Analysis with Constraint Programming.
0
0.34
2014
Model-based protocol log generation for testing a telecommunication test harness using CLP
4
0.57
2014
On the reification of global constraints
12
0.77
2013
Solution neighbourhoods for constraint-directed local search
0
0.34
2012
Constrained optimisation over massive databases
1
0.37
2009
1