Seminars:
Computational mathematics Thu 16:15-17:45
room 1016
Image and Data Processing Tue 11:30-13:00
room 1146
Differential equations and related issues Fri 12:15-13:45
room 1016
Partial differential equations Tue 12:15-13:45
room 1016
Publications:

2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1984   1981   1979     


2019
  • Piotr Kalita, Jose A. Langa, Fernando Soler-Toscano,
    Informational Structures and Informational Fields as a prototype for the description of postulates of the Integrated Information Theory
    ENTROPY-SWITZ, vol. 21, 493 (2019)
  • Piotr Kalita, Jose A. Langa, Grzegorz Łukaszewicz,
    Micropolar meets Newtonian. The Rayleigh–Bénard problem
    PHYSICA D-NONLINEAR PHENOMENA, vol. 392, 57-80 (2019)
  • Sylwester Arabas, Ahmad Farhat,
    Derivative pricing as a transport problem: MPDATA solutions to Black–Scholes-type equations
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, (2019)
  • Tamal Dey, Mateusz Juda, Tomasz Kapela, Jacek Kubica, Michał Lipiński, Marian Mrozek,
    Persistent Homology of Morse Decompositions in Combinatorial Dynamics
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 18-1, 510-530 (2019)
  • Paweł Dłotko, Mateusz Juda, Michał Lipiński, Matthias Zeppelzauer, Bartosz Zieliński,
    Persistence bag-of-words for topological data analysis
    Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 4489-4495 (2019)
  • Anna Gierzkiewicz-Pieniążek, Piotr Zgliczyński,
    A computer-assisted proof of symbolic dynamics in Hyperion's rotation model
    CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, vol. 131, 33 (2019)
  • Everaldo de Mello Bonotto, Piotr Kalita,
    On attractors of generalized semiflows with impulses
    JOURNAL OF GEOMETRIC ANALYSIS, 28 pages (2019)
  • Piotr Kalita, Meir Shillor, Paweł Szafraniec,
    A frictional contact problem with wear diffusion
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, vol. 70, 96 (2019)
  • Piotr Kalita, Grzegorz Łukaszewicz, Jakub Siemianowski,
    On relation between attractors for single and multivalued semiflows for a certain class of PDEs
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, vol. 24, 1199-1227 (2019)
  • Piotr Kalita, Piotr Zgliczyński,
    On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions
    PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION AMATHEMATICS, vol. accepted for publication, (2019)
  • Piotr Kamieński,
    A quantitative version of the theorem on Khintchine's constant
    INDAGATIONES MATHEMATICAE-NEW SERIES, vol. Vol. 30 (4), 649-668 (2019)
  • Małgorzata Moczurad, Piotr Zgliczyński,
    Central configurations in planar $n$-body problem for $n=5,6,7$ with equal masses
    CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, vol. 131, 46 (2019)
  • Irmina Walawska, Daniel Wilczak,
    Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
    Communications in Nonlinear Science and Numerical Simulation, vol. 74C, 30-54 (2019)
2018
  • Mirelson M. Freitas, Piotr Kalita, Jose A. Langa,
    Continuity of non-autonomous attractors for hyperbolic perturbation of parabolic equations
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 264, 1886-1945 (2018)
  • Jacek Cyranka, Piotr B. Mucha, Edriss S. Titi, Piotr Zgliczyński,
    Stabilizing the long-time behavior of the forced Navier–Stokes and damped Euler systems by large mean flow
    PHYSICA D-NONLINEAR PHENOMENA, vol. 369, 18-29 (2018)
  • Mikael Barboteu, Leszek Gasiński, Piotr Kalita,
    Analysis of a dynamic frictional contact problem for hyperviscoelastic material with non-convex energy density
    MATHEMATICS AND MECHANICS OF SOLIDS, vol. 23, 359-391 (2018)
  • Maciej Capiński, Dmitry Turaev, Piotr Zgliczyński,
    Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system
    NONLINEARITY, vol. 31, 5410 (2018)
  • Maciej Capiński, Piotr Zgliczyński,
    Beyond the Melnikov method II: Multidimensional setting
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 265, 3988-4015 (2018)
  • Amadeu Delshams, Adria Simon, Piotr Zgliczyński,
    Shadowing of non-transversal heteroclinic chains
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 264, 3619–-3663 (2018)
  • Mateusz Juda, Markus Seidl, Matthias Zeppelzauer, Bartosz Zieliński,
    A Study on Topological Descriptors for the Analysis of 3D Surface Texture
    COMPUTER VISION AND IMAGE UNDERSTANDING, vol. 167, 74-88 (2018)
  • Piotr Kalita, Piotr Kowalski,
    On multivalued Duffing equation
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 462, 1130-1147 (2018)
  • Piotr Kalita, Grzegorz Łukaszewicz, Jakub Siemianowski,
    Rayleigh-Benard problem for Thermomicropolar Fluids
    Topological Methods in Nonlinear Analysis, vol. 52, 477-514 (2018)
  • Robert Szczelina, Piotr Zgliczyński,
    Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 18, 1299-1332 (2018)
2017
  • S. Arabas, S. Shima,
    On the CCN (de)activation nonlinearities
    Nonlinear Processes in Geophysics, 24, 535-542 (2017)
  • Roberto Barrio, Daniel Wilczak,
    Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 16, 1618-1649 (2017)
  • Bogdan Batko,
    Weak Index Pairs and the Conley Index for Discrete Multivalued Dynamical Systems. Part II: Properties of the Index
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. Vol. 16, No. 3, 1587-1617 (2017)
  • Maciej Capiński, Piotr Zgliczyński,
    Beyond the Melnikov method: a computer assisted approach
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 262, 365-417 (2017)
  • Michele Coti Zelati, Piotr Kalita,
    Smooth attractors for weak solutions of the SQG equation with critical dissipation
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, vol. 22, 1857-1873 (2017)
  • Sylwia Dudek, Piotr Kalita, Stanisław Migórski,
    Stationary Oberbeck-Boussinesq model of generalized Newtonian fluid governed by multivalued partial differential equations
    APPLICABLE ANALYSIS, vol. 96, 2192-2217 (2017)
  • S. Dudek, P. Kalita, S. Migórski,
    Stationary Oberbeck–Boussinesq model of non-Newtonian ?uid governed by a system of multivalued partial differential equations
    Applicable Analysis, 96, 2192-2217 (2017)
  • Sylwia Dudek, Piotr Kalita, Stanisław Migórski,
    Steady flow of generalized Newtonian fluid with multivalued rheology and nonmonotone friction law
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, vol. 74, issue 8, 1813-1825 (2017)
  • Marc Ethier, Grzegorz Jabłoński, Marian Mrozek,
    Finding Eigenvalues of Self-maps with the Kronecker Canonical Form
    Springer, vol. 198, 119-136 (2017)
  • Robert Filipek, Piotr Kalita, Lucjan Sapa, Krzysztof Szyszkiewicz,
    On local weak solutions to Nernst–Planck–Poisson system
    APPLICABLE ANALYSIS, vol. 96, 2316-2332 (2017)
  • Tomasz Kapela, Carles Simo,
    Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
    NONLINEARITY, vol. 30(3), 965-986 (2017)
  • Małgorzata Moczurad, Piotr Zgliczyński,
    On the Petras algorithm for verified integration of piecewise analytic functions
    JOURNAL OF COMPLEXITY, vol. 39 , 69-93 (2017)
  • Marian Mrozek,
    Conley-Morse-Forman theory for combinatorial multivector fields on Lefschetz complexes
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 17, 1585-1633 (2017)
  • Piotr Zgliczyński,
    Hyperbolicity and Averaging for the Srzednicki-W{'o}jcik equation
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 262, 1931-1955 (2017)
  • Piotr Zgliczyński,
    Topological shadowing and the Grobman-Hartman Theorem
    Topological Methods in Nonlinear Analysis, vol. 50, 757--785 (2017)
2016
  • Alexandra Bac, Aldo Gonzalez-Lorenzo, Mateusz Juda, Jean-Luc Mari, Pedro Real,
    Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 9667, 130-139 (2016)
  • Roberto Barrio, Sergio Serrano, Daniel Wilczak,
    Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 15, 356-390 (2016)
  • Krzysztof Bartosz, Piotr Kalita, Stanisław Migórski, Anna Ochal, Mircea Sofonea,
    History dependent problems with applications to contact models for elastic beams
    APPLIED MATHEMATICS AND OPTIMIZATION, vol. 73, 71-98 (2016)
  • Bogdan Batko, Marian Mrozek,
    Weak index pairs and the Conley index for discrete multivalued dynamical systems
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 15.2, 1143-1162 (2016)
  • Andrzej Bielecki, Maciej Gierdziewicz, Piotr Kalita, Kamil Szostek,
    Construction of a 3D geometric model of a presynaptic bouton for use in modeling of neurotransmitter flow
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 9972, 377-386 (2016)
  • Jacek Cyranka, Piotr Zgliczyński,
    Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 261, 4648-4708 (2016)
  • W. van Batenburg, A. Czechowski, J. van der Leer Duran, B. Lindenhovius, E. Siero,
    Frequency decompositions in autoregression models
    in review, (2016)
  • A. Czechowski, R. van der Vorst,
    Symplectomorphisms and discrete braid invariants
    in review, (2016)
  • Aleksander Czechowski, Piotr Zgliczyński,
    Existence of periodic solutions of the FitzHugh-Nagumo equations for an explicit range of the small parameter
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 15(3), 1615-1655 (2016)
  • P. Frosini, G. Jablonski,
    Combining persistent homology and invariance groups for shape comparison
    Discrete and Computational Geometry, 373-409 (2016)
  • Leszek Gasiński, Piotr Kalita,
    On quasi-static contact problem with generalized Coulomb friction, normal compliance and damage
    EUROPEAN JOURNAL OF APPLIED MATHEMATICS, vol. 27, 625-646 (2016)
  • Andrzej Gryglewski, Brandon Michael Henry, Marian Mrozek, Krzysztof Piech, Krzysztof Tomaszewski, Marcin Żelawski,
    Sensitivity and Specificity of Fractal Analysis to Distinguish Between Healthy and Pathologic Rectal Mucosa Microvasculature Seen During Colonoscopy
    SURGICAL LAPAROSCOPY ENDOSCOPY & PERCUTANEOUS TECHNIQUES, vol. 26(5), 358–363 (2016)
  • Mateusz Juda, Markus Seidl, Matthias Zeppelzauer, Bartosz Zieliński,
    Topological Descriptors for 3D Surface Analysis
    Lecture Notes in Computer Science, vol. 9667, 77-87 (2016)
  • K. Mischaikow, Marian Mrozek, Frank Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    Journal of Computational Dynamics, vol. 3, 1-16 (2016)
  • Tomasz Kaczynski, Marian Mrozek, Thomas Wanner,
    Towards a formal tie between combinatorial and classical vector field dynamics
    Journal of Computational Dynamics, vol. 3 (1), 17-50 (2016)
  • Jose Ramon Fernandez, Piotr Kalita, Stanisław Migórski, Maria del Carmen Muniz, Cristina Nunez,
    Existence and uniqueness results for a kinetic model in bulk-surface surfactant dynamics
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, vol. 48, 3065-3089 (2016)
  • Piotr Kalita, Stanisław Migórski, Mircea Sofonea ,
    A class of subdifferential inclusions for elastic unilateral contact problems
    Set-Valued and Variational Analysis, vol. 24, 355-379 (2016)
  • Piotr Kalita, Stanisław Migórski, Mircea Sofonea ,
    A multivalued variational inequality with unilateral constraints
    Springer, vol. 494, 302-312 (2016)
  • Piotr Kalita,
    On Global Attractor for Parabolic Partial Differential Inclusion and Its Time Semidiscretization
    Springer, 35-64 (2016)
  • Piotr Kalita, Grzegorz Łukaszewicz,
    Navier-Stokes Equations. An introduction with applications
    Springer, (2016)
  • K. Mischaikow, M. Mrozek, F. Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    Journal of Computational Dynamics , (2016)
  • Małgorzata Moczurad, Piotr Zgliczyński, Włodzimierz Zwonek,
    New lower bound estimates for quadratures of bounded analytic functions
    JOURNAL OF COMPLEXITY, vol. 34, 50–67 (2016)
  • Stefan Ratschan , Peter Franek, Piotr Zgliczyński,
    Quasi-decidability of a Fragment of the Analytic First-order Theory of Real Numbers
    JOURNAL OF AUTOMATED REASONING, vol. 57, 157-185 (2016)
  • R. Szczelina,
    A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation
    Electronic Journal of Qualitative Theory of Differential Equations, 1-19 (2016)
  • R. Szczelina, P. Zgliczyński,
    Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation.
    In Review, --- (2016)
  • Irmina Walawska, Daniel Wilczak,
    An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
    APPLIED MATHEMATICS AND COMPUTATION, vol. 291, 303-322 (2016)
  • Daniel Wilczak, Piotr Zgliczyński,
    Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 15, 495-525 (2016)
2015
  • Roberto Barrio, María Angeles Martinez, Sergio Serrano, Daniel Wilczak,
    When chaos meets hyperchaos: 4D Rössler model
    PHYSICS LETTERS A, vol. 379, 2300-2305 (2015)
  • S. Arabas, A. Jaruga, H. Pawlowska, W.W. Grabowski,
    libcloudph++ 1.0: a single-moment bulk, double-moment bulk, and particle-based warm-rain microphysics library in C++
    Geoscientific Model Development, 8, 1677-1707 (2015)
  • A. Jaruga, S. Arabas, D. Jarecka, H. Pawlowska, P.K. Smolarkiewicz, M. Waruszewski,
    libmpdata++ 1.0: a library of parallel MPDATA solvers for systems of generalised transport equations
    Geoscientific Model Development, 8, 1005-1032 (2015)
  • Mikael Barboteu, Krzysztof Bartosz, Piotr Kalita,
    A dynamic viscoelastic contact problem with normal compliance, finite penetration and nonmonotone slip rate dependent friction
    NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, vol. 22, 452-472 (2015)
  • Mikael Barboteu, Krzysztof Bartosz, Piotr Kalita, Ahmad Ramadan,
    A Contact Problem with Normal Compliance, Finite Penetration and Nonmonotone Slip Dependent Friction
    Springer Verlag (połaczony z Kluwer Academic Publishing), vol. 95, 295-303 (2015)
  • Krzysztof Bartosz, Xiaoliang Cheng, Piotr Kalita, Yuanjie Yu, Cong Zeng,
    Rothe method for parabolic variational-hemivariational inequalities
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 423, 841-862 (2015)
  • Krzysztof Bartosz, Zdzisław Denkowski, Piotr Kalita,
    Sensitivity of Optimal Solutions to Control Problems for Second Order Evolution Subdifferential Inclusions
    APPLIED MATHEMATICS AND OPTIMIZATION, vol. 71, 379-410 (2015)
  • Bogdan Batko,
    Spectral representation theory and stability of the multiplicative Dhombres functional equation in f-algebras
    Aequationes Mathematicae, vol. 89.3, 543-554 (2015)
  • Bogdan Batko,
    Superstability of the Cauchy equation with squares in finite-dimensional normed algebras
    Aequationes Mathematicae, vol. vol. 89.3, 785-789 (2015)
  • Piotr Brendel, Paweł Dłotko, Graham Ellis, Mateusz Juda, Marian Mrozek,
    Computing fundamental groups from point clouds
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, vol. 26, 27-48 (2015)
  • Piotr Brendel, Paweł Dłotko, Graham Ellis, Mateusz Juda, Marian Mrozek,
    Computing fundamental groups from point clouds
    APPL ALGEBR ENG COMM , 1-22 (2015)
  • Maciej Capiński, Piotr Zgliczyński,
    Geometric proof for normally hyperbolic invariant manifolds
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 259, 6215-6286 (2015)
  • Michele Coti Zelati, Piotr Kalita,
    Minimality properties of set-valued processes and their pullback attractors
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, vol. 47, 1530-1561 (2015)
  • Jacek Cyranka, Piotr Zgliczyński,
    Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 14, 787-821 (2015)
  • Aleksander Czechowski, Piotr Zgliczyński,
    Rigorous numerics for PDEs with indefinite tail: existence of a periodic solution of the Boussinesq equation with time-dependent forcing
    Schedae Informaticae, vol. 24, 143-158 (2015)
  • Jerzy Czepiel, Piotr Kalita,
    Numerical solution of a variational-hemivariational inequality modeling simplified adhesion of an elastic body
    IMA JOURNAL OF NUMERICAL ANALYSIS, vol. 35, 372-393 (2015)
  • Sylwia Dudek, Piotr Kalita, Stanisław Migórski,
    Stationary flow of non–Newtonian fluid with nonmonotone frictional boundary conditions
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, vol. 66, 2625-2646 (2015)
  • Herbert Edelsbrunner, Grzegorz Jabłoński, Marian Mrozek,
    The Persistent Homology of a Self-Map
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 15, 1213-1244 (2015)
  • Piotr Kalita, Grzegorz Łukaszewicz,
    Attractors for multivalued processes with weak continuity properties
    Springer, 149-166 (2015)
  • Piotr Kalita, Grzegorz Łukaszewicz,
    On Large Time Asymptotics for Two Classes of Contact Problems
    Springer, vol. 33, 299-332 (2015)
  • K. Mischaikow, M. Mrozek, F. Weilandt,
    Discretization strategies for computing Conley indices and Morse decompositions of flows
    preprint, (2015)
  • Marian Mrozek,
    A Topological Method for Finding Invariant Sets of Continuous Systems
    Springer Verlag (połaczony z Kluwer Academic Publishing), vol. Lecture Notes in Computer Science, 63-75 (2015)
  • M. Mrozek, R. Srzednicki, F. Weilandt,
    A topological approach to the algorithmic computation of the Conley index for Poincaré maps
    preprint, (2015)
  • Marian Mrozek, Roman Srzednicki, Frank Weilandt,
    A topological approach to the algorithmic computation of the Conley index for Poincaré maps
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 14, 1348-1386 (2015)
  • Piotr Zgliczyński,
    Steady states bifurcations for the Kuramoto-Sivashinsky equation - a computer assisted proof
    Journal of Computational Dynamics AIMS, 95-142 (2015)
2014
  • S. Arabas, D. Jarecka, A. Jaruga, M. Fijałkowski,
    Formula translation in Blitz++, NumPy and modern Fortran: A case study of the language choice tradeoffs
    Scientific Programming, 22, 201-222 (2014)
  • Mikael Barboteu, Krzysztof Bartosz, Piotr Kalita, Ahmad Ramadan,
    Analysis of a contact problem with normal compliance, finite penetration and nonmonotone slip dependent friction
    COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, vol. 16, 1350016 [29 pages] (2014)
  • Bogdan Batko, Janusz Brzdęk,
    A remark on some simultaneous functional inequalities
    Springer, vol. 94, 111-117 (2014)
  • Bogdan Batko,
    On Approximate Solutions of Functional Equations in Vector Lattices
    Abstract and Applied Analysis, vol. 547673, 10 (2014)
  • Bogdan Batko,
    Stability of the Exponential Functional Equation in Riesz Algebras
    Abstract and Applied Analysis, vol. 848540, 4 (2014)
  • A. Cerri, B. Di Fabio, G. Jablonski, F. Medri,
    Comparing shapes through multi-scale approximations of the matching distance
    Computer Vision and Image Understanding, 43-56 (2014)
  • Mateusz Juda, Marian Mrozek,
    CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 8592, 160-166 (2014)
  • Jose Ramon Fernandez, Piotr Kalita, Stanisław Migórski, Maria del Carmen Muniz, Cristina Nunez,
    Variational analysis of the Langmuir–Hinshelwood dynamic mixed-kinetic adsorption model
    NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, vol. 15, 205–220 (2014)
  • Piotr Kalita, Grzegorz Łukaszewicz,
    Attractors for Navier-Stokes flows with multivalued and nonmonotone subdifferential boundary conditions
    NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, vol. 19, 75-88 (2014)
  • Piotr Kalita, Grzegorz Łukaszewicz,
    Global attractors for multivalued semiflows with weak continuity properties
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, vol. 101, 124-143 (2014)
  • K. Murzyn, R. Szczelina,
    DMG-a - A Computational Geometry Library for Multimolecular Systems
    Journal of Chemical Information and Modeling, 3112–3123 (2014)
2013
  • S. Arabas, S. Shima,
    Large-Eddy Simulations of Trade Wind Cumuli Using Particle-Based Microphysics with Monte Carlo Coalescence
    Journal of the Atmospheric Sciences, 70, 2768-2777 (2013)
  • M. Barboteu, K. Bartosz, P. Kalita,
    Analysis and numerical approach to a bilateral contact problem with nonmonotone friction
    International Journal of Applied Mathematics and Computer Science, 23, 263-276 (2013)
  • Mikael Barboteu, Krzysztof Bartosz, Piotr Kalita,
    An analytical and numerical approach to a bilateral contact problem with nonmonotone friction
    International Journal of Applied Mathematics and Computer Science, vol. 23, 263-276 (2013)
  • Bogdan Batko, Janusz Brzdęk,
    A fixed point theorem and the Hyers-Ulam stability in Riesz spaces
    Advances in Difference Equations, vol. 2013:138, 12 (2013)
  • B. Batko, J. Brzdęk,
    A fixed point theorem and the stability of functional equations in Riesz spaces
    Advances in Difference Equations, 2013:138 (2013)
  • Bogdan Batko,
    The stability of Dhombres' equation in Riesz spaces
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 406.1, 261-265 (2013)
  • N. Cavazza, M. Ethier, P. Frosini, C. Landi, T. Kaczynski,
    Comparison of Persistent Homologies for Vector Functions: from continuous to discrete and back
    Computers and Mathematics with Applications, Vol. 66, No. 4, 560-573 (2013)
  • A. Cerri, M. Ethier, P. Frosini,
    A study of monodromy in the computation of multidimensional persistence
    17th IAPR International Conference on Discrete Geometry for Computer Imagery, Lecture Notes in Computer Science, Vol. 7749, 192-202 (2013)
  • P. Dlotko,H. Wagner,
    Simplification of complexes for persistent homology computations
    Homotopy, Homology and Applications, accepted (2013)
  • P. Dlotko, R. Specogna,
    Lazy cohomology generators: a breakthrough in (co)homology computations for CEM
    IEEE Transactions on Magnetics, DOI 10.1109/TMAG.2013.2281076 (2013)
  • P. Dłotko, R. Specogna,
    A novel technique for cohomology computations in engineering practice
    Computer Methods in Applied Mechanics and Engineering , 530-542 (2013)
  • P. Dłotko, R. Specogna,
    Cohomology in electromagnetic modeling
    Communications in Computational Physics (CiCP), Vol. 14, No. 1, 48-76 (2013)
  • P. Dłotko, R. Specogna,
    Physics inspired algorithms for (co)homology computations of three-dimensional combinatorial manifolds with boundary, Computer Physics Communications
    Computer Physics Communications, Volume 184, Issue 10, 2257–2266 (2013)
  • Paweł Dłotko, Specogna Ruben,
    Topology preserving thinning of cell complexes
    IEEE T IMAGE PROCESS , (2013)
  • Paweł Dłotko, Hubert Wagner,
    Towards topological analysis of high-dimensional feature spaces
    COMPUT VIS IMAGE UND , 21-26 (2013)
  • M. Ethier, T. Kaczynski,
    Suspension models for testing shape similarity methods
    Computer Vision and Image Understanding, submitted (2013)
  • Tomasz Kaczynski, Marian Mrozek,
    Cubical Cohomology Ring: Algorithmic Approach
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 13, 789-818 (2013)
  • Piotr Kalita,
    Convergence of Rothe scheme for hemivariational inequalities of parabolic type
    International Journal of Numerical Analysis and Modeling, vol. 10, 445-465 (2013)
  • Jose Ramon Fernandez, Piotr Kalita, Stanisław Migórski, Maria del Carmen Muniz, Cristina Nunez,
    Variational and numerical analysis of a mixed kinetic-diffusion surfactant model for the modified the Langmuir-Hinshelwood equation
    Proceedings of the 13th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2013, 601-614 (2013)
  • Małgorzata Moczurad, Włodzimierz Moczurad,
    Testing decipherability of directed figure codes with domino graphs
    Schedae Informaticae, 27-40 (2013)
  • G. S. Cochran, Th. Wanner, P. Dłotko ,
    A randomized subdivision algorithm for determining the topology of nodal sets
    SIAM Journal on Scientific Computing, accepted (2013)
  • R. Szczelina, P. Zgliczyński,
    A homoclinic orbit in a planar singular ODE - a computer assisted proof.
    SIAM Journal of Applied Dynamical Systems, 1541-1565 (2013)
  • Robert Szczelina, Piotr Zgliczyński,
    A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 12, 1541-–1565 (2013)
2012
  • Krzysztof Bartosz, Piotr Kalita,
    Optimal control for a class of dynamic viscoelastic contact problems with adhesion
    DYNAMIC SYSTEMS AND APPLICATIONS, vol. 21, 269-292 (2012)
  • Bogdan Batko,
    Note on superstability of Mikusinski’s functional equation
    Springer, vol. 52, 15-17 (2012)
  • Andrzej Bielecki, Piotr Kalita,
    Dynamical properties of the reaction-diffusion type model of fast synaptic transport
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 393, 329–340 (2012)
  • Piotr Brendel, Paweł Dłotko, Marian Mrozek, Natalia Żelazna,
    Homology Computations via Acyclic Subspace
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 7309, 117-127 (2012)
  • Piotr Brendel, Paweł Dłotko, Marian Mrozek, Natalia Żelazna,
    Homology Computations via Acyclic Subspace
    LECTURE NOTES IN COMPUTER SCIENCE , 117-127 (2012)
  • Paweł Dłotko, Robert Ghrist, Mateusz Juda, Marian Mrozek,
    Distributed computation of coverage in sensor networks by homological methods
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, vol. 23, Issue 1-2, 29-58 (2012)
  • P. Dłotko, R. Ghrist, M. Juda, M. Mrozek,
    Distributed computation of coverage in sensor networks by homological methods
    Applicable Algebra and Engineering, Communication and Computing, Special Issue on Compuer Algebra in Algebraic Topology and its Applications, 29-58 (2012)
  • Paweł Dłotko, Marian Mrozek, Hubert Wagner,
    Computational Topology in Text Mining
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 7309, 68 - 79 (2012)
  • M. Ethier,
    Introduction a l'homologie persistante avec application a la suspension topologique
    CaMUS: Cahiers mathématiques de l'Université de Sherbrooke, Vol. 3, 1-18 (2012)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological methods for extraction and analysis of linear features in multidimensional images
    PATTERN RECOGNITION, vol. 45(1), 285-298 (2012)
  • Mateusz Juda, Marian Mrozek,
    Z_2-homology of weak (p-2)-faceless p-pseudomanifolds may be computed in O(n) time
    Topological Methods in Nonlinear Analysis, vol. 40, 137-159 (2012)
  • Piotr Kalita,
    Regularity and Rothe method error estimates for parabolic hemivariational inequality
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 389, 618-631 (2012)
  • Krzysztof Misztal, Jacek Tabor, Józef Tabor,
    Approximately midconvex functions
    Functional Equations in Mathematical Analysis, Springer, 177-190 (2012)
  • Marian Mrozek,
    Topological Dynamics: Rigorous Numerics via Cubical Homology
    American Mathematical Society (AMS), vol. 70, 41-73 (2012)
  • Marek Śmieja, Jacek Tabor,
    Entropy of the Mixture of Sources and Entropy Dimension
    IEEE Transactions on Informationm Theory, 2719-2728 (2012)
  • H. Wagner, P. Dłotko, and M. Mrozek,
    Computational Topology in Text Mining
    Computational Topology in Image Context, LNCS , 68 - 79 (2012)
2011
  • M. Allili, D. Corriveau, S. Deriviere, M. Ethier, T. Kaczynski,
    Detecting Critical Regions in Multidimensional Data Sets
    Computers and Mathematics with Applications, Vol. 61, No. 2, 499-512 (2011)
  • S. Arabas, H. Pawlowska,
    Adaptive method of lines for multi-component aerosol condensational growth and CCN activation
    Geoscientific Model Development, 4, 15-31 (2011)
  • Tomasz Baron, Marcin Cwynar, Tomasz Grodzicki, Barbara Gryglewska, Marian Mrozek, Mirosław Nęcki, Marcin Żelawski,
    Fractal dimensions of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension
    CARDIOLOGY JOURNAL, FORMERLY FOLIA CARDIOLOGICA, vol. 18, No. 1, 26-32 (2011)
  • Maciej Capiński, Piotr Zgliczyński,
    Cone Conditions and Covering Relations for Normally Hyperbolic Invariant Manifolds
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 30, 641-670 (2011)
  • Maciej Capiński, Piotr Zgliczyński,
    Transition Tori in the Planar Restricted Elliptic Three Body Problem
    NONLINEARITY, vol. 24, 1395-1432 (2011)
  • P. Dłotko,
    A fast algorithm to compute cohomology group generators of orientable 2-manifolds
    Pattern Recognition Letters, 1468-1476 (2011)
  • Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek, Thomas Wanner,
    Coreduction Homology Algorithm for Regular CW-Complexes
    DISCRETE & COMPUTATIONAL GEOMETRY, vol. 46, 361-388 (2011)
  • P. Dłotko, W.G. Kropatsch, H. Wagner,
    Characterizing Obstacle-Avoiding Paths Using Cohomology Theory
    Lecture Notes in Computer Science, 310-317 (2011)
  • P. Dłotko, R. Specogna,
    Efficient generalized source field computation for h-oriented magnetostatic formulations
    Eur. Phys. J.-Appl. Phys. (EPJ-AP), accepted (2011)
  • G. Jablonski,
    Robust Nonparametric Regression with Output in SO(3)
    Computer Recognition Systems 4, Advances in Intelligent and Soft Computing, 127-136 (2011)
  • Piotr Kalita,
    Decay of energy for second-order boundary hemivariational inequalities with coercive damping
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, vol. 74, 1164-1181 (2011)
  • M. Kulmala, et al. (120 co-authors),
    General overview: European Integrated project on Aerosol Cloud Climate and Air Quality interactions (EUCAARI) – integrating aerosol research from nano to global scales
    Atmospheric Chemistry and Physics, 11, 13061-13143 (2011)
  • Stefan Ratschan , Peter Franek, Piotr Zgliczyński,
    Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 6907, 315-326 (2011)
  • Daniel Wilczak, Piotr Zgliczyński,
    C^r-Lohner algorithm
    Schedae Informaticae, vol. 20, 9-46 (2011)
2010
  • M. Allili, M. Ethier, T. Kaczynski,
    Critical Region Analysis of Scalar Fields in Arbitrary Dimensions
    Visualization and Data Analysis 2010, Proceedings of the SPIE, Vol. 7530, (2010)
  • Bogdan Batko, Marian Mrozek,
    Homology of representable sets
    Annales Polonici Mathematici, vol. 97,3, 243-252 (2010)
  • A. Bielecki, P. Kalita, M. Lewandowski, B. Siwek,
    Numerical simulation for neurotransmitter transport model in axon terminal of presynaptic neuron
    Biological Cybernetics, 102, 489-502 (2010)
  • Andrzej Bielecki, Piotr Kalita, Marian Lewandowski, Bartłomiej Siwek,
    Numerical simulation for a neurotransmitter transport model in the axon terminal of a presynaptic neuron
    BIOLOGICAL CYBERNETICS, vol. 102, 489-502 (2010)
  • F. Cairo, et al. (51 co-authors),
    An introduction to the SCOUT-AMMA stratospheric aircraft, balloons and sondes campaign in West Africa, August 2006: rationale and roadmap
    Atmospheric Chemistry and Physics, 10, 2237-2256 (2010)
  • Paweł Dłotko, Shaun Harker, Mateusz Juda, Konstantin Mischaikov, Marian Mrozek, Vidit Nanda, Hubert Wagner,
    The efficiency of a homology algorithm based on discrete Morse Theory and Coreductions
    Image A Proceedings of the 3rd International Workshop on computational Topology in Image Context, 41-47 (2010)
  • Paweł Dłotko, Shaun Harker, Mateusz Juda, Konstantin Mischaikov, Marian Mrozek, Vidit Nanda, Hubert Wagner,
    The efficiency of a homology algorithm based on discrete Morse Theory and Coreductions
    , 41-47 (2010)
  • Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek,
    Computing the cubical cohomology ring
    Image A, Proceedings of the 3rd International Workshop on computational Topology in Image Context, 137-142 (2010)
  • Paweł Dłotko, Tomasz Kaczynski, Marian Mrozek,
    Computing the cubical cohomology ring
    , 137-142 (2010)
  • P. Dłotko, Specogna Ruben,
    Critical analysis of spanning tree techniques
    SIAM J. Numer. Anal., 1601-1624 (2010)
  • Paweł Dłotko, Specogna Ruben,
    Critical analysis of spanning tree techniques
    SIAM J NUMER ANAL , 1601-1624 (2010)
  • Paweł Dłotko, Specogna Ruben,
    Efficient cohomology computation for electromagnetic modeling
    CMES-COMP MODEL ENG , 247-278 (2010)
  • Paweł Dłotko, Specogna Ruben, Francesco Trevisan,
    Voltage and current sources for massive conductors suitable with the $A-\chi$ Geometric Formulation
    IEEE T MAGN , 3069-3072 (2010)
  • P. Dłotko, R. Specogna,
    Efficient cohomology computation for electromagnetic modeling
    CMES: Computer Modeling in Engineering and Sciences, 247-278 (2010)
  • P. Dłotko, R. Specogna, F. Trevisan,
    Voltage and current sources for massive conductors suitable with the $A-\chi$ Geometric Formulation
    IEEE Transactions on Magnetics, 3069-3072 (2010)
  • Tomasz Grodzicki, Barbara Gryglewska, Mirosław Nęcki, Marcin Żelawski,
    Entropy of skin microcirculation flow in subjects with familial predisposition or newly diagnosed hypertension
    Cardiovascular Research, vol. 87, S54-S54 (2010)
  • Marian Mrozek,
    Homology of representable sets
    Annales Polonici Mathematici, vol. 97.3, 243–252 (2010)
  • Marian Mrozek, Roman Srzednicki,
    Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 191-220 (2010)
  • Marian Mrozek, Thomas Wanner,
    Coreduction homology algorithm for inclusions and persistent homology
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, vol. 60.10, 2812-2833 (2010)
  • Marian Mrozek,
    ˇCech Type Approach to Computing Homology of Maps
    DISCRETE & COMPUTATIONAL GEOMETRY, vol. 44.3, 546–576 (2010)
  • Daniel Wilczak,
    Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 9, 1263-1283 (2010)
  • Piotr Zgliczyński,
    Rigorous Numerics for Dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs
    Topological Methods in Nonlinear Analysis, vol. 36, 197-262 (2010)
2009
  • S. Arabas, H. Pawlowska, W.W. Grabowski,
    Effective radius and droplet spectral width from in-situ aircraft observations in trade-wind cumuli during RICO
    Geophysical Research Letters, 36, L11803 (2009)
  • Bogdan Batko, Marian Mrozek,
    Coreduction homology algorithm
    DISCRETE & COMPUTATIONAL GEOMETRY, vol. 41, 96-118 (2009)
  • Paweł Dłotko, Specogna Ruben, Francesco Trevisan,
    Automatic generation of cuts on large-sized meshes for $T-\Omega$ geometric eddy-current formulation
    Computer Methods in Applied Mechanics and Engineering (CMAME), 3765–3781 (2009)
  • Paweł Dłotko, Specogna Ruben, Francesco Trevisan,
    Automatic generation of cuts on large-sized meshes for $T-\Omega$ geometric eddy-current formulation
    COMPUT METHOD APPL M , (2009)
  • Andrzej Gryglewski, Andrzej Krajniak, Marian Mrozek, Han Sejin, Marcin Żelawski,
    Homological Methods in Feature Extraction of Multidimensional Images
    Proceedings of the 2009 2nd International Congress on Image and Signal Processing, IEEE, 1061-1066 (2009)
  • Tomasz Kapela, Piotr Zgliczyński,
    A Lohner-type algorithm for control systems and ordinary differential inclusions
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, vol. 11, 365-385 (2009)
  • Marian Mrozek, Roman Srzednicki,
    Conley index of Poincare maps in isolating segments
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2123—2131 (2009)
  • Warwick Tucker, Daniel Wilczak,
    A rigorous lower bound for the stability regions of the quadratic map
    PHYSICA D-NONLINEAR PHENOMENA, vol. 238, 1923-1936 (2009)
  • Daniel Wilczak,
    Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, vol. 11, 1039-1055 (2009)
  • Daniel Wilczak,
    Rigorous numerics for homoclinic dynamics
    The Joint Conference of ASCM 2009 and MACIS 2009, COE Lect. Note, 22, Kyushu Univ. Fac. Math., Fukuoka, 301-305 (2009)
  • Daniel Wilczak, Piotr Zgliczyński,
    Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 8, 1632-1663 (2009)
  • Daniel Wilczak, Piotr Zgliczyński,
    Period doubling in the Rössler system - a computer assisted proof
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 9, 611-649 (2009)
  • Piotr Zgliczyński,
    Covering relations, cone conditions and stable manifold theorem
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 246, 1774-1819 (2009)
  • Li Ming-Chia, Piotr Zgliczyński,
    On stability of forcing relations for multidimensional perturbations of interval maps
    FUNDAMENTA MATHEMATICAE, vol. 206, 241-251 (2009)
  • Marcin Żelawski,
    Detecting Pathologies with Homology Algorithms in Magnetic Resonance Images of Brain
    MACHINE GRAPHICS & VISION: INTERNATIONAL JOURNAL, vol. 18, No. 3, 253-266 (2009)
2008
  • Bogdan Batko,
    On approximation of approximate solutions of Dhombres' equation
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 340.1, 424-432 (2008)
  • Bogdan Batko,
    Stability of an alternative functional equation
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, vol. 339.1, 303-311 (2008)
  • Andrzej Bielecki, Piotr Kalita,
    Model of neurotransmitter fast transport in axon terminal of presynaptic neuron
    JOURNAL OF MATHEMATICAL BIOLOGY, vol. 56, 559-576 (2008)
  • Andrzej Bielecki, Piotr Kalita, Marian Lewandowski, Marek Skomorowski,
    Compartment model of neuropeptide synaptic transport with impulse control
    BIOLOGICAL CYBERNETICS, vol. 99, 443-458 (2008)
  • Bartosz Bierkowski, Piotr Kalita, Igor Podolak, Adam Roman,
    Algorithm for intelligent prediction of requests in business systems
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 4910, 696-707 (2008)
  • M. Ethier, Y. Bourgault,
    Semi-Implicit Time-Discretization Schemes for the Bidomain Model
    SIAM Journal of Numerical Analysis, Vol. 46, No. 5, 2443-2468 (2008)
  • Piotr Kalita, Robert Schaefer,
    Mechanical models of artery walls
    ARCHIVES OF COMPUTATIONAL METHODS IN ENGINEERING, vol. 15, 1-36 (2008)
  • Marcin Mazur, Jacek Tabor, P. Kościelniak,
    Semi-hyperbolicity and hyperbolicity
    Discrete Contin. Dyn. Syst. 20, 1029-1038 (2008)
  • Li Ming-Chia, Lyu Ming-Jiea , Piotr Zgliczyński,
    Topological entropy for multidimensional perturbations of snap-back repellers and one-dimensional maps
    NONLINEARITY, vol. 21, 2555-2567 (2008)
  • Małgorzata Moczurad, Włodzimierz Moczurad,
    How many figure sets are codes?
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 5196, 385-396 (2008)
  • Marian Mrozek, Paweł Pilarczyk, Natalia Żelazna,
    Homology algorithm based on acyclic subspace
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, vol. 55, 2395-2412 (2008)
  • Jacek Tabor, Józef Tabor,
    Restricted stability and shadowing
    Publ. Math. Debrecen 73, 49-58 (2008)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy equation almost everywhere
    Aequationes Math. 75, 308-313 (2008)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy functional equation in metric groupoids
    Aequationes Math. 76, 92-104 (2008)
  • Jacek Tabor, Józef Tabor, M. Żołdak,
    Stability of isometries in p-Banach spaces
    Funct. Approx. Comment. Math. 38 , 109-119 (2008)
2007
  • Bogdan Batko, Marian Mrozek,
    The Euler-Poincare characteristic of index maps
    TOPOLOGY AND ITS APPLICATIONS, vol. 154.4, 859-866 (2007)
  • F. Colonius, T. Kapela,
    A rigorous numerical algorithm for controllability
    Taming Heterogeneity and Complexity of Embedded Control CTS-HYCON Workshop on Nonlinear and Hybrid Control, International Scientific & Technical Encyclopedia (ISTE) , 157-170 (2007)
  • Zbigniew Galias, Piotr Zgliczyński,
    An interval method for finding fixed points and periodic orbits of infinite dimensional discrete dynamical systems
    INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, vol. 17, 4261-4272 (2007)
  • Paweł Gniadek,
    On reconstructing algebraic sets and ideals
    Annales Polonici Mathematici, vol. 91, 1-10 (2007)
  • Tomasz Kaczynski, M. Mrozek, Anik Trahan,
    Ideas from Zariski topology in the study of cubical sets, cubical maps, and their homology
    Canadian J. Math., 1008-1028 (2007)
  • Tomasz Kapela, Carles Simo,
    Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
    NONLINEARITY, vol. 20(5), 1241-1255 (2007)
  • Hiroshi Kokubu, Daniel Wilczak, Piotr Zgliczyński,
    Rigorous verification of cocoon bifurcations in the Michelson system
    NONLINEARITY, vol. 20, 2147-2174 (2007)
  • Małgorzata Moczurad, Włodzimierz Moczurad,
    Asymptotic density of brick and word codes
    ARS COMBINATORIA, vol. 83, 169-177 (2007)
  • Z. Mączyńska, Jacek Tabor,
    Shadowing with multidimensional time in Banach spaces
    J. Math. Anal. Appl. 331, 866-872 (2007)
  • Jacek Tabor,
    Locally expanding mappings and hyperbolicity
    Topol. Methods Nonlinear Anal. 30, 335-343 (2007)
  • Jacek Tabor, Józef Tabor,
    General stability of functional equations of linear type
    J. Math. Anal. Appl. 328, 192-200 (2007)
  • Daniel Wilczak, Piotr Zgliczyński,
    Topological method for symmetric periodic orbits for maps with a reversing symmetry
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 17, 629-652 (2007)
  • N. Żelazna,
    Acyclic Subspace Homology Algorithm for Inclusions
    Schedae Informaticae, 25-34 (2007)
2006
  • Maciej Capiński, Piotr Zgliczyński,
    Covering Relations and Non-autonomous Perturbations of ODEs
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 14, 281-293 (2006)
  • W. Jabłoński, Jacek Tabor, Józef Tabor,
    Generalized shadowing for discrete semidynamical systems
    Ann. Polon. Math. 88, 263-269 (2006)
  • M. Mrozek,
    The Method of Topological Sections in the Rigorous Numerics of Dynamical Systems
    Canadian Applied Mathematics Quarterly, 209-222 (2006)
  • M. Mrozek,
    Index Pairs Algorithms
    Foundations of Computational Mathematics, 457-493 (2006)
  • Jacek Tabor,
    Generalized differential inclusions in Banach spaces
    Set-Valued Anal. 14, 121-148 (2006)
  • Daniel Wilczak,
    Symmetric homoclinic solutions to the periodic orbits in the Michelson system
    Topological Methods in Nonlinear Analysis, vol. 28, 155-170 (2006)
  • Daniel Wilczak,
    The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 6, 495-535 (2006)
2005
  • Bogdan Batko,
    On the stability of an alternative functional equation
    MATHEMATICAL INEQUALITIES & APPLICATIONS, vol. 8.4, 685-691 (2005)
  • Bogdan Batko,
    On the stability of Mikusinski's equation
    PUBLICATIONES MATHEMATICAE-DEBRECEN, vol. 66.1-2, 17-24 (2005)
  • Y. Bourgault, M. Ethier,
    Comparison of Numerical Schemes for the Bidomain Model
    Third MIT Conference on Fluid and Solid Mechanics, 1048-1051 (2005)
  • K. Mischaikow, M. Mrozek, P. Pilarczyk,
    Graph Approach to the Computation of the Homology of Continuous Maps
    Foundations of Computational Mathematics, 199-229 (2005)
  • Marian Mrozek, Klaudiusz Wójcik,
    Discrete version of a geometric method for detecting chaotic dynamics
    TOPOLOGY AND ITS APPLICATIONS, vol. 152, 70-82 (2005)
  • A. Najdecki, Jacek Tabor, Józef Tabor,
    Characterization of continuous functions by class C curves
    Aequationes Math. 69, 76-82 (2005)
  • Roman Srzednicki, Klaudiusz Wójcik, Piotr Zgliczyński,
    Fixed point results based on the Ważewski method
    Springer Verlag (połaczony z Kluwer Academic Publishing), 905-943 (2005)
  • Jacek Tabor,
    Note on reflexivity and invariant means
    Univ. Iagel. Acta Math. 43, 99-102 (2005)
  • Jacek Tabor, Józef Tabor,
    Stability of the entropy equation
    Aequationes Math. 69, 76-82 (2005)
  • Daniel Wilczak,
    Symmetric heteroclinic connections in the Michelson system - a computer assisted proof
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 4, 489-514 (2005)
  • Daniel Wilczak, Piotr Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - part II
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, vol. 259, 561-576 (2005)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    Topological horseshoes and delay differential equations
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, vol. 12, 827-852 (2005)
  • Marcin Żelawski,
    Pattern Recognition Based on Homology Theory
    MACHINE GRAPHICS & VISION: INTERNATIONAL JOURNAL, vol. 14, No. 3, 309-324 (2005)
2004
  • Bogdan Batko,
    Stability of Dhombres' equation
    BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, vol. 70.3, 499-505 (2004)
  • Małgorzata Moczurad, Włodzimierz Moczurad,
    Decidability of simple brick codes
    Birkhäuser, vol. Trends in Mathematics, 541-542 (2004)
  • Małgorzata Moczurad, Włodzimierz Moczurad,
    Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 3106, 72-81 (2004)
  • Jacek Tabor,
    Difference and iterative equations. Dedicated to István Győri on the occasion of his sixtieth birthday.
    Funct. Differ. Equ. 11, 185-192 (2004)
  • Jacek Tabor,
    Stability of the Cauchy functional equation in quasi-Banach spaces
    Ann. Polon. Math. 83, 243-255 (2004)
  • Jacek Tabor, M. Żołdak,
    Iterative equations in Banach spaces
    J. Math. Anal. Appl. 299, 651-662 (2004)
  • marian gidea, Piotr Zgliczyński,
    Covering relations for multidimensional dynamical systems I
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 202, 32-58 (2004)
  • marian gidea, Piotr Zgliczyński,
    Covering relations for multidimensional dynamical systems II
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 202, 59-80 (2004)
  • Piotr Zgliczyński,
    Rigorous numerics for dissipative Partial Differential Equations II. Periodic orbit for the Kuramoto-Sivashinsky PDE - a computer assisted proof
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 4, 157-185 (2004)
2003
  • Y. Bourgault, M. Ethier, V. LeBlanc,
    Simulation of Electrophysiological Waves with an Unstructured Finite Element Method
    ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 37, 649-661 (2003)
  • Y. Bourgault, M. Ethier,
    Unstructured Finite Element Method for a 3-D Anisotropic Bidomain Model
    Second MIT Conference on Fluid and Solid Mechanics, 1634-1637 (2003)
  • Gianni Arioli, Piotr Zgliczyński,
    Periodic, homoclinic and heteroclinic orbits for H'{e}non Heiles Hamiltonian near the critical energy level
    NONLINEARITY, vol. vol. 16, No. 5, 1833-1852 (2003)
  • T. Kaczynski, K. Mischaikow, M. Mrozek,
    Computing Homology
    Homotopy, Homology and Applications, 233-256 (2003)
  • Tomasz Kapela,
    N-BODY choreographies with a reflectional symmetry - computer assisted existence proofs
    EQUADIFF 2003, Proceedings of the International Conference on Differential Equations, Hasselt, Belgium 22 - 26 July 2003, 999-1005 (2003)
  • Tomasz Kapela, Piotr Zgliczyński,
    The existence of simple choreographies for the N-body problem - a computer assisted proof
    NONLINEARITY, vol. 16(2), 1899-1918 (2003)
  • Jacek Tabor,
    Oscillation of linear difference equations in Banach spaces
    J. Differential Equations 192, 170-187 (2003)
  • Jacek Tabor,
    Stability of the Fischer-Muszély functional equation
    Publ. Math. Debrecen 62, 205-211 (2003)
  • Jacek Tabor, Józef Tabor,
    On the sets of exact and approximate solutions
    J. Math. Anal. Appl. 285, 528-536 (2003)
  • Daniel Wilczak,
    Chaos in the Kuramoto-Sivashinsky equations - a computer assisted proof
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 194, 433-459 (2003)
  • Daniel Wilczak, Piotr Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - A Computer Assisted Proof
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, vol. 234, 37-75 (2003)
  • P. Zgliczyński,
    Trapping regions and an ODE-type proof of an existence and uniqueness for Navier-Stokes equations with periodic boundary conditions on the plane
    Univ. Iag. Acta Math. 41, 89-113 (2003)
  • P. Zgliczyński,
    On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach
    Journal of Differential Equations 195/2 271-283, 271-283 (2003)
  • Piotr Zgliczyński,
    On smooth dependence on intial conditions for dissipative PDEs, an ODE-type approach
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 195/2, 271-283 (2003)
2002
  • Bogdan Batko, Zygfryd Kominek, Jacek Tabor,
    Generalized norms and convexity
    PUBLICATIONES MATHEMATICAE-DEBRECEN, vol. 60.1-2, 63-73 (2002)
  • Y. Bourgault, M. Ethier,
    Simulation of Electrophysiological Waves with an Unstructured Finite Element Method
    Proceedings of Modelling and Simulation for Computer-Aided Medicine and Surgery, INRIA-Rocquencourt, 12-16 (2002)
  • T. Kapela,
    Hazardowa wersja gry Penney'a
    Annales Academiae Paedagogicae Cracoviensis, Studia Ad Calculum Probabilitatis Eiusque Didacticam Perinentia I, folia 5 (2002)
  • M. Kulczycki, Jacek Tabor,
    Iterative functional equations in the class of Lipschitz functions
    Aequationes Math. 64, 24-33 (2002)
  • K. Mischaikow, M. Mrozek,
    The Conley Index Theory
    Handbook of Dynamical Systems III: Towards Applications , 393-460 (2002)
  • Małgorzata Moczurad,
    Wybrane zagadnienia z teorii rekursji
    Wydawnictwo Uniwersytetu Jagiellońskiego, (2002)
  • M. Mrozek, P. Pilarczyk,
    The Conley Index and Rigorous Numerics of Attracting Periodic Orbits
    Variational and Topological Methods in the Study of Nonlinear Phenomena, V. Benci et al. Editors, Progress in Nonlinear Differential Equations and Their Applications, Vol. 49 , (2002)
  • Jacek Tabor,
    Differential equations in metric spaces. Proceedings of EQUADIFF, 10 (Prague, 2001)
    Math. Bohem. 127, 353-360 (2002)
  • Jacek Tabor,
    Hyers theorem and the cocycle property
    Functional equations---results and advances, 275-290 (2002)
  • Jacek Tabor,
    Note on metric spaces and continuous functions
    Publ. Math. Debrecen 61, 119-123 (2002)
  • Jacek Tabor,
    Oscillation theory of linear systems
    J. Differential Equations 180, 171-197 (2002)
  • Jacek Tabor,
    Proper families and almost additive functions
    Aequationes Math. 63, 18-25 (2002)
  • Jacek Tabor, Józef Tabor,
    Geometrical aspects of stability
    Functional equations---results and advances, 123-132 (2002)
  • Jacek Tabor, Józef Tabor,
    Note on unique stability property
    Opuscula Math. 22, 35-39 (2002)
  • Jacek Tabor, D. Yost,
    Applications of inverse limits to extensions of operators and approximation of Lipschitz functions
    J. Approx. Theory 116, 257-267 (2002)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    Isolating segments, fixed point index, and symbolic dynamics. III. Applications
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 183, 262-278 (2002)
  • Piotr Zgliczyński,
    Attracting fixed points for the Kuramoto-Sivashinsky equation
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, vol. 1, 215-235 (2002)
  • P. Zgliczyński,
    Attracting fixed points for the Kuramoto-Sivashinsky equation - a computer assisted proof
    SIAM Journal on Applied Dynamical Systems, Vol. 1, 215-235 (2002)
  • Piotr Zgliczyński,
    C^1-Lohner algorithm
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 2, 429-465 (2002)
2001
  • G. Arioli, P. Zgliczyński,
    Symbolic dynamics for the Henon--Heiles hamiltonian on the critical energy level
    J. Diff. Eq. 171, 173-202 (2001)
  • Konstantin Mischaikov, Piotr Zgliczyński,
    Rigorous Numerics for Partial Differential Equations: the Kuramoto-Sivashinsky equation
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, vol. 1, 255-288 (2001)
  • K. Mischaikow, M. Mrozek, A. Szymczak,
    Chaos in the Lorenz equations: a computer assisted proof. Part III: the classical parameter values
    J. Diff. Equ., 17-56 (2001)
  • M. Misiurewicz, P. Zgliczyński,
    Topological entropy for multidimensional perturbations of one dimensional maps
    Int. J. of Bifurcation and Chaos, vol. 11, 1443-1446 (2001)
  • Jacek Tabor,
    k-proper families and almost approximately polynomial functions
    Glas. Mat. Ser. III 36(56), 177-197 (2001)
  • Daniel Wilczak,
    Computer assisted proof of chaotic dynamics in the Rössler map
    Topological Methods in Nonlinear Analysis, vol. 18, 183-190 (2001)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    Isolating segments, fixed point index, and symbolic dynamics. II. Homoclinic solutions.
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 172, 189-211 (2001)
  • P. Zgliczyński,
    On periodic points for systems of weakly coupled 1-dim maps
    Nonlinear Analysis. TMA, Vol 46/7, 1039-1062 (2001)
2000
  • Bogdan Batko,
    An alternative Cauchy equation almost everywhere
    Roczniki Naukowo-Dydaktyczne AP. w Krakowie, vol. 204, 41-48 (2000)
  • Marian Mrozek, James F. Reineck, Roman Srzednicki,
    The Conley index over a base
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, vol. 352, 4171-4194 (2000)
  • Małgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc,
    Statistical properties of simple types
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 10, 575-594 (2000)
  • M. Mrozek, P. Zgliczyński ,
    Set arithmetic and the enclosing problem in dynamics
    Annales Polonici Mathematici, 237-259 (2000)
  • M. Mrozek, J. Reineck, R. Srzednicki,
    The Conley index over a circle
    J. Dynamics and Differential Equations,, 385--409 (2000)
  • Marian Mrozek, Roman Srzednicki,
    The Conley index over the circle
    , (2000)
  • M. Mrozek, P. Zgliczyński,
    Set arithmetic and the enclosing problem in dynamics
    Annales Pol. Math., LXXIV, 237-259 (2000)
  • Jacek Tabor,
    Ideally convex sets and Hyers theorem
    Funkcial. Ekvac. 43, 121-125 (2000)
  • Jacek Tabor,
    Jacek Remark on the characterization of continuous functions
    Publ. Math. Debrecen 57, 307-313 (2000)
  • Jacek Tabor,
    Monomial selections of set-valued functions
    Publ. Math. Debrecen 56, 33-42 (2000)
  • Jacek Tabor,
    On predicting the future
    J. Differential Equations 164, 459-466 (2000)
  • Jacek Tabor,
    Stability of surjectivity
    J. Approx. Theory 105, 166-175 (2000)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    How to show an existence of homoclinic trajectories using topological tools?
    International Conference on Differential Equations, Vol. 1, 2 (Berlin, 1999), , World Scientific Publishing, 246-248 (2000)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    Isolating segments, fixed point index, and symbolic dynamics
    JOURNAL OF DIFFERENTIAL EQUATIONS, vol. 161, 245-288 (2000)
  • Klaudiusz Wójcik, Piotr Zgliczyński,
    On existence of infinitely many homoclinic solutions
    MONATSHEFTE FUR MATHEMATIK, vol. 130, 155-160 (2000)
1999
  • Bogdan Batko, Jacek Tabor,
    Stability of an alternative Cauchy equation on a restricted
    Aequationes Mathematicae, vol. 57, 221-232 (1999)
  • Bogdan Batko, Jacek Tabor,
    Stability of the generalized alternative Cauchy equation
    ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, vol. 69, 67-73 (1999)
  • Paweł Gniadek,
    Hermite multivariate interpolation as a limit of Lagrange interpolation
    UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, vol. 37, 127–137 (1999)
  • K. Mischaikow, M. Mrozek, J. Reineck,
    Singular index pairs
    J. Dyn. Diff. Equ., 399-426 (1999)
  • K. Mischaikow, M. Mrozek, J. Reiss, A. Szymczak,
    Construction of Symbolic Dynamics from Experimental Time Series
    Physical Review Letters, 1144 (1999)
  • M. Mrozek,
    An algorithmic approach to the Conley index theory
    J. Dyn. Diff. Equ., 711-734 (1999)
  • M. Mrozek,
    Construction and properties of the Conley index
    Conley index theory, Banach Center Publications, Vol. 47 , 29-40 (1999)
  • Jacek Tabor,
    A general stability result in the class of Lipschitz functions
    Publ. Math. Debrecen 55, 385-394 (1999)
  • Jacek Tabor,
    Linear difference equations and invariant subsets of linear mappings
    Aequationes Math. 57, 153-184 (1999)
  • Jacek Tabor,
    Linear mappings on a cone
    Univ. Iagel. Acta Math. No. 37, 181-187 (1999)
  • Jacek Tabor,
    Note on possible chaotic dynamics
    Nonlinearity 12, 1643-1645 (1999)
  • Jacek Tabor,
    Superstability of the Cauchy, Jensen and isometry equations
    Results Math. 35, 355-379 (1999)
  • Jacek Tabor, Józef Tabor,
    Local stability of the Cauchy and Jensen equations in function spaces
    Aequationes Math. 58, 296-310 (1999)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy type equations in the class of differentiable functions
    J. Approx. Theory 98, 167-182 (1999)
  • P. Zgliczyński,
    Sharkovskii's Theorem for multidimensional perturbations of one-dimensional maps II
    Topological Methods in Nonlinear Analysis 14, 169-182 (1999)
  • P. Zgliczyński,
    Multidimensional perturbations of one-dimensional maps and stability of Sharkovskii ordering
    Int. J. of Bifurcation and Chaos, Vol. 9, 1867-1876 (1999)
  • P. Zgliczyński,
    Sharkovskii's Theorem for multidimensional perturbations of one-dimensional maps
    Ergodic Theory and Dynamical Systems 19, 1655-1684 (1999)
  • P. Zgliczyński,
    Symbolic dynamics for the R\"ossler folded towel map
    Conley Index Theory, Warsaw 1999, Banach Center Publications, Vol. 47, 253-258 (1999)
  • M. Żelawski,
    Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky Equation
    Reliable Computing, 5, 113-129 (1999)
1998
  • B. Batko, J. Tabor,
    Stability of an alternative Cauchy equation on a restricted domain
    Aequationes Mathematicae 57, 1-12 (1998)
  • Z. Galias, P. Zgliczyński,
    Computer assisted proof of chaos in the Lorenz system
    Physica D, 115, 165-188 (1998)
  • T. Kaczynski, M. Mrozek, M. Slusarek,
    Homology Computation by Reduction of Chain Complexes,
    Computers and Mathematics with Appl., 59--70 (1998)
  • M. Mazur, Jacek Tabor, K. Stolot,
    Semi-hyperbolicity implies hyperbolicity in the linear case. Proceedings of the Conference ``Topological Methods in Differential Equations and Dynamical Systems'' (Kraków-Przegorzały, 1996).
    Univ. Iagel. Acta Math. 36, 121-126 (1998)
  • K. Mischaikow, M. Mrozek,
    Chaos in the Lorenz equations: a computer assisted proof. Part II: details
    Mathematics of Computation, 1023-1046 (1998)
  • K. Mischaikow, M. Mrozek, J. Reineck,
    Singular Index Pairs
    Univ. Iag. Acta Math., 223-226 (1998)
  • M. Mrozek,
    Algorithms and the Conley index theory,
    Univ. Iag. Acta Math.,, 227-230 (1998)
  • Andrzej Szymczak , Klaudiusz Wójcik, Piotr Zgliczyński,
    On the discrete Conley index in the invariant subspace
    TOPOLOGY AND ITS APPLICATIONS, vol. 87, 105-115 (1998)
  • Jacek Tabor,
    Oscillations in Banach spaces and positive operators
    J. Differential Equations 144, 219-232 (1998)
  • Jacek Tabor,
    Oscillations in Banach spaces. Proceedings of the Conference ``Topological Methods in Differential Equations and Dynamical Systems'' (Kraków-Przegorzały, 1996).
    Univ. Iagel. Acta Math. 36, 247-248 (1998)
  • Jacek Tabor, Józef Tabor,
    Stability of the Cauchy equation on an interval
    Aequationes Math. 55, 153-176 (1998)
1997
  • T. Kaczynski, M. Mrozek,
    Connected simple systems and the Conley functor
    Topol. Methods Nonlin. Anal., 183-193 (1997)
  • T. Kaczynski, M. Mrozek,
    Stable index pairs for discrete dynamical systems
    Bulletin Canadian Math. Soc., 448-455 (1997)
  • Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc,
    Schwichtenberg style lambda definability is undecidable
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 1210, 267-283 (1997)
  • M. Mrozek, J. Urbaniec,
    Evolution of Mathematical Proof
    Foundations of Science, 77-85 (1997)
  • M. Mrozek, M. Żelawski,
    Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof
    Reliable Computing, 277-285 (1997)
  • M. Mrozek, M. Żelawski,
    Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof
    Reliable Computing, 3, 277-285 (1997)
  • Jacek Tabor,
    Lipschitz stability of the Cauchy and Jensen equations
    Results Math. 32, 133-144 (1997)
  • Jacek Tabor,
    Stability of the Cauchy equation with variable bound
    Publ. Math. Debrecen 51, 165-173 (1997)
  • P. Zgliczyński,
    Computer assisted proof of chaos in the Henon map and in the Rossler equations
    Nonlinearity 10, 243-252 (1997)
  • P. Zgliczyński,
    Computer assisted proof of the horseshoe dynamics in the Henon map
    Random and Computational Dynamics, Vol. 5, 1-19 (1997)
1996
  • Paweł Gniadek,
    On reconstruction of polynomial automorphisms
    Annales Polonici Mathematici, vol. 64, 61-69 (1996)
  • M. Mrozek,
    Inheritable properties and computer assisted proofs in dynamics
    Scientific Computing and validated numerics, G. Alefeld, A. Frommer and B. Lang editors, Akademie Verlag, Berlin , 245-253 (1996)
  • M. Mrozek,
    Rigorous error analysis of numerical algorithms via symbolic computations
    J. Symb. Comp., 435-458 (1996)
  • M. Mrozek,
    Topological invariants, multivalued maps and computer assisted proofs
    Computers and Mathematics with Appl., 83-104 (1996)
  • M. Mrozek,
    The Conley Index and Rigorous Numerics,
    Nonlinear Analysis and Boundary Value Problems for Ordinary Differential Equations, CISM Courses ans Lectures, Vol. 371 , 175-196 (1996)
  • A. Sitarz, P. Zgliczyński,
    On a Matched Pair of Lie Groups for the $\kappa$-Poincar\'e in 2-Dimensions
    Mathematical Physics Electronic Journal, Vol. 2, pp. 8 (1996)
  • Jacek Tabor,
    Hosszú's functional equation on the unit interval is not stable
    Publ. Math. Debrecen 49, 335-340 (1996)
  • Jacek Tabor,
    Stability of the Cauchy equation on a restricted domain
    Publ. Math. Debrecen 49, 69-76 (1996)
  • P. Zgliczyński,
    An existence theorem for perturbation of nonlinear functional boundary value problems for ODE's
    Rivista di Matematica Pura e Applicata 19, 101-105 (1996)
  • P. Zgliczyński,
    Fixed point index for iterations, topological horseshoe and chaos
    Topological Methods in Nonlinear Analysis, Vol. 8, 169-177 (1996)
1995
  • T. Kaczynski, M. Mrozek,
    Conley index for discrete multivalued dynamical systems
    Topology & its Appl., 83-96 (1995)
  • Ch. McCord, K. Mischaikow, M. Mrozek,
    Zeta Functions, Periodic Trajectories and the Conley Index
    J. Diff. Equ, 258-292 (1995)
  • K. Mischaikow, M. Mrozek,
    Chaos in Lorenz equations: a computer assisted proof
    Bull. Amer. Math. Soc. (N.S.), 66-72 (1995)
  • K. Mischaikow, M. Mrozek,
    Isolating neighborhoods and chaos
    Jap. J. Ind. and Appl. Math., 205-236 (1995)
  • M. Mrozek,
    From the Theorem of Ważewski to computer assisted proofs in dynamics
    Panoramas of Mathematics, Banach Center Publications, Vol. 34 , 105-120 (1995)
  • M. Mrozek,
    Rigorous numerics of chaotic dynamical suystems
    Lect. Notes in Physic, 283-296 (1995)
  • Jacek Tabor,
    On the division by Rn
    Aequationes Math. 49, 300-303 (1995)
  • Jacek Tabor, Józef Tabor,
    On a linear iterative equation
    Results Math. 27, 412-421 (1995)
  • P. Zgliczyński,
    On dynamical System with an Integral Invariant on the Torus
    Univ. Iag. Acta Math. XXXII, 157-174 (1995)
1994
  • M. Mrozek,
    Shape index and other indices of Conley type for continuous maps in locally compact metric spaces
    Fundamenta Mathematicae, 15-37 (1994)
  • Jacek Tabor, Józef Tabor,
    Homogeneity is superstable
    Publ. Math. Debrecen, 123-130 (1994)
1993
  • M. Degiovanni, M. Mrozek,
    The Conley index for maps in absence of compactness
    Proc. Royal Soc. Edinburgh, 75-94 (1993)
  • Marian Mrozek, Roman Srzednicki,
    On time-duality of the Conley index
    , (1993)
1992
  • Małgorzata Moczurad,
    Lambda-Representability of Integer, Word and Tree Functions
    FUNDAMENTA INFORMATICAE, vol. 17/3, 253-270 (1992)
  • M. Mrozek,
    Normal Functors and Retractors in Categories of Endomorphisms
    Univ. Iag. Acta Math., 181-198 (1992)
  • M. Mrozek, K.P. Rybakowski,
    Discretized ordinary differential equations and the Conley index
    J. of Dynamics and Differential Equations, 57-63 (1992)
1991
  • M. Mrozek,
    The Morse Equation in Conley's Index Theory for Homeomorphisms
    Topology and its Applications, 45-60 (1991)
  • M. Mrozek, K.P. Rybakowski,
    A cohomological Conley index for maps on metric spaces
    Journal of Diff. Equations, 143-171 (1991)
  • M. Mrozek, K.P. Rybakowski,
    Nontrivial full bounded solutions of time-periodic semilinear PDEs
    Proc. Roy. Soc. Edinburgh, 305-315 (1991)
  • M. Mrozek,
    Some Remarks on the Garay's Conjecture
    Acta Math. Hungarica, 53-59 (1991)
1990
  • M. Mrozek,
    A cohomological index of Conley type for multivalued admissible flows
    J. Diff. Equations, 15-51 (1990)
  • M. Mrozek,
    Leray Functor and the Cohomological Conley Index for Discrete Time Dynamical Systems
    Transactions of the Amer. Math. Soc., 149-178 (1990)
  • M. Mrozek,
    Open index pairs, the fixed point index and rationality of zeta functions
    Erg. Th. and Dyn. Syst., 555-564 (1990)
  • M. Mrozek,
    The Conley index on compact ANR's is of finite type
    Results in Mathematics, 306-313 (1990)
1989
  • M. Mrozek,
    Index pairs and the Fixed Point Index for Semidynamical Systems with Discrete Time
    Fund. Mathematicae, 177-192 (1989)
  • M. Mrozek,
    Transitively Reduced and Transitively Closed Event Networks
    Networks, 47-72 (1989)
1988
  • M. Mrozek,
    Periodic and Stationary Trajectories of Flows and Ordinary Differential Equations
    Univ. Iag. Acta Math., 29-37 (1988)
  • M. Mrozek,
    The Fixed Point Index of a Translation Operator of a Semiflow
    Univ. Iag. Acta Math., 13-22 (1988)
  • Marian Mrozek, Roman Srzednicki,
    The continuity axiom in multi-valued dynamical systems
    , (1988)
1987
  • M. Mrozek,
    Strongly Isolating Invariant Sets and Strongly Isolating Blocks
    Bull. Acad. Pol. Sc. Ser. Sci. Math., 1-2 (1987)
1984
  • M. Mrozek,
    A Note on Minimum-Dummy-Activities PERT Networks
    RAIRO Rech. Oper., 415-421 (1984)
  • Marian Mrozek, Marek Zaionc,
    A computer model of evolution and ecological processes
    Modeling, Simulation & Control C, 59-63 (1984)
1981
  • M. Mrozek,
    Generalized Inverse of a Finite Graph
    Fund. Inform., 499-509 (1981)
  • M. Mrozek, M. Zaionc,
    Simulation model of evolution in a simplified ecological system
    Wiad. Ekol., 49-59 (1981)
1979
  • M. Mrozek,
    Inverse Limits of Torus-Groups and Minimal Sets of some Almost Periodic Continuous Flows
    Zesz. Nauk. UJ, Pr. Mat., 29-50 (1979)
  • Paweł Dłotko, Bernard Kapidani, Specogna Ruben,
    Fast computation of cuts with reduced support by solving maximum circulation problems
    IEEE T MAGN, ()
  • K. Mischaikow, Marian Mrozek, S. Harker, V. Nanda,
    Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps
    FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, ()
  • Marian Mrozek, Roman Srzednicki,
    On a generalization of the Conley index
    , ()
  • Piotr Zgliczyński,
    Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Henon map
    NONLINEARITY, vol. 14, 909-932 ()
Division of Computational Mathematics, Institute of Computer Science, Łojasiewicza 6, 30-348 Kraków, Poland