Search Results - "H. Ibarra, Oscar" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Automata-based symbolic string analysis for vulnerability detection

Automata-based symbolic string analysis for vulnerability detection

by Yu, Fang, Alkhalaf, Muath, Bultan, Tevfik, Ibarra, Oscar H.
Published in Formal methods in system design (01.02.2014)

Get full text

Journal Article

CSPlib: A performance portable parallel software toolkit for analyzing complex kinetic mechanisms

CSPlib: A performance portable parallel software toolkit for analyzing complex kinetic mechanisms

by Díaz-Ibarra, Oscar H., Kim, Kyungjoo, Safta, Cosmin, Najm, Habib N.
Published in Computer physics communications (01.04.2024)

Get full text

Journal Article

Atikokan Digital Twin, Part B: Bayesian decision theory for process optimization in a biomass energy system

Atikokan Digital Twin, Part B: Bayesian decision theory for process optimization in a biomass energy system

by Spinti, Jennifer P., Smith, Philip J., Smith, Sean T., Díaz-Ibarra, Oscar H.
Published in Applied energy (15.03.2023)

Get full text

Journal Article

TChem: A performance portable parallel software toolkit for complex kinetic mechanisms

TChem: A performance portable parallel software toolkit for complex kinetic mechanisms

by Kim, Kyungjoo, Díaz-Ibarra, Oscar H., Najm, Habib N., Zádor, Judit, Safta, Cosmin
Published in Computer physics communications (01.04.2023)

Get full text

Journal Article

The effect of end-markers on counter machines and commutativity

The effect of end-markers on counter machines and commutativity

by Ibarra, Oscar H., McQuillan, Ian
Published in Theoretical computer science (09.05.2016)

Get full text

Journal Article

Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

by Ibarra, Oscar H, Kari, Lila, Kopecki, Steffen
Year of Publication 2014

Get full text

eBook

On decidability and closure properties of language classes with respect to bio-operations

On decidability and closure properties of language classes with respect to bio-operations

by Ibarra, Oscar H.
Published in Natural computing (01.06.2016)

Get full text

Journal Article

On the overlap assembly of strings and languages

On the overlap assembly of strings and languages

by Enaganti, Srujan Kumar, Ibarra, Oscar H., Kari, Lila, Kopecki, Steffen
Published in Natural computing (01.03.2017)

Get full text

Journal Article

Semilinear Sets and Counter Machines: a Brief Survey

Semilinear Sets and Counter Machines: a Brief Survey

by Ibarra, Oscar H., Seki, Shinnosuke
Published in Fundamenta informaticae (2015)

Get full text

Journal Article

On the Computational Complexity of P Automata

On the Computational Complexity of P Automata

by Csuhaj-Varjú, Erzsébet, Ibarra, Oscar H., Vaszil, György
Published in Natural computing (01.05.2006)

Get full text

Journal Article

Quantifying communication in synchronized languages

Quantifying communication in synchronized languages

by Dang, Zhe, Fischer, Thomas R., Hutton, William J., Ibarra, Oscar H., Li, Qin
Published in Theoretical computer science (22.11.2016)

Get full text

Journal Article

On the universe, disjointness, and containment problems for simple machines

On the universe, disjointness, and containment problems for simple machines

by Ibarra, Oscar H.
Published in Information and computation (01.11.2010)

Get full text

Journal Article

On synchronized multi-tape and multi-head automata

On synchronized multi-tape and multi-head automata

by Ibarra, Oscar H., Tran, Nicholas Q.
Published in Theoretical computer science (31.08.2012)

Get full text

Journal Article

Normal forms for spiking neural P systems

Normal forms for spiking neural P systems

by Ibarra, Oscar H., Păun, Andrei, Păun, Gheorghe, Rodríguez-Patón, Alfonso, Sosík, Petr, Woodworth, Sara
Published in Theoretical computer science (15.03.2007)

Get full text

Journal Article Conference Proceeding

Past pushdown timed automata and safety verification

Past pushdown timed automata and safety verification

by Dang, Zhe, Bultan, Tevfik, H. Ibarra, Oscar, A. Kemmerer, Richard
Published in Theoretical computer science (16.02.2004)

Get full text

Journal Article Conference Proceeding

On sets of numbers accepted by P/T systems composed by join

On sets of numbers accepted by P/T systems composed by join

by Frisco, Pierluigi, Ibarra, Oscar H.
Published in Theoretical computer science (25.10.2010)

Get full text

Journal Article

On stateless multihead automata: Hierarchies and the emptiness problem

On stateless multihead automata: Hierarchies and the emptiness problem

by Ibarra, Oscar H., Karhumäki, Juhani, Okhotin, Alexander
Published in Theoretical computer science (06.01.2010)

Get full text

Journal Article

Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings

Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings

by Yen, Hsu-Chun, Ibarra, Oscar H
Year of Publication 2012

Get full text

eBook

Lossiness of communication channels modeled by transducers

Lossiness of communication channels modeled by transducers

by Ibarra, Oscar H, Cui, Cewei, Dang, Zhe, Fischer, Thomas R
Published in Computability (01.01.2017)

Get full text

Journal Article

Developments in language theory

Developments in language theory

by Ibarra, Oscar H.
Published in Theoretical computer science (10.05.2007)

Get full text

Journal Article Conference Proceeding

1
2
3
4
5
6
7
8
9
10
11
Next
[15]