18 papers:
FoSSaCS-2013-KatsumataS #algebra #monad #simulation- Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
LICS-2013-HirschkoffMS #calculus- Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
SAC-2010-LiuJWZQ #mining- Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.
KR-2008-YahiBLSP- A Lexicographic Inference for Partially Preordered Belief Bases (SY, SB, SL, MS, OP), pp. 507–517.
LICS-2008-ChenF #axiom #equivalence #on the- On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (TC, WF), pp. 156–165.
LICS-2007-DengGHMZ #finite #probability #process #testing- Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
KR-2006-BoothMW #how- A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.
VMCAI-2002-TipleaT #abstraction #simulation- A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
SAT-2001-Gelder #satisfiability- Combining Preorder and Postorder Resolution in a Satisfiability Solver (AVG), pp. 115–128.
TACAS-2000-HelovuoV #process- Checking for CFFD-Preorder with Tester Processes (JH, AV), pp. 283–298.
LICS-2000-BloomFG- Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.
ICALP-1999-KuceraM #algebra #process #simulation- Simulation Preorder on Simple Process Algebras (AK, RM), pp. 503–512.
CAV-1997-Kaivola #composition #using #verification- Using Compositional Preorders in the Verification of Sliding Window Protocal (RK), pp. 48–59.
LICS-1995-JonssonY #composition #probability #process #testing- Compositional Testing Preorders for Probabilistic Processes (BJ, WY), pp. 431–441.
ICALP-1992-CleavelandSZ #probability #process #testing- Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.
CAV-1992-CelikkanC #behaviour #generative- Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.
CAV-1991-DillHW #simulation #using- Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
CAV-1991-FernandezM #behaviour #on the fly #verification- “On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.