13 papers:
FM-2015-SharmaWCHC #infinity #reasoning- Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
CAV-2012-Moskal #bound #c #infinity #verification- From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
ICSE-2011-StengelFAFKD #development #feature model #infinity #interface- View infinity: a zoomable interface for feature-oriented software development (MS, MF, SA, JF, CK, RD), pp. 1031–1033.
ICML-2009-QuattoniCCD #infinity #performance- An efficient projection for l1,infinity regularization (AQ, XC, MC, TD), pp. 857–864.
ICPR-2008-LinG #infinity #using- Depth recovery using defocus blur at infinity (HYL, KDG), pp. 1–4.
CASE-2006-ChenYTCW #difference #fuzzy #hybrid #linear #matrix- Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
SAC-2006-HeatherS #analysis #infinity #protocol #security- To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
LICS-2003-PistoreV #infinity- The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
CSL-1999-Franzle #analysis #hybrid #infinity- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
- CSL-1993-Raffalli #data type #infinity #similarity
- Data Types, Infinity and Equality in System AF2 (CR), pp. 280–294.
HT-ECHT-1992-Martucci92b #infinity #multi- From Infinity to Infinity (a Multimedia History of the Universe, Demonstration) (RM), p. 292.
ICALP-1991-Wilke #theorem- An Eilenberg Theorem for Infinity-Languages (TW), pp. 588–599.
STOC-1985-FichHRW #bound #infinity #parallel- One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.
