Alur - PDFSEARCH.IO - Document Search Engine

Alur
Results: 147

#	Item
11	Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2018-05-17 10:31:42
12	Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:31:43
13	Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs ∗ Rajeev Alur ˇ y Pavol Cern´ Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2013-01-11 01:47:57
14	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: marenas.sitios.ing.uc.cl - Date: 2013-04-26 05:57:03
15	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:17
16	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:17
17	Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu - Date: 2011-04-06 09:10:35
18	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: www.cis.upenn.edu - Date: 2015-03-25 22:46:28
19	Theory in Practice for System Design and Verification Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu - Date: 2013-10-23 10:48:32
20	Mieux comprendre pour mieux s’entendre ATELIER 8 LA LOI ALUR Add to Reading List Source URL: unis-web.s3.amazonaws.com Language: French - Date: 2016-03-11 06:01:30

UPDATE