Natarajan Shankar

	California Fremont Los Altos Chennai Pleasanton Austin Columbia Doha Hopkinton Littleton

	SRI International Computer Science University Formal Verification Sam Owre PVS Software Computer Science Laboratory

Images of Natarajan Shankar

(1 - 9 from 14 –show all)

News

(1 - 4 from 8

–show all

)

A Brief Overview of PVS - Microsoft Research

research.microsoft.com

PVS has been available since It has hundreds of users. It is open source. Sam Owre & Natarajan Shankar. A Brief Overview of PVS ...

Shankar’s S Pictures to release “Kappal” - Tamilstar.com

www.tamilstar.com

Director Shankar’s production company “S Pictures”, after four years, had bought the theatrical rights of the film “Kappal”. Tamilstar.com

Natarajan Shankar's Home PageNatarajan Shankar. Computer Scientist, SRI's Computer Science Laboratory. Addresses:. SRI International MS EL256, ... Natarajan Shankar (.com) www.csl.sri.com/~shankar/ ...

Theory Announcements: CfP: Theoretical Aspects of Com…ng ...

Gerardo Schneider, Sweden * Natarajan Shankar, USA * Marjan Sirjani, Iceland * Fausto Spoto, Italy * Clint van Alten, South Africa * Franck van Breugel, Canada * Govert van Drimmelen, South Africa * Daniel Varro, Hungary ...

Telephone & Addresses

(1 - 4 from 22

–show all

)

Natarajan Shankar (Age: 54)

Pleasanton CA

Natarajan Shankar (Age: 58)

Littleton CO

Natarajan Shankar (Age: 65)

Los Altos CA

Natarajan Shankar, 55, Austin, US, E 47th St

View Natarajan's social profiles and photos on Facebook, MySpace, and +40 Networks.

Network Profiles

(1 - 4 from 21

–show all

)

Facebook: Natarajan Shankar

Twitter Profile: Natarajan Shankar (nshankar)

Location: india

wayn.com: Natarajan Shankar

31, m, Chennai, India

wayn.com: Natarajan Shankar

30, m, Chennai, India

Interests

(1 - 4 from 6

–show all

)

v1.arnetminer.org

Name Disambiguation results for 3 "Natarajan Shankar": [Show all "Natarajan Shankar"]. <. 1 h-index:26 #papers: h-index:13 #papers: h-index:1 ...

Natarajan Shankar, Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim...

philpapers.org

Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications [Book Review].

Natarajan Shankar - Patents

www.freshpatents.com

