Publications
This list is automatically generated from ORCID records.
2025
Algorithms to prove the maximum number of MUBs in arbitrary dimension Quantum Information Processing (2025)
DOI
Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms arXiv preprint arXiv:2505.09640 (2025)
2024
LOCC convertibility of entangled states in infinite-dimensional systems New Journal of Physics (2024)
DOI
Axiomatization of XPath with general data comparison Journal of Applied Non Classical Logics (2024)
DOI
Extending Schmidt vector from pure to mixed states for characterizing entanglement APL Quantum (2024)
DOI
Challenges in certifying quantum teleportation: Moving beyond the conventional fidelity benchmark Physical Review A (2024)
DOI
Computational Complexity of Preferred Subset Repairs on Data-Graphs arXiv preprint arXiv:2402.09265 (2024)
Quantum computational complexity of matrix functions arXiv preprint arXiv:2410.13937 (2024)
The distributional uncertainty of the shap score in explainable machine learning ECAI 2024 (2024)
2023
Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension Arxiv (2023)
DOI
Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics Arxiv (2023)
DOI
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse Proceedings Symposium on Logic in Computer Science (2023)
DOI
Complementarity between quantum coherence and mixedness: a majorization approach Communications in Theoretical Physics (2023)
DOI
Simultaneous quantum estimation of phase and indistinguishability in a two-photon interferometer Journal of the Optical Society of America B (2023)
DOI
Parameterizing density operators with arbitrary symmetries to gain advantage in quantum state estimation Physica A: Statistical Mechanics and its Applications (2023)
DOI
Segmentation of quantum generated sequences by using the Jensen–Shannon divergence Physica A: Statistical Mechanics and its Applications (2023)
DOI
An epistemic approach to model uncertainty in data-graphs International Journal of Approximate Reasoning (2023)
Complexity of solving a system of difference constraints with variables restricted to a finite set Information Processing Letters (2023)
Data-graph repairs: the preferred approach arXiv preprint arXiv:2304.00931 (2023)
On the complexity of finding set repairs for data-graphs Journal of Artificial Intelligence Research (2023)
Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension arXiv preprint arXiv:2309.12399 (2023)
2022
A logical framework to study concept-learning biases in the presence of multiple explanations Behavior Research Methods (2022)
DOI
MaxEnt principle and reduced density matrix estimation Physica A: Statistical Mechanics and its Applications (2022)
DOI
Parameterizing density operators with arbitrary symmetries to gain advantage in quantum state estimation arXiv (2022)
DOI
Performance of the quantum MaxEnt estimation in the presence of physical symmetries Quantum Information Processing (2022)
DOI
2021
A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans Plos Computational Biology (2021)
DOI
Generalized coherence vector applied to coherence transformations and quantifiers Physical Review A (2021)
DOI
Partial orbits of quantum gates and full three-particle entanglement Quantum Information Processing (2021)
DOI
Performance of the quantum MaxEnt estimation in the presence of physical symmetries arXiv (2021)
DOI
2020
Impossibility of memory in hidden-signaling models for quantum correlations Physical Review A (2020)
DOI
Extremal elements of a sublattice of the majorization lattice and approximate majorization Journal of Physics A: Mathematical and Theoretical (2020)
DOI
Finite controllability for ontology-mediated query answering of crpq 17th International Conference on Principles of Knowledge Representation and Reasoning Kr 2020 (2020)
Towards a more flexible language of thought: Bayesian grammar updates after each concept exposure Physical Review E (2020)
DOI
2019
Closure properties of synchronized relations Leibniz International Proceedings in Informatics Lipics (2019)
DOI
Representation of spatial sequences using nested rules in human prefrontal cortex Neuroimage (2019)
DOI
Generalized contexts for quantum histories Quantum Worlds: Perspectives on the Ontology of Quantum Mechanics (2019)
Hermite–Gaussian model for quantum states Physica A: Statistical Mechanics and its Applications (2019)
DOI
Solutions for the MaxEnt problem with symmetry constraints Quantum Information Processing (2019)
DOI
2018
The lattice of trumping majorization for 4D probability vectors and 2D catalysts Scientific Reports (2018)
DOI
Polarization monotones of two-dimensional and three-dimensional random electromagnetic fields Physical Review A (2018)
DOI
Algorithmic identification of probabilities is hard Journal of Computer and System Sciences (2018)
DOI
Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought Arxiv (2018)
DOI
Generalized entropies in quantum and classical statistical theories European Physical Journal: Special Topics (2018)
DOI
On an explicit representation of the Łukasiewicz sum as a quantum operation Soft Computing (2018)
DOI
Contrary quantum histories and contrary inferences Physica A: Statistical Mechanics and its Applications (2018)
DOI
Dynamics of algebras in quantum unstable systems International Journal of Modern Physics A (2018)
DOI
Histories in quantum mechanics: distinguishing between formalism and interpretation European Journal for Philosophy of Science (2018)
DOI
Quantum histories and correlations in quantum measurements Quantum Information Processing (2018)
DOI
2017
Approximate transformations of bipartite pure-state entanglement from the majorization lattice Physica A: Statistical Mechanics and its Applications (2017)
DOI
Lossless quantum data compression with exponential penalization: An operational interpretation of the quantum Rényi entropy Scientific Reports (2017)
DOI
Logics of repeating values on data trees and branching counter systems Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2017)
DOI
Model theory of XPath on data trees. Part II: Binary bisimulation and definability Information and Computation (2017)
DOI
Nonsignaling Deterministic Models for Nonlocal Correlations have to be Uncomputable Physical Review Letters (2017)
DOI
The language of geometry: Fast comprehension of geometrical primitives and rules in human adults and preschoolers Plos Computational Biology (2017)
DOI
A Quantum-inspired Version of the Classification Problem International Journal of Theoretical Physics (2017)
DOI
On the interpretation of probabilities in generalized probabilistic models Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017)
DOI
2016
Unified entropic measures of quantum correlations induced by local measurements Physica A: Statistical Mechanics and its Applications (2016)
DOI
Bisimulations on data graphs Proceedings of the International Conference on Knowledge Representation and Reasoning (2016)
A family of generalized quantum entropies: definition and properties Quantum Information Processing (2016)
DOI
Comment on "quantum Kaniadakis entropy under projective measurement" Physical Review E - Statistical, Nonlinear, and Soft Matter Physics (2016)
DOI
Entropic measures of joint uncertainty: Effects of lack of majorization Physica A: Statistical Mechanics and its Applications (2016)
DOI
The Measurement Process in the Generalized Contexts Formalism for Quantum Histories International Journal of Theoretical Physics (2016)
DOI
2015
Classical extension of quantum-correlated separable states International Journal of Quantum Information (2015)
DOI
Quantum state space dimension as a quantum resource International Journal of Quantum Information (2015)
DOI
Linearizing well quasi-orders and bounding the length of bad sequences Theoretical Computer Science (2015)
DOI
Model theory of XPath on data trees. Part I: Bisimulation and characterization Journal of Artificial Intelligence Research (2015)
DOI
Normality in non-integer bases and polynomial time randomness Journal of Computer and System Sciences (2015)
DOI
Saturation, definability, and separation for X path on data trees Ceur Workshop Proceedings (2015)
A Semiclassical Condition for Chaos Based on Pesin Theorem International Journal of Theoretical Physics (2015)
DOI
2014
Comment on Quantum discord through the generalized entropy in bipartite quantum states European Physical Journal D (2014)
DOI
Quantum correlations from classically correlated states Physica A: Statistical Mechanics and its Applications (2014)
DOI
A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings Proceedings of the 2014 Latin American Computing Conference Clei 2014 (2014)
DOI
Characterization, definability and separation via saturated models Theoretical Computer Science (2014)
DOI
Definability for downward and vertical XPath on data trees Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2014)
DOI
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Journal of Computer and System Sciences (2014)
DOI
General entropy-like uncertainty relations in finite dimensions Journal of Physics A: Mathematical and Theoretical (2014)
DOI
Geometric approach to extend Landau-Pollak uncertainty relations for positive operator-valued measures Physical Review A - Atomic, Molecular, and Optical Physics (2014)
DOI
Geometric formulation of the uncertainty principle Physical Review A - Atomic, Molecular, and Optical Physics (2014)
DOI
2013
19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012) Bulletin of Symbolic Logic (2013)
DOI
19th workshop on logic, language, information and computation (WoLLIC 2012) Bulletin of Symbolic Logic (2013)
DOI
LT 2 C 2 : A language of thought with Turing-computable Kolmogorov complexity Papers in Physics (2013)
DOI
On a generalized entropic uncertainty relation in the case of the qubit Journal of Physics A: Mathematical and Theoretical (2013)
DOI
On the connection between complementarity and uncertainty principles in the Mach-Zehnder interferometric setting Physica Scripta (2013)
DOI
Probabilities for time-dependent properties in classical and quantum mechanics Physical Review A - Atomic, Molecular, and Optical Physics (2013)
DOI
The Formalism of Generalized Contexts and Decay Processes International Journal of Theoretical Physics (2013)
DOI
2012
Linearizing bad sequences: Upper bounds for the product and majoring well quasi-orders Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2012)
DOI
Collision entropy and optimal uncertainty Physical Review A - Atomic, Molecular, and Optical Physics (2012)
DOI
2011
On the effect of noise and electronics bandwidth on a stochastic-resonance memory device AIP Conference Proceedings (2011)
DOI
Ackermannian and primitive-recursive bounds with Dickson's Lemma Proceedings Symposium on Logic in Computer Science (2011)
DOI
Basic model theory for memory logics Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2011)
DOI
On the expressive power of IF-logic with classical negation Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2011)
DOI
Using logic in the generation of referring expressions Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2011)
DOI
Comment on "Improved bounds on entropic uncertainty relations" Physical Review A - Atomic, Molecular, and Optical Physics (2011)
DOI
2010
Counting the changes of random Δ02 sets Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2010)
DOI
On the size of shortest modal descriptions Advances in Modal Logic 2006 (2010)
2009
Completeness results for memory logics Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2009)
DOI
2008
Expressive power and decidability for memory logics Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2008)
DOI
On the formal semantics of IF-like logics Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2008)
DOI
2007
2006
Classical computability and fuzzy Turing machines Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (2006)
DOI
Lowness properties and approximations of the jump Electronic Notes in Theoretical Computer Science (2006)
DOI
2005
Kolmogorov complexity for possibly infinite computations Journal of Logic Language and Information (2005)
DOI
Program size complexity for possibly infinite computations Notre Dame Journal of Formal Logic (2005)
DOI