Alur - PDFSEARCH.IO - Document Search Engine

Alur
Results: 147

#	Item
51	Learning-based Symbolic Assume-guarantee Reasoning with Automatic Decomposition ⋆ Wonhong Nam and Rajeev Alur Dept. of Computer and Information Science University of Pennsylvania {wnam, alur}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-08-21 17:37:50
52	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations ∗ Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-02-14 10:45:49
53	Marrying Words and Trees Rajeev Alur University of Pennsylvania ABSTRACT Traditionally, data that has both linear and hierarchical Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-22 09:38:53
54	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-10-11 11:25:26
55	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-01-15 02:35:33
56	Shared Variables Interaction Diagrams Rajeev Alur Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:13
57	Formal Verification of Hybrid Systems Rajeev Alur University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-07-29 13:52:05
58	Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-10-01 17:14:07
59	Regular Combinators for String Transformations ∗ Rajeev Alur Adam Freilich Mukund Raghothaman Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-05-16 11:43:40
60	Automata Based Interfaces for Control and Scheduling Gera Weiss and Rajeev Alur University of Pennsylvania {gera,alur}@seas.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 08:52:36

UPDATE