Recent bibliographic sampling of patent applications for Natarajan Shankar listed/published in the public domain by the USPTO (USPTO Patent Application # ...

Shankar Natarajan, Inventor, Fremont, CA, US

www.patentbuddy.com

Shankar Natarajan's Inventor profile, Fremont, CA, US, CISCO TECHNOLOGY, INC.;, 21 patents/applications from Jun 28, to Mar 07, 2007, 782 forward patent...

Management & Stakeholders

Natarajan Shankar | EMC Corporation | Email @emc.com

www.lead411.com

Natarajan Shankar is the Director Engineering of EMC Corporation. Lead411's profile includes an email address, @emc.com, linkedin, biography, etc

Business Profiles

(1 - 4 from 7

–show all

)

LinkedIn: Natarajan Shankar | LinkedIn

View Natarajan Shankar's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Natarajan Shankar ...

Researchgate: Natarajan Shankar

CA, United States

patentbuddy: Natarajan Shankar

LOCKHEED MARTIN CORPORATION, Fremont, CA, US

patentbuddy: Gita Natarajan Shankar

SRI INTERNATIONAL, Saratoga, CA, US

Employees

Board Members | UNU-IIST

iist.unu.edu

Prof. Natarajan SHANKAR SRI International, CA. Prof. Wei ZHAO Univeristy of Macau. Ex officio Members. Prof. Konrad OSTERWALDER Rector, United Nations University

Education

(1 - 4 from 6

–show all

)

classmates: Shankar Natarajan

Carmel High School, Carmel, IN,

Pramod Subramanyan

www.princeton.edu

... Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adria Gascon, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia and Sharad Malik, ...

UTCS Colloquia - Dr. Natarajan Shankar, SRI International Computer...

www.cs.utexas.edu

Signup Schedule: http://apps.cs.utexas.edu/talkschedules/cgi/list_events.cgi Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties Host: J...

Verfied Software: Theories, Tools and Experiments

www.cs.utexas.edu

(with C.A.R. Hoare, Gary T. Leavens, Natarajan Shankar) The verified software initiative: A manifesto. ACM Com…ng Surveys, Volume 41 , Issue 4 (October 2009),

Celebrities & Politicians

Wikipedia: Natarajan Shankar

is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.

List of P. K. Natarajan & Shankar-Jaikishan movies together

www.gomolo.com

All, Movies, Celebs, Music, Photos, Videos. All P. K. Natarajan, Shankar-Jaikishan movies. | P. K. Natarajan » Movies of P. K. Natarajan & Shankar-Jaikishan ...

Property

Orally-absorbed formulation for paromomycin - Patent application

www.faqs.org

Patent application title: Orally-absorbed formulation for paromomycin Inventors: Gita Natarajan Shankar (Saratoga, CA, US) Helen Jaber Parish (Sunnyvale, CA, US)

Orally-Absorbed Solid Dose Formulation for Vancomycin - Patent...

www.faqs.org

Patent application title: Orally-Absorbed Solid Dose Formulation for Vancomycin Inventors: Gita Natarajan Shankar (Saratoga, CA, US) IPC8 Class: AA61K3814FI

Books & Literature

(1 - 4 from 26

–show all

)

Natarajan Shankar | LibraryThing

www.librarything.com

Works by Natarajan Shankar: Verified Software: Theories, Tools, Experiments: Second International…

Natarajan Shankar Books - List of books by Natarajan Shankar

www.allbookstores.com

Discount prices on books by Natarajan Shankar, including titles like Automated Reasoning. Click here for the lowest price.

Books by Author: Natarajan Shankar, Page 1-ISBNLIB-Book...

www.isbnlib.com

3 Oct Natarajan Shankar Computer Science Laboratory SRI International, 333 Ravenswood Ave. Menlo Park, CA , USA {demoura,owre,ruess,rushby

Natarajan Shankar (Open Library)

openlibrary.org

Books by Natarajan Shankar

Scientific Publications

(1 - 4 from 9

–show all

)

Natarajan Shankar

academic.research.microsoft.com

View Natarajan Shankar's professional profile. Publications: 172 | Citations: Field Rating: 32. Fields of study: Software Engineering, Algorithms &...

dblp: Natarajan Shankar

dblp1.uni-trier.de

The dblp computer science bibliography is the on-line reference for open bibliographic information on computer science journals and proceedings.

CiteSeerX — Constant-Only Multiplicative Linear Logic is NP-Complete

citeseer.ist.psu.edu

... is np-complete. Earlier work by Max Kanovich showed that propositional multiplicative linear logic is np-complete. With Natarajan Shankar,

Gilbreath Card Trick - ProB Documentation

www.stups.uni-duesseldorf.de

Hence, when in the Dagstuhl library I stumbled upon a nice short article by Tony Hoare and Natarajan Shankar in memory of Amir Pnueli, ...

Publications

(1 - 4 from 5

–show all

)

Analysis of mechanical systems driven by electrostrictive actuators |...

spie.org

Author(s): Craig L. Hom; Natarajan Shankar. Date: 27 July PDF. Member: $ | Non-member: $ Hard Copy

Automated Reasoning, Fast and Slow - Springer

link.springer.com

Authors. Natarajan Shankar · .com (20). Author Affiliations Computer Science Laboratory, SRI International, Menlo Park, CAUSA ...

FreeSearch/DBLP: author:Natarajan Shankar Source:DBLP

dblp.kbs.uni-hannover.de

You might want to see more details about: Natarajan Shankar. 94 results for author:Natarajan Shankar. sorted by. relevance, most recent, chronology. Reverse ...

Automated Reasoning - Springer

link.springer.com

Ulrich Furbach Natarajan Shankar (Eds.) Automated Reasoning. Third International Joint Conference, IJCAR Seattle, WA, USA, August ,

Video & Audio

Natarajan Shankar & Vidya Rangachari, Sankara Eye Foundation...

www.youtube.com

► 0:57► 0:57Natarajan Shankar & Vidya Rangachari, Sankara Eye Foundation supporters at SEF Banquet Sankara ...

Reports & Statements

(1 - 4 from 139

–show all

)

Google Groups: Bharatanatyam by Shoba Natarajan at Duke Univ. on Sun May

: Natarajan Shankar .com rec music indian classical soc culture

Google Groups: Downloading of ROM and RAM code segments

: Shankar Natarajan comp arch embedded

Google Groups: call for participation: ASM2000, March 19th - March 24th

: Berlin "Towards a Distributed ASM Thesis" Natarajan Shankar, SRI International ... Harald Ruess, ... , Natarajan Shankar "Verifying ASMs with PVS" The basic ...

Google Blogs: FoSSaCS : 14th International Conference on Foundations Of ...

Natarajan Shankar, SRI International, Menlo Park * Thomas Streicher, TU Darmstadt * Igor Walukiewicz, Universite de Bordeaux * Nobuko Yoshida, Imperial College London * Greta Yorsh, IBM T.J. Watson Research Center ...