36 papers:
TACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving- Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
AFL-2014-CarayolH #algorithm #automaton #model checking- Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
IJCAR-2014-SteigmillerGL #algorithm #logic- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.
RTA-TLCA-2014-Burel- Cut Admissibility by Saturation (GB), pp. 124–138.
CSL-2013-BroadbentK #higher-order #model checking #recursion- Saturation-Based Model Checking of Higher-Order Recursion Schemes (CHB, NK), pp. 129–148.
ICALP-v2-2012-BroadbentCHS #automaton- A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
CASE-2011-Kanamori #anti- Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturation (MK), pp. 798–803.
ICEIS-v1-2011-ZhaoLY #information management #network- Saturation Model of Network Information Diffusion (JZ, ZL, JY), pp. 412–417.
- CSL-2011-AdamekMMS
- Power-Set Functors and Saturated Trees (JA, SM, LSM, LS), pp. 5–19.
- CASE-2010-Kanamori #design #using
- Anti-windup controller design using gravity compensation for Euler-Lagrange systems with actuator saturation (MK), pp. 798–803.
DATE-2010-ChenABF #monitoring #using- Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter (WC, IA, SBO, LMGF), pp. 1530–1535.
ICGT-2010-BonchiGMM #lts #term rewriting- Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.
- IJCAR-2010-SudaWW #on the
- On the Saturation of YAGO (MS, CW, PW), pp. 441–456.
POPL-2009-TateSTL #approach #optimisation #similarity- Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
SAC-2009-ZhangLZZZZ #first-order #linear #optimisation- Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
ESEC-FSE-2009-ShermanDE #concurrent #source code #testing- Saturation-based testing of concurrent programs (ES, MBD, SGE), pp. 53–62.
CADE-2009-HorbachW #decidability- Decidability Results for Saturation-Based Model Building (MH, CW), pp. 404–420.
- TACAS-2008-McMillan #generative #invariant #proving #quantifier #using
- Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.
- IJCAR-2008-MouraB08a
- Engineering DPLL(T) + Saturation (LMdM, NB), pp. 475–490.
TLCA-2007-Tatsuta #higher-order #quantifier #set- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification (MT), pp. 366–380.
ICPR-v4-2006-Fisher06a #capacity #classification #empirical- An Empirical Model for Saturation and Capacity in Classifier Spaces (RBF), pp. 189–193.
LICS-2006-BonchiKM #semantics- Saturated Semantics for Reactive Systems (FB, BK, UM), pp. 69–80.
- TACAS-2003-CiardoMS #bound
- Saturation Unbound (GC, RMM, RS), pp. 379–393.
- CADE-2003-Lynch #problem #unification
- Schematic Saturation for Decision and Unification Problems (CL), pp. 427–441.
- LICS-2003-DershowitzK
- Abstract Saturation-Based Inference (ND, CK), pp. 65–74.
- ICPR-v2-2002-El-MaraghiJ #coordination #image #independence
- Saturated Independent Color Coordinates for Image Alignment (TFEM, ADJ), pp. 685–688.
- TACAS-2001-CiardoLS #generative #named #performance
- Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.
CC-2001-Touati- Register Saturation in Superscalar and VLIW Codes (SAAT), pp. 213–228.
DAC-1998-AzizKS #hybrid #simulation #using #verification- Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
- RTA-1998-Fuchs #information management #proving
- Coupling Saturation-Based Provers by Exchanging Positive/Negative Information (DF), pp. 317–331.
- ICALP-1996-Ganzinger #proving #theorem proving
- Saturation-Based Theorem Proving (Abstract) (HG), pp. 1–3.
- CADE-1996-Ganzinger #proving #theorem proving
- Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract) (HG), p. 1.
SEKE-1994-Pliuskevicius #deduction #specification- Saturated deductive systems for temporal specifications (RP), pp. 267–273.
- RTA-1993-NivelaN #first-order
- Saturation of First-Order (Constrained) Clauses with the Saturate System (PN, RN), pp. 436–440.
- DAC-1980-LorenzettiS #implementation #multi
- An implementation of a saturated zone multi-layer printed circuit board router (MJL, RJSI), pp. 255–262.
- DAC-1970-OSullivan #algorithm #modelling
- An algorithm for modeling saturating magnetic devices (GAO), pp. 286–294.
