Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,055,548 papers from all fields of science
Search
Sign In
Create Free Account
CIAA (formerly WIA)
Known as:
International Conference on Implementation and Application of Automata
, Conference on implementation and application of automata
, CIAA
Expand
CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference in the field of computer science…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Automata theory
Computer science
DBL-Browser
DCFS
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Electromagnetic Susceptibility of Industrial Controllers: Testing and Improvement of the CIAA
Juan Marcos Banegas
,
Rodrigo Furlani
,
Javier Acosta
CASE
2018
Corpus ID: 53749188
In this work, electromagnetic susceptibility of a particular industrial controller - the CIAA (“Computadora Industrial Abierta…
Expand
2018
2018
Fine-Grained Complexity of Safety Verification
Peter Chini
,
R. Meyer
,
Prakash Saivasan
Journal of automated reasoning
2018
Corpus ID: 3324292
We study the fine-grained complexity of Leader Contributor Reachability (LCR\documentclass[12pt]{minimal} \usepackage{amsmath…
Expand
2017
2017
Validation of a Non-Specific Dye Real-Time PCR Assay for Porcine Adulteration in Meatball Using ND5 Primer
T. Raharjo
,
Ery Nourika Alfiraza
,
Esti Enjelina
,
D. Pranowo
2017
Corpus ID: 56041423
Porcine adulteration in meatball samples were analyzed using real-time polymerase chain reaction (RT-PCR), based on the ND5…
Expand
2010
2010
Weighted tree automata and transducers for syntactic natural language processing
Jonathan May
2010
Corpus ID: 64403588
Weighted finite-state string transducer cascades are a powerful formalism for models of solutions to many natural language…
Expand
2009
2009
Absolute convergence of rational series is semi-decidable
Raphaël Bailly
,
François Denis
Information and Computation
2009
Corpus ID: 28749522
2009
2009
Short Regular Expressions from Finite Automata: Empirical Results
Hermann Gruber
,
M. Holzer
,
Michael Tautschnig
International Conference on Implementation and…
2009
Corpus ID: 2257509
We continue our work [H. Gruber, M. Holzer: Provably shorter regular expressions from deterministic finite automata (extended…
Expand
2008
2008
Integrating Security in FreeLoader Distributed File System
Abdullah Gharaibeh
2008
Corpus ID: 16498618
FreeLoader is a high performance read-dominant distributed file system that utilizes free disk space on desktop workstations. The…
Expand
2007
2007
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms
M. Steinby
,
Catalin Ionut Tîrnauca
International Conference on Implementation and…
2007
Corpus ID: 43293280
We introduce a class of tree bimorphisms that define exactly the translations performed by syntax-directed translation schemata…
Expand
2000
2000
Fifth International Conference on Implementation and Application of Automata
M. Daley
,
M. Eramian
,
S. Yu
2000
Corpus ID: 58666005
Review
1990
Review
1990
Object asymmetries in comparative Bantu syntax
J. Bresnan
,
Lioba J. Moshi
1990
Corpus ID: 56073527
ing away from the effects of the relative animacy of passivized subject and object markers, we see that object markers can…
Expand
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)
ACCEPT & CONTINUE
or Only Accept Required