Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995
DBLP:	db/conf/fsttcs/fsttcs95.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 35  

Select a publication
Show	Title	Venue	Rating	Date
	Michele Boreale, Luca Trevisan. On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Anca Browne, Zohar Manna, Henny B. Sipma. Generalized Temporal Verification Diagrams.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	R. Balasubramanian, Venkatesh Raman. Path Balance Heuristic for Self-Adjusting Binary Search Trees.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Peter Baumann, Karl Lermer. A Framework for the Specification of Reactive and Concurrent Systems in Z.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Andrea Bianco, Luca de Alfaro. Model Checking of Probabalistic and Nondeterministic Systems.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Sandip K. Biswas, Sampath Kannan. Minimizing Space Usage in Evaluation of Expression Trees.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Srinivasa Rao Arikati, Shiva Chaudhuri, Christos D. Zaroliagis. All-Pairs Min-Cut in Sparse Networks.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Eugene Asarin, Oded Maler. Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Ajit A. Diwan, N. Usharani. A Condition for the Three Colourability of Planar Locally Path Graphs.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995
	Paul Caspi, Jean-Claude Fernandez, Alain Girault. An Algorithm for Reducing Binary Branchings.	Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings 1995	(0)	1995

Your query returned 35 matches in the database.