Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The field of complex networks has seen a steady growth in the last decade, fuelled by an ever-growing collection of relational… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
2016
2016
We study decidability and undecidability results for parameterized verification of a formal model of timed Ad Hoc network… Expand
  • figure 1
  • figure 3
  • figure 7
  • figure 9
  • figure 11
2016
2016
Although data values are available in almost every computer system, reasoning about them is a challenging task due to the huge… Expand
  • table 1
  • figure 1
2010
2010
In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 3.2
2009
2009
Veriflable Secret Sharing (VSS) is a fundamental primitive used as a building block in many distributed cryptographic tasks, such… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
2008
2008
Byzantine agreement (BA) is considered as one of the most fundamental primitives for fault-tolerant distributed computing and… Expand
  • table 1
  • table 2
  • figure 1
  • figure 4
  • figure 5
2006
2006
During the eighties, heads of NARS and the IARCs operating in the region expressed concern at the decline in productivity in the… Expand
  • figure X
  • figure 5
  • figure 6
  • table 7
  • table 8