The following pages link to Oscar H. Ibarra (Q243823):
Displayed 50 items.
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- On decision problems for parameterized machines (Q2268878) (← links)
- Sequential SNP systems based on min/max spike number (Q2271437) (← links)
- On decidability and closure properties of language classes with respect to bio-operations (Q2311220) (← links)
- On the overlap assembly of strings and languages (Q2311303) (← links)
- On families of full trios containing counter machine languages (Q2333810) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- Information rate of some classes of non-regular languages: an automata-theoretic approach (Q2407088) (← links)
- Deletion operations on deterministic families of automata (Q2407104) (← links)
- On store languages and applications (Q2417850) (← links)
- On counting functions and slenderness of languages (Q2422037) (← links)
- Insertion operations on deterministic reversal-bounded counter machines (Q2424688) (← links)
- On partially blind multihead finite automata. (Q2490819) (← links)
- Characterizations of context-sensitive languages and other language classes in terms of symport/antiport P systems (Q2503275) (← links)
- Tape-bounded Turing acceptors and principal AFLs (Q2542727) (← links)
- Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata (Q2558752) (← links)
- On two-way multihead automata (Q2559145) (← links)
- On composition and lookahead delegation of \(e\)-services modeled by automata (Q2566017) (← links)
- On determinism versus nondeterminism in P systems (Q2575077) (← links)
- (Q2754074) (← links)
- Semilinear Sets and Counter Machines: a Brief Survey (Q2805446) (← links)
- On Families of Full Trios Containing Counter Machine Languages (Q2817390) (← links)
- On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L (Q2830214) (← links)
- Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (Q2890204) (← links)
- Multitape NFA: Weak Synchronization of the Input Heads (Q2891372) (← links)
- (Q2893305) (← links)
- How to Synchronize the Heads of a Multitape Automaton (Q2914708) (← links)
- On Decidability and Closure Properties of Language Classes with Respect to Bio-operations (Q2921479) (← links)
- Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach (Q2922018) (← links)
- VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES (Q3021942) (← links)
- THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS (Q3021995) (← links)
- INSTANCE-SPECIFIC SOLUTIONS FOR ACCELERATING THE CKY PARSING OF LARGE CONTEXT-FREE GRAMMARS (Q3022008) (← links)
- (Q3026350) (← links)
- Relating the Type of Ambiguity of Finite Automata to the Succinctness of Their Representation (Q3034835) (← links)
- On the Space and Time Complexity of Functions Computable by Simple Programs (Q3036704) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- One-Reversal Counter Machines and Multihead Automata: Revisited (Q3075514) (← links)
- ON STRONG REVERSIBILITY IN <font>P</font> SYSTEMS AND RELATED PROBLEMS (Q3076593) (← links)
- On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers (Q3192266) (← links)
- Quantifying Communication in Synchronized Languages (Q3196422) (← links)
- The Power of Alternating One-Reversal Counters and Stacks (Q3210175) (← links)
- (Q3217582) (← links)
- RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA (Q3224956) (← links)
- A note on the complexity of program evaluation (Q3319774) (← links)
- (Q3355242) (← links)
- CHARACTERIZING REGULAR LANGUAGES BY SPIKING NEURAL <font>P</font> SYSTEMS (Q3401471) (← links)
- (Q3409984) (← links)
- On symport/antiport P systems with a small number of objects (Q3427662) (← links)
- On the Density of Context-Free and Counter Languages (Q3451105) (← links)
- (Q3505122) (← links)