| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Bernardinello, Jetty Kleijn, Laure Petrucci |
Preface.  |
Fundam. Informaticae  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Arturo Jiménez González |
A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type r. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Luise Mannel, Wil M. P. van der Aalst |
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy |
Correctness Notions for Petri Nets with Identifiers. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Pranay Agrawal |
Waiting Nets: State Classes and Taxonomy. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sizhong Zhou, Jiancheng Wu |
Two Sufficient Conditions for Graphs to Admit Path Factors. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Chavdar Dangalchev |
Link Residual Closeness of Harary Graphs. |
Fundam. Informaticae |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez |
A Generalization of Falsity in Finitely-many Valued Logics. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunal Abhishek, E. George Dharma Prakash Raj |
On Random Number Generation for Kernel Applications. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Nachum Dershowitz, Alexander Rabinovich |
Preface. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle |
Unfoldings and Coverings of Weighted Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky |
Structure and Power: an Emerging Landscape. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ireneusz Mrozek, Nikolai A. Shevchenko, Vyacheslav N. Yarmolik |
Universal Address Sequence Generator for Memory Built-in Self-test. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
Computing Parameterized Invariants of Parameterized Petri Nets. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Herman Geuvers, Rob Nederpelt |
Characteristics of de Bruijn's early proof checker Automath. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Ronny Tredup |
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Arturo Jiménez González |
Coxeter Invariants for Non-negative Unit Forms of Dynkin Type r. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys |
Cost Automata, Safe Schemes, and Downward Closures. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ester M. Garzón, José Antonio Martínez, Juan J. Moreno, María Luz Puertas |
On the 2-domination Number of Cylinders with Small Cycles. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyang-Sook Lee, Seongan Lim, Ikkwon Yie, Aaram Yun |
On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazim Fatès, Irène Marcovici, Siamak Taati |
Self-stabilisation of Cellular Automata on Tilings. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed Reza Musawi, Esmaeil Nazari |
Diameter of General Knödel Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist |
Methods for Efficient Unfolding of Colored Petri Nets. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Kuan Lin, Tzu-Liang Kung, Chun-Nan Hung, Yuan-Hsiang Teng |
A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Macyna, Michal Kukowski |
Adaptive Merging on Phase Change Memory. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Sälzer, Martin Lange |
Reachability in Simple Neural Networks. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
The 1966 International Congress of Mathematicians: A Micro-memoir. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Kasjan, Damian Niwinski |
Daniel Simson Obituary. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz |
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Abbes |
Introduction to Probabilistic Concurrent Systems. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Artemov |
Towards Syntactic Epistemic Logic. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Christian Choffrut |
Decidability of Definability Issues in the Theory of Real Addition. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sizhong Zhou |
A Note of Generalization of Fractional ID-factor-critical Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit |
Maximal and Minimal Dynamic Petri Net Slicing. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Robert A. Klopotek |
Network Capacity Bound for Personalized PageRank in Multimodal Networks. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Subhash Bhagat, Abhinav Chakraborty, Bibhuti Das 0001, Krishnendu Mukhopadhyaya |
Gathering over Meeting Nodes in Infinite Grid*. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Neerja Mhaskar, W. F. Smyth |
String Covering: A Survey. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Löding, Max Philip Stachon |
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeshwari S, M. Rajesh |
Exact Wirelength of Embedding 3-Ary n-Cubes into Certain Cylinders and Trees. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Csaba Vincze, Ábris Nagy |
On Taxicab Distance Mean Functions and their Geometric Applications: Methods, Implementations and Examples. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Blériot Koguep Njionou, Léonard Kwuida, Célestin Lélé |
Formal Concepts and Residuation on Multilattices. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Ronny Tredup |
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Lombardy, Jacques Sakarovitch |
Morphisms and Minimisation of Weighted Automata. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Eberbach |
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark B. Trakhtenbrot |
Boris (Boaz) Trakhtenbrot - The Beginning. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle |
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dolce, Edita Pelantová |
On Morphisms Preserving Palindromic Richness. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel Cabrera Martínez, Carlos García Gómez, Juan A. Rodríguez-Velázquez |
Perfect Domination, Roman Domination and Perfect Roman Domination in Lexicographic Product Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Brütsch, Wolfgang Thomas |
Solving Infinite Games in the Baire Space. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Coluzzi, Giuseppe Baselli |
Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Kotek, Johann A. Makowsky |
On the Tutte and Matching Polynomials for Complete Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Wallner, Karsten Wolf |
Skeleton Abstraction for Universal Temporal Properties. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Koprowski |
Computing Square Roots in Quaternion Algebras. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Gerard |
Reconstruction of Convex Sets from One or Two X-rays. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Josep Carmona 0001, Jetty Kleijn |
Preface. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Ceko, Lajos Hajdu, Rob Tijdeman |
Error Correction for Discrete Tomography. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Baca, Andrea Semanicová-Fenovcíková, Ruei-Ting Lai, Tao-Ming Wang |
On Local Antimagic Vertex Coloring for Complete Full t-ary Trees. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jovana Forcan, Mirjana Mikalacki |
Spanning Structures in Walker-Breaker Games. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | André Arnold, Patrick Cégielski, Irène Guessarian |
Affine Completeness of Some Free Binary Algebras. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar |
Resource Bisimilarity in Petri Nets is Decidable. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Ronny Tredup |
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kaminski |
A Note on Calculi for Non-deterministic Many-valued Logics. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Bell, Igor Potapov, Sylvain Schmitz, Patrick Totzke |
Preface. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Redeker |
Number Conservation via Particle Flow in One-dimensional Cellular Automata. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Behrooz Bagheri Gh., Tomás Feder, Herbert Fleischner, Carlos S. Subi |
On Finding Hamiltonian Cycles in Barnette Graphs. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer |
Absent Subsequences in Words. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Jancar, Jiri Valusek |
Structural Liveness of Immediate Observation Petri Nets. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
Getting There and Back Again. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg, Lama Tarsissi |
Tomography and Applications. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari, Walter Vogler |
Stubborn Sets, Frozen Actions, and Fair Testing. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo |
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Martín Torres |
On Rough Approximations of Languages under Infinite Index Indiscernibility Relations. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Kuperberg, Laureline Pinault, Damien Pous |
Coinductive Algorithms for Büchi Automata. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja |
Extensions of Elementary Cause-Effect Structures. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Toufik Benouhiba |
A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Whyman |
Physical Computational Complexity and First-order Logic. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Free-choice Nets with Home Clusters are Lucent. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Combi, Romeo Rizzi, Pietro Sala |
Checking Sets of Pure Evolving Association Rules. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Adding Metalogic Features to Knowledge Representation Languages. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bruse, Martin Lange, Étienne Lozes |
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Lin 0002, Mihir Kumar Chakraborty, Minghui Ma |
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Boomari, Mojtaba Ostovari, Alireza Zarei |
Recognizing Visibility Graphs of Triangulated Irregular Networks. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Slezak, Tzung-Pei Hong, Leon S. L. Wang |
Preface: Information Granulation in Data Science and Scalable Computing. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Costanza Catalano, Umer Azfar, Ludovic Charlier, Raphaël M. Jungers |
A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorma Hirvensalo, Frantisek Mráz, Daniel Prusa |
Preface. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Keller 0001, Wojciech Penczek |
Preface. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
A Complete Taxonomy of Restarting Automata without Auxiliary Symbols. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaineb Chelly Dagdia, Christine Zarges |
A Detailed Study of the Distributed Rough Set Based Locality Sensitive Hashing Feature Selection Technique. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Sureson |
The Inverse of Ackermann Function is Computable in Linear Time. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Zielinski 0002 |
A Non-Deterministic Multiset Query Language. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Micheal Arockiaraj, J. Nancy Delaila, Jessie Abraham |
Optimal Wirelength of Balanced Complete Multipartite Graphs onto Cartesian Product of {Path, Cycle} and Trees. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Casagrande, Eugenio G. Omodeo, Maurizio Proietti |
Preface. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Egor Dobronravov, Nikita Dobronravov, Alexander Okhotin |
On the Length of Shortest Strings Accepted by Two-way Finite Automata. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Drylo |
Compression on the Twisted Jacobi Intersection. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mostafa Haghir Chehreghani, Albert Bifet, Talel Abdessalem |
Exact and Approximate Algorithms for Computing Betweenness Centrality in Directed Graphs. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux, Charlotte Seidner |
Cost Problems for Parametric Time Petri Nets. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen |
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license