Back to the list of the institutes
Publications
Journal: Fundamenta Informaticae
Number of publications: 1112023
- David Barozzini, Lorenzo Clemente , Thomas Colcombet, Paweł Parys , Cost Automata, Safe Schemes, and Downward Closures, Fundamenta Informaticae, 188 (3) 2023, p. 127-178. See in PBN
2022
- Olivier Finkel, Michał Skrzypczak , On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words, Fundamenta Informaticae, 183 (3-4) 2022, p. 243-291. See in PBN
2021
- Piotr Hofman , Michał Skrzypczak , Preface, Fundamenta Informaticae, 180 (4) 2021, p. i-ii. See in PBN
- Dominik Ślęzak , Tzung-Pei Hong, Leon S.L. Wang, Preface: Information Granulation in Data Science and Scalable Computing, Fundamenta Informaticae, 182 (2) 2021, p. i-ii. See in PBN
2020
- Eryk Kopczyński , Axiomatizing Rectangular Grids with no Extra Non-unary Relations, Fundamenta Informaticae, 176 (2) 2020, p. 129-138. See in PBN
- Markus Hittmeir, Jacek Pomykała , Deterministic Integer Factorization with Oracles for Euler’s Totient Function, Fundamenta Informaticae, 172 (1) 2020, p. 39-51. See in PBN
2019
- Justyna Grudzińska-Zawadowska, Marek Zawadowski , Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches, Fundamenta Informaticae, 164 (4) 2019, p. 327-344. See in PBN
- Marek Zawadowski , co-Semi-analytic Functors, Fundamenta Informaticae, 164 (4) 2019, p. 359-373. See in PBN
- Robert Dryło, Jacek Pomykała , Jacobians of Hyperelliptic Curves over Z(n) and Factorization of n, Fundamenta Informaticae, 2019. See in PBN
- Marcin Michalak, Dominik Ślęzak , On boolean representation of continuous data biclustering, Fundamenta Informaticae, 167 (3) 2019, p. 193-217. See in PBN
2018
- Anna Gambin , Monika Heiner, Advances in Biological processes and Petri nets (BioPPN) Preface, Fundamenta Informaticae, 160 (1-2) 2018, p. v-vii. See in PBN
- Marcin Michalak, Dominik Ślęzak , Boolean representation for exact biclustering, Fundamenta Informaticae, 161 (3) 2018, p. 275-297. See in PBN
- Anh Linh Nguyen , Computing Bisimulation-Based Comparisons, Fundamenta Informaticae, 157 (4) 2018, p. 385-401. See in PBN
- Barbara Dunin-Kęplicz , Alina Strachocka, Multi-party persuasion: a paraconsistent approach., Fundamenta Informaticae, 158 (1-3) 2018, p. 1-39. See in PBN
- Szymon Grabowski, Tomasz Kociumaka, Jakub Radoszewski , On Abelian Longest Common Factor with and without RLE, Fundamenta Informaticae, 2018. See in PBN
- Grzegorz Bokota, Marek Grabowski, Andrzej M. Kierzek, Jacek Sroka , Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism, Fundamenta Informaticae, 160 (1-2) 2018, p. 199-219. See in PBN
2017
- Eryk Kopczyński , Computational Complexity on the Blackboard, Fundamenta Informaticae, 152 (4) 2017, p. 323-339. See in PBN
- Damian Niwiński , Stella Orłowska, Helena Rasiowa's Heritage in Mathematical Logic, Fundamenta Informaticae, 156 (3-4) 2017, p. i-ii. See in PBN
- Mikołaj Bojańczyk , It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton, Fundamenta Informaticae, 154 (1-4) 2017, p. 37-46. See in PBN
- Konrad Durnoga, Jacek Pomykała , Large sieve, Miller-Rabin compositeness witnesses and integer factoring problem, Fundamenta Informaticae, 156 (2) 2017, p. 179-185. See in PBN
- Jan Hidders, Jacek Sroka , On Determining the AND-OR Hierarchy in Workflow Nets, Fundamenta Informaticae, 156 (1) 2017, p. 95-123. See in PBN
- Jacek Pomykała , On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group, Fundamenta Informaticae, 152 (3) 2017, p. 289-295. See in PBN
2016
- Anh Linh Nguyen , A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic, Fundamenta Informaticae, 2016. See in PBN
- Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic, Fundamenta Informaticae, 2016. See in PBN
- Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel , Preface, Fundamenta Informaticae, 2016. See in PBN
- Davide Ciucci, Marcin Wolski, Dominik Ślęzak , Preface, Fundamenta Informaticae, 2016. See in PBN
- Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel , Preface, Fundamenta Informaticae, 2016. See in PBN
- Chris Cornelis, Hung Son Nguyen , Sankar K. Pal, Andrzej Skowron, Wei-Zhi Wu, Preface: Special issue on rough sets and fuzzy sets, Fundamenta Informaticae, 2016. See in PBN
- Jacek Pomykała , Small generating sets and DLPC Problem, Fundamenta Informaticae, 2016. See in PBN
2015
- Robert Dąbrowski, Wojciech Plandowski , Complete characterization of zero-expressible functions, Fundamenta Informaticae, 2015. See in PBN
- Wojciech Czerwiński , Tomasz Gogacz, Eryk Kopczyński , Non-dominating Sequences of Vectors Using only Resets and Increments, Fundamenta Informaticae, 2015. See in PBN
- Konrad Durnoga, Bartosz Źrałek , On Computing Discrete Logarithms in Bulk and Randomness Extractors, Fundamenta Informaticae, 2015. See in PBN
- Piotr Chrząstowski-Wachtel, Jan Hidders, Jacek Sroka , On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality, Fundamenta Informaticae, 2015. See in PBN
- William Kwok-Wai Cheung, Benjamin C. M. Fung, Dominik Ślęzak , Preface, Fundamenta Informaticae, 2015. See in PBN
- Michał Meina, Hung Son Nguyen , Search Result Clustering Based on Query Context., Fundamenta Informaticae, 2015. See in PBN
2014
- Krzysztof Kaczmarski, Piotr Przymus, Krzysztof Stencel , A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans, Fundamenta Informaticae, 2014. See in PBN
- Joanna Golińska-Pilarek, Anh Linh Nguyen , An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ, Fundamenta Informaticae, 2014. See in PBN
- Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Thanh-Luong Tran, Bisimulation-Based Concept Learning in Description Logics, Fundamenta Informaticae, 2014. See in PBN
- Andrzej Janusz , Hung Son Nguyen , Adam Krasuski, Wojciech Świeboda, Interactive Method for Semantic Document Indexing Based on Explicit Semantic Analysis, Fundamenta Informaticae, 132 (3) 2014, p. 423-438. See in PBN
- Hongmei Chen, Tianrui Li, Hung Son Nguyen , Jingtao Yao, Preface: Special Issue in Advances on Rough Sets and Knowledge Technology, Fundamenta Informaticae, 2014. See in PBN
- Hung Son Nguyen , Chi Mai Luong, Piuri Vincenzo, Preface: Special Issue in Computing and Communication Technologies., Fundamenta Informaticae, 130 (2) 2014. See in PBN
- Krzysztof Stencel , Piotr Wiśniewski, Universal Query Language for Unified State Model, Fundamenta Informaticae, 2014. See in PBN
2013
- Hung Son Nguyen , Thi Sinh Hoa Nguyen, Tuan Nguyen, Marcin Szczuka, An Approach to Pattern Recognition Based on Hierarchical Granular Computing, Fundamenta Informaticae, 2013. See in PBN
- Patrick Doherty, Andrzej Szałas , Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination, Fundamenta Informaticae, 2013. See in PBN
- Hung Son Nguyen , Gloria Virginia, Lexicon-based Document Representation,, Fundamenta Informaticae, 2013. See in PBN
- Robert Dąbrowski, Krzysztof Stencel , Grzegorz Timoszuk, One Graph to Rule Them All Software Measurement and Management, Fundamenta Informaticae, 2013. See in PBN
- Jan Van den Bussche, Jan Hidders, Paolo Missier, Jacek Sroka , Preface, Fundamenta Informaticae, 2013. See in PBN
- Hung Son Nguyen , Andrzej Skowron, Guoyin Wang, Jingtao Yao, Preface, Fundamenta Informaticae, 2013. See in PBN
- Dominik Ślęzak , Marcin Szczuka, Hung Son Nguyen , Preface, Fundamenta Informaticae, 2013. See in PBN
- Jacek Sroka , Jan Van den Bussche, Jan Hidders, Paolo Missier, Preface, Fundamenta Informaticae, 128 (3) 2013. See in PBN
- Piotr Synak, A. Wojna, Jakub Wróblewski, Dominik Ślęzak , Two Database Related Interpretations of Rough Approximations: Data Organization and Query Execution, Fundamenta Informaticae, 2013. See in PBN
2012
- Marta Burzańska, Krzysztof Stencel , Piotr Wiśniewski, The Impedance Mismatch in Light of the Unified State Model, Fundamenta Informaticae, 2012. See in PBN
- Szczepan Hummel, Michał Skrzypczak , The Topological Complexity of MSO+U and Related Automata Models, Fundamenta Informaticae, 2012. See in PBN
- Andrzej Janusz , Hung Son Nguyen , Dominik Ślęzak , Unsupervised Similarity Learning from Textual Data, Fundamenta Informaticae, 2012. See in PBN
- Paweł Leszczyński, Krzysztof Stencel , Update Propagator for Joint Scalable Storage, Fundamenta Informaticae, 2012. See in PBN
2010
- T.R. Hvidste, Bartosz Wilczyński , A Computer Scientist's Guide to the Regulatory Genome, Fundamenta Informaticae, 2010. See in PBN
- Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , A Framework for Graded Beliefs, Goals and Intentions, Fundamenta Informaticae, 2010. See in PBN
- Norbert Dojer , An Efficient Algorithm for Learning Bayesian Networks from Data, Fundamenta Informaticae, 2010. See in PBN
- Miron Kursa, Aleksander Jankowski , Witold Rudnicki, Boruta – A System for Feature Selection, Fundamenta Informaticae, 101 (4) 2010, p. 271–285. See in PBN
- Anh Linh Nguyen , Andrzej Szałas , Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, Fundamenta Informaticae, 2010. See in PBN
- Jerzy Tyszkiewicz , Complexity of Type Inference, Fundamenta Informaticae, 2010. See in PBN
- Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, M. Sohel Rahman, Tomasz Waleń , Finding Patterns In Given Intervals, Fundamenta Informaticae, 2010. See in PBN
- Anh Linh Nguyen , Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity, Fundamenta Informaticae, 2010. See in PBN
- Paweł Górecki , H-trees: a Model of Evolutionary Scenarios with Horizontal Gene Transfer, Fundamenta Informaticae, 2010. See in PBN
- Anna Gambin , Bogusław Kluge, Modeling Proteolysis from Mass Spectrometry Proteomic Data, Fundamenta Informaticae, 2010. See in PBN
- Mikołaj Bojańczyk , Damian Niwiński , Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak , On the Borel Complexity of MSO Definable Sets of Branches, Fundamenta Informaticae, 2010. See in PBN
- Anna Gambin , Damian Niwiński , Paweł Urzyczyn , Preface, Fundamenta Informaticae, 2010. See in PBN
- Paweł Urzyczyn , The Logic of Persistent Intersection, Fundamenta Informaticae, 2010. See in PBN
2009
- Anh Linh Nguyen , An Efficient Tableau Prover using Global Caching for the Description Logic ALC, Fundamenta Informaticae, 2009. See in PBN
- Rajeev Gore, Anh Linh Nguyen , Clausal Tableaux for Multimodal Logics of Belief, Fundamenta Informaticae, 2009. See in PBN
- Jan Małuszyński, Andrzej Szałas , Aida Vitória, Modeling and Reasoning with Paraconsistent Rough Sets, Fundamenta Informaticae, 2009. See in PBN
- Witold Rudnicki, Aleksander Jankowski , Aleksander Modzelewski, Aleksander Piotrowski, Adam Zadrożny, The new SIMD implementation of the Smith-Waterman algorithm on Cell microprocessor, Fundamenta Informaticae, 96 (1-2) 2009, p. 181–194. See in PBN
- J. Hidders, Jacek Sroka , Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae, 2009. See in PBN
- J. Hidders, Jacek Sroka , Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae, 2009. See in PBN
2007
- P. Doherty, Andrzej Szałas , A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning, Fundamenta Informaticae, 2007. See in PBN
- Barbara Dunin-Kęplicz , Marcin Dziubiński , Rineke Verbrugge, Complexity issues in multiagent logics, Fundamenta Informaticae, 2007. See in PBN
- A. Arnold, Damian Niwiński , Continuous Separation of Game Languages, Fundamenta Informaticae, 2007. See in PBN
- Anh Linh Nguyen , Foundations of Modal Deductive Databases, Fundamenta Informaticae, 2007. See in PBN
- Łukasz Bolikowski, Anna Gambin , New Metrics for Phylogenies, Fundamenta Informaticae, 2007. See in PBN
2006
- Sławomir Barabasz, Jacek Pomykała , Eliptic Curve Based Threshold Proxy Signature Scheme with Known Signers, Fundamenta Informaticae, 2006. See in PBN
- P. Claire, Hung Son Nguyen , Thi Sinh Hoa Nguyen, Trung Nguyen, J. Paddon, Derek Willis, Learning sunspot classification, Fundamenta Informaticae, 2006. See in PBN
- Anh Linh Nguyen , Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming, Fundamenta Informaticae, 2006. See in PBN
2004
- J. Bazan, Hung Son Nguyen , Marcin Szczuka, A view on rough set concept approximations, Fundamenta Informaticae, 2004. See in PBN
- Norbert Dojer , Applying term rewriting to partial algebra theory, Fundamenta Informaticae, 2004. See in PBN
- M. Karpinski, Mirosław Kowaluk , A. Lingas, Approximation Algorithms for MAX-BISECTION on Low Degree Regular Graphs, Fundamenta Informaticae, 2004. See in PBN
- Barbara Dunin-Kęplicz , Rieneke Verbrugge, Tuning machine for Cooperative Problem Solving, Fundamenta Informaticae, 2004. See in PBN
2003
- Anh Linh Nguyen , A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs, Fundamenta Informaticae, 2003. See in PBN
- Barbara Dunin-Kęplicz , R. Verbrugge, Evolution of Collective Commitment during Teamwork, Fundamenta Informaticae, 2003. See in PBN
- Barbara Dunin-Kęplicz , Rieneke Verbrugge, Evolution of collective commitments during teamwork, Fundamenta Informaticae, 2003. See in PBN
- Maxime Crochemore, Costas Iliopoulos, Thierry Lecroq, Yoan Pinzon, Wojciech Plandowski , Wojciech Rytter , Occurrence and substring heuristics for delta-matching, Fundamenta Informaticae, 2003. See in PBN
- M. Crochemore, C.S. Iliopoulos, T. Lecroq, Y.J. Pinzon, W. Plandowski, Wojciech Rytter , Occurrence and Substring Heuristics for [ro]-Matching, Fundamenta Informaticae, 2003. See in PBN
- Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szałas , Preface, Fundamenta Informaticae, 2003. See in PBN
- P. Doherty, M. Grabowski, Andrzej Szałas , W. Łukaszewicz, Towards a Framework for Approximate Ontologies, Fundamenta Informaticae, 2003. See in PBN
2002
- Dominik Ślęzak , Approximate Entropy Reducts, Fundamenta Informaticae, 2002. See in PBN
- Barbara Dunin-Kęplicz , R. Verbrugge, Collective intentions, Fundamenta Informaticae, 2002. See in PBN
2001
- Jerzy Tyszkiewicz , Computability by Sequences of Queries, Fundamenta Informaticae, 2001. See in PBN
- M Dietzfelbiner, A. Gambin, Sławomir Lasota , On different models for packet flow in Multistage Interconnection Networks, Fundamenta Informaticae, 2001. See in PBN
- Hung Son Nguyen , On Efficient Handling of Continuous Attributes in Large Data Bases, Fundamenta Informaticae, 2001. See in PBN
- Anh Linh Nguyen , The modal query language MDatalog, Fundamenta Informaticae, 2001. See in PBN
2000
- Anh Linh Nguyen , Constructing the Least Models for Positive Modal Logic Programs, Fundamenta Informaticae, 2000. See in PBN
- Dominik Ślęzak , Normalized Decision Functions and Measures for Inconsistent Decision Tables Analysis, Fundamenta Informaticae, 2000. See in PBN
1999
- P Doherty, J Kachniarz, Andrzej Szałas , Meta-queries on deductive databases, Fundamenta Informaticae, 1999. See in PBN
- Hung Son Nguyen , Thi Sinh Hoa Nguyen, Rough Sets and Association rule Generation, Fundamenta Informaticae, 1999. See in PBN
1998
- P. Doherty, Andrzej Szałas , Witold Łukaszewicz, General Domain Circumscription and its effective reductions, Fundamenta Informaticae, 1998. See in PBN
1996
- Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, A Reduction Result for Circumscribed Semi-Horn Formulas, Fundamenta Informaticae, 1996. See in PBN
- Andrzej Szałas , On Natural Deduction in First-Order Fixpoint Logics, Fundamenta Informaticae, 1996. See in PBN
1992
- Andrzej Ehrenfeucht, Marek Zawadowski , A representation of partial Boolean algebras, Fundamenta Informaticae, 1992. See in PBN
1989
- Uwe Petermann, Andrzej Szałas , On Temporal Logic for Distributed Systems and Its Application to Processes Communicating by Interrupts, Fundamenta Informaticae, 1989. See in PBN
1988
- Andrzej Szałas , Towards the Temporal Approach to Abstract Data Types, Fundamenta Informaticae, 1988. See in PBN
1984
- Andrzej Szałas , On an Application of Algorithmic Theory of Stacks, Fundamenta Informaticae, 1984. See in PBN
1981
- Andrzej Szałas , Algorithmmic Logic with Recursive Functions, Fundamenta Informaticae, 1981. See in PBN