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

CIAA (formerly WIA)

Known as: International Conference on Implementation and Application of Automata, Conference on implementation and application of automata, CIAA 
CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference in the field of computer science… Expand
Wikipedia

Related topics

Related topics

12 relations
Automata theoryComputer scienceDBL-BrowserDCFS
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Complexity of Proper Suffix-Convex Regular Languages
A language L is suffix-convex if for any words u, v,w, whenever w and uvw are in L, vw is in L as well. Suffix-convex languages… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
2018
2018
Fine-Grained Complexity of Safety Verification
We study the fine-grained complexity of Leader Contributor Reachability (LCR) and Bounded-Stage Reachability (BSR), two variants… Expand
2012
2012
Sampling different kinds of acyclic automata using Markov chains
We propose algorithms that use Markov chain techniques to generate acyclic automata uniformly at random. We first consider… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2012
2012
The Kind Hearted Dragon Prof. Sheng Yu, 1950-2012
  • A. Szilard
  • Developments in Language Theory
  • 2012
    • Corpus ID: 27944479
Professor Sheng Yu passed away on January 23, 2012, the first day of the Lunar New Year, the Year of the Dragon. He was only… Expand
2011
2011
Absolute convergence of rational series is semi-decidable
This paper deals with absolute convergence of real-valued rational series, i.e. mappings r:Σ∗→R computed by weighted automata. An… Expand
  • figure 1
2011
2011
Barriers of innovation of food processing SMIs in Malaysia: an empirical study
The purpose of this study is to examine the important barriers that affecting innovation process of food processed based SMIs in… Expand
  • table 1
  • table 2
Review
2011
Review
2011
The Food Safety – Nutrition Nexus
  • 2011
    • Corpus ID: 73646999
highest acrylamide contributor for adults, children, and adolescents (6). Food products have only recently been recognized as a… Expand
Highly Cited
2005
Highly Cited
2005
Toward a threat model for storage systems
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for… Expand
  • figure 1
  • figure 3
  • figure 2
2000
2000
Fifth International Conference on Implementation and Application of Automata
 
Highly Cited
1987
Highly Cited
1987
A general theory of canonical forms
Si G est un groupe de Lie compact et M une G-variete riemannienne d'orbites principales de codimension k alors une section ou une… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE