Found: 18

Select item for more details and to access through your institution.

  • Geometric computations by broadcasting automata.

    Published in:
    Natural Computing, 2012, v. 11, n. 4, p. 623, doi. 10.1007/s11047-012-9330-0
    By:
    • Martin, Russell;
    • Nickson, Thomas;
    • Potapov, Igor
    Publication type:
    Article

  • MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM.

    Published in:
    International Journal of Algebra & Computation, 2008, v. 18, n. 8, p. 1231, doi. 10.1142/S0218196708004925
    By:
    • BELL, PAUL;
    • HALAVA, VESA;
    • HARJU, TERO;
    • KARHUMÄKI, JUHANI;
    • POTAPOV, IGOR
    Publication type:
    Article

  • Towards Uniform Online Spherical Tessellations.

    Published in:
    Discrete & Computational Geometry, 2022, v. 67, n. 4, p. 1124, doi. 10.1007/s00454-022-00384-x
    By:
    • Bell, Paul C.;
    • Potapov, Igor
    Publication type:
    Article

  • Integer Weighted Automata on Infinite Words.

    Published in:
    International Journal of Foundations of Computer Science, 2023, v. 34, n. 2/3, p. 163, doi. 10.1142/S0129054122440014
    By:
    • Halava, Vesa;
    • Harju, Tero;
    • Niskanen, Reino;
    • Potapov, Igor
    Publication type:
    Article

  • Reachability Problems for One-Dimensional Piecewise Affine Maps.

    Published in:
    International Journal of Foundations of Computer Science, 2018, v. 29, n. 4, p. 529, doi. 10.1142/S0129054118410046
    By:
    • Bournez, Olivier;
    • Kurganskyy, Oleksiy;
    • Potapov, Igor
    Publication type:
    Article

  • Preface.

    Published in:
    International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 139, doi. 10.1142/S0129054118010013
    By:
    • Potapov, Igor;
    • Semukhin, Pavel
    Publication type:
    Article

  • PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2013, v. 24, n. 2, p. 161, doi. 10.1142/S0129054113020024
    By:
    • DELZANNO, GIORGIO;
    • POTAPOV, IGOR
    Publication type:
    Article

  • COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 801, doi. 10.1142/S012905411100843X
    By:
    • COLLINS, PIETER;
    • ZAPREEV, IVAN S.;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 823, doi. 10.1142/S0129054111008441
    By:
    • HENZINGER, THOMAS;
    • JOBSTMANN, BARBARA;
    • WOLF, VERENA;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 761, doi. 10.1142/S0129054111008416
    By:
    • ABDULLA, PAROSH AZIZ;
    • DELZANNO, GIORGIO;
    • REZINE, AHMED;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 757, doi. 10.1142/S0129054111008404
    By:
    • BOURNEZ, OLIVIER;
    • POTAPOV, IGOR
    Publication type:
    Article

  • ON YEN'S PATH LOGIC FOR PETRI NETS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 783, doi. 10.1142/S0129054111008428
    By:
    • ATIG, MOHAMED FAOUZI;
    • HABERMEHL, PETER;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 843, doi. 10.1142/S0129054111008453
    By:
    • LUGIEZ, DENIS;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • CLASS COUNTING AUTOMATA ON DATAWORDS.

    Published in:
    International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 863, doi. 10.1142/S0129054111008465
    By:
    • MANUEL, AMALDEV;
    • RAMANUJAM, R.;
    • Bournez, Oliver;
    • Potapov, Igor
    Publication type:
    Article

  • ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS.

    Published in:
    International Journal of Foundations of Computer Science, 2010, v. 21, n. 6, p. 963, doi. 10.1142/S0129054110007660
    By:
    • BELL, PAUL C.;
    • POTAPOV, IGOR;
    • Ibarra, Oscar H.;
    • Yen, Hsu-Chun
    Publication type:
    Article

  • PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 775, doi. 10.1142/S0129054109006875
    By:
    • HALAVA, VESA;
    • POTAPOV, IGOR
    Publication type:
    Article

  • REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS.

    Published in:
    International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 935, doi. 10.1142/S0129054108006054
    By:
    • Kurganskyy, Oleksiy;
    • Potapov, Igor;
    • Sancho-Caparrini, Fernando
    Publication type:
    Article

  • PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 915, doi. 10.1142/S0129054108006030
    By:
    • Halava, Vesa;
    • Potapov, Igor
    Publication type:
    Article