Alur - PDFSEARCH.IO - Document Search Engine

Alur
Results: 147

#	Item
61	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: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03
62	YOUTH HOSTELS ASSOCIATION OF INDIA, NEW DELHI ALUR & ASSOCIATES YOUTH HOSTELS ASSOCIATION OF INDIA Add to Reading List Source URL: yhaindia.org Language: English - Date: 2015-05-13 04:54:49
63	Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu Presented by Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-02-23 15:02:20
64	Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu University of Pennsylvania, Philadelphia, USA. {alur,moarref,utopcu}@seas.upenn.edu Abstract—The reac Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-21 15:47:42
65	RTComposer: A Framework for Real-Time Components with Scheduling Interfaces Rajeev Alur and Gera Weiss University of Pennsylvania , Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-08-05 13:48:00
66	Syntax-Guided Synthesis Rajeev Alur Marktoberdorf Summer School Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-11 09:18:05
67	Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-02-12 16:33:01
68	First-Order and Temporal Logics for Nested Words Rajeev Alur Marcelo Arenas Pablo Barcel´o Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2007-04-19 12:20:30
69	Optimal Scheduling for Constant-Rate Multi-Mode Systems Rajeev Alur Ashutosh Trivedi Dominik Wojtczak Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-06 09:08:02
70	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:16

UPDATE