9 papers:
ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
CSCW-2015-GonzalesFB #lessons learnt #towards- Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.
CSL-2015-BaeldeDS #fixpoint- Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
ICEIS-J-2012-AmarGMHLN12a #automation #concept analysis- Finding Semi-Automatically a Greatest Common Model Thanks to Formal Concept Analysis (BA, AOG, AM, MH, TL, CN), pp. 72–91.
- ICEIS-v1-2012-AmarGMHLN #concept analysis #using
- Using Formal Concept Analysis to Extract a Greatest Common Model (BA, AOG, AM, MH, TL, CN), pp. 27–37.
FoSSaCS-2009-Clairambault #fixpoint #game studies #semantics- Least and Greatest Fixpoints in Game Semantics (PC), pp. 16–31.
HCD-2009-BaileyWNK #metric #testing #usability- Performance-Based Usability Testing: Metrics That Have the Greatest Impact for Improving a System’s Usability (RWB, CAW, JN, SK), pp. 3–12.
STOC-1985-Kaltofen #source code- Computing with Polynomials Given by Straight-Line Programs I: Greatest Common Divisors (EK), pp. 131–142.
- ICALP-1977-Roever #backtracking #fixpoint #on the
- On Backtracking and Greatest Fixpoints (WPdR), pp. 412–429.
