Skip to search formSkip to main contentSkip to account menu

Indian Association for Research in Computing Science

Known as: IARCS, Indian Association for Research and Computing Science, International Conference on Foundations of Software Technology and Theoretical Computer Science 
The Indian Association for Research in Computing Science (IARCS) provides leadership in computing within India. Its members are leading researchers… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Indian Computing OlympiadInternational Olympiad in Informatics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Frequent itemset generation using enhanced Fuzzy Apriori Algorithm for web log session data
Due to the enormous usage of web data from the web servers, there is a need to have important information about website visitors… 
2015
2015
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)
Efficient implementations of concurrent objects such as semaphores, locks, and atomic collections including stacks and queues are… 
2014
2014
Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs. (Vérification formelle de familles avancées de protocoles de sécurité : vote électronique et API)
For a long time now, formal methods have been successfully used to analyze security protocols. Several tools have even been… 
2013
2013
Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting over is now available… 
2011
2011
A Rewriting System for the Construction of Small Finite Automata from Regular Expressions
We present a linear-time construction of normalized nondet erministic finite automata with ε-transitions from regular expressions… 
Review
2008
Review
2008
Banach-Mazur Games on Graphs Erich Gr ädel
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games… 
2008
2008
2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
This volume contains the proceedings of the 28th international conference on the Foundations of Software Technology and… 
2006
2006
Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
2002
2002
International research could help protect Canada's wheat
As the search for resistance against tan spot reveals, links with IARCs have the potential to save Canadian farmers millions of… 
Review
2000
Review
2000
MAJOR SUSTAINABILITY ISSUES DEFINED BY IARCs
Attached is a preliminary report from the CGIAR Committee on sustainability of agricultural production systems for discussion… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)