43 Infos zu Prakash Saivasan

4 Aktuelle Nachrichten

CSL 2017: 13:1-13:20; Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan On the Complexity of Bounded Context Switching

1 Profile in Sozialen Netzwerken

Semantic Scholar profile for Prakash Saivasan, with 11 highly influential citations and 23 scientific research papers.

1 Projekte

Re: [mobius-development] CVS update. From: prakash saivasan <helloprak@ho...> :14:19. Any mails from me to the list is bouncing back :-/.

7 Bücher zum Namen

This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in...

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012,...

This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallée, France, in...

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech,...

5 Dokumente

Authors:Peter Chini, Prakash Saivasan · Download PDF. Abstract: We present a framework that provides deterministic consistency algorithms ...

WebRecursive Programs " submitted by Mr. Prakash Saivasan is a bona fide record of the research work carried out by him under my supervision and guidance. The content of the …

Authors:Peter Chini, Roland Meyer, Prakash Saivasan. (Submitted on 1 Apr (v1), last revised 31 May (this version, v2)). Abstract: We ...

WebDr Prakash Saivasan Summer term Out: May 10 Due: May 15, 12:00 Exercise 1: Quanti er Elimination a)Eliminate the quanti ers of the following formula using the method …

7 Wissenschaftliche Publikationen

List of computer science publications by Prakash Saivasan

WebList of computer science publications by Prakash Saivasan. combined dblp search; author search; venue search; publication search; Semantic Scholar search

Bibliographic details on Fast Witness Counting.

WebPrakash Saivasan @ IMSc Congratulations to Prakash for his assistant professor position at IMSc. DAC Temporal Tracing of On-chip Signals using Timeprints has been …

3 Allgemeine Veröffentlichungen

Temporal Tracing of On-chip Signals using Timeprints. Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler. In: Design ...

We address the model checking problem of omega-regular linear-time properties for shared memory concurrent programs modeled as multi-pushdown systems. We...

15 Webfunde aus dem Netz

Prakash Saivasan. Organization: Chennai Mathematical Institute. Web page: http://www.cmi.ac.in/people/fac-profile.php?id=saivasan. Pages in this Program ...

WebNebenläufigkeitstheorie Prakash Saivasan, PhD Master INF‐THI‐57 Semantics Semantik Prof. Roland Meyer Master INF‐THI‐61 Seminar (Bachelor) Seminar (Bachelor) Prof. …

Adjacent ordered Multi pushdown systems. Speaker. Prakash Saivasan , Chennai Mathematical Institute, India ...

ORGANIZERS: Prakash Saivasan – Institute of Mathematical Sciences (India) B Srivathsan – Chennai Mathematical Institute (India).

Autoren: Peter Chini, Roland Meyer, Prakash Saivasan. Verlag: Springer International Publishing. Erschienen in: Tools and Algorithms for the Construction and ...

Piotr Hofman homepage

Partnerships and Cooperations - International Research Visitors

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

[Advaita-l] New member introduction: Prakash Saivasan. Jaldhar H. Vyas jaldhar at braincells.com. Fri Nov :05:24 CST Previous message: [Advaita-l] ...