yusuke1997/dblp-id-title huggingface dataset:
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL
Algorithmic Analogies to Kamae-Weiss Theorem on Normal Numbers
Generating Polynomial Invariants with DISCOVERER and QEPCAD
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif
What Is in a Step: New Perspectives on a Classical Question
Computation and Pattern Formation by Swarm Networks with Brownian Motion
Towards Adjusting Informatics Education to Information Era
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming
On Oriented Labelling Parameters
Advances on Random Sequence Generation by Uniform Cellular Automata
Distributed Real-Time Automata
Safety versus Security in the Quality Calculus
A Roman Senator
Workflow-Driven Tool Integration Using Model Transformations
A Review of Soft Computing Techniques in Maritime Logistics and Its Related Fields
Ontology-Based Query Refinement for Semantic Portals
Von der Verwaltungsinformatik zu E-Government
The Next Smart Card Nightmare - Logical Attacks, Combined Attacks, Mutant Applications and Other Funny Things
Type Similarity for the Lambek-Grishin Calculus Revisited
Database Theory, Yuri, and Me
Fast Algorithms for Join Operations on Tree Decompositions
From Strings to Graphs, and Back Again: A Festschrift for Roberto Grossi's 60th Birthday, Grossi's Festschrift, Venice, Italy, July 25, 2025
Ten Years of Petri Games
On Extracting Static Semantics
On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Zum Gebrauch des deutschen Identitätspronomens 'derselbe' als funktionelles Äquivalent von Demonstrativ- und Personalpronomina aus historischer Sicht
A Model of Antibiotic Resistance Evolution Dynamics Through P Systems with Active Membranes and Communication Rules
Iterated Revision and Automatic Similarity Generation
Depth of Closed Classes of Truth Functions in Many-Valued Logic
Timing the Untimed: Terminating Successfully While Being Conservative
Equivalence Checking 40 Years After: A Review of Bisimulation Tools
Disjunctivity
Verification by Abstract Interpretation
Differential Fault Analysis of TinyJAMBU
Dear Da, We Miss You Forever
Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids
Enumeration of Ordered Trees with Leaf Restrictions
Expressive Power of Unary Counters
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading
Path-Bicolorable Graphs
REaltime ACtive Heterogeneous Systems - Where Did We Reach After REACH?
From Graph Transformation to Software Engineering and Back
Algorithms for NP-Hard Problems via Rank-Related Parameters of Matrices
Matching with a Hierarchical Ontology
Lexicography: Science without Theory?
Identifying Adjectives that Predict Noun Classes
Fixed-Parameter Tractability, A Prehistory,
Living Books, Automated Deduction and Other Strange Things
Hardware-Assisted Online Data Race Detection
Zur Zeitoptimierung der russischen Verbmorphologie
Geschäftsprozessmanagement für das Unternehmen von morgen
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego
Analyzing Spreadsheets for Parallel Execution via Model Checking
Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm
Lost and Found in the Fog of Trust
Ten Years of Analyzing Actors: Rebeca Experience
Region Quadtrees Verified
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine
Fair Bandwidth Allocation Without Per-Flow State
Reducing Right-Hand Sides for Termination
Ugo Montanari in a Nutshell
CreatingWorlds with Words: Ontology-guided Conceptual Modeling for Institutional Domains
The Flowering of Automated Reasoning
A Fully-Digital Chaos-Based Random Bit Generator
Efficient Learning of Sparse Ranking Functions
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata
Compactness Hypothesis, Potential Functions, and Rectifying Linear Space in Machine Learning
Static Evidences for Attack Reconstruction
Classical Natural Deduction
Adapting Constraint Solving to Automatically Analyze UPI Protocols
Web System Development Using Polymorphic Widgets and Generic Schemas
On the Mathematical Boundaries of Communication with Zero-Capacity Quantum Channels
On the Krohn-Rhodes Cascaded Decomposition Theorem
Towards Declarative Query Scoping in Sensor Networks
Health Information Systems: Past, Present, Future - Revisited
Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando
Understanding and Tailoring Your Scientific Information Environment: A Context-Oriented View on E-Science Support
The Big Game: The Italian Avenue of Attack to Cybersecurity Skill Shortage
Indigenous Scientist: Digital & Health Science Transformation
My Way to Fuzzy Control
Ungleichheits- und Informationsmessung
Word Length Controlled DT0L Systems and Slender Languages
The Road from Stochastic Automata to the Simulation of Rare Events
A Simple Rewrite System for the Normalization of Linear Temporal Logic
The Java Environment for Nature-Inspired Approaches (JENA): A Workbench for BioComputing and BioModelling Enthusiasts
Verifying Properties of Systems Relying on Attribute-Based Communication
Lotfi Zadeh, Fuzzy Sets, and I: A Personal Odyssey
Reasoning (on) Service Component Ensembles in Rewriting Logic
An Intermediate Information System Forms Mutual Trust
Chasing Diagrams in Cryptography
A Cherished Memory of Prof. Da Ruan
Canonical Ground Horn Theories
Flexibilität in betrieblichen Informationssystemen
Numerical Optimization of Non-Conflict Aircraft Flow Merging (short paper)
Minimum Message Length Order Selection and Parameter Estimation of Moving Average Models
Catford Revisited
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
Confluence: The Unifying, Expressive Power of Locality
Towards Expressive and User Friendly Interfaces for Digital Libraries Containing Heterogeneous Data
On the Strongly Bounded Turing Degrees of the Computably Enumerable Sets
A Unified Conceptual Framework for Managing Services in the Web Oriented Architecture
Small Universal Reversible Counter Machines
The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. - Proceedings of the Conference "Information Society: Governance, Ethics and Social Consequences", University of Namur, Belgium 22-23 May 2006
Characterization and Verification of Stuttering Equivalence
Sharing Data with Guaranteed Privacy
On a Conjecture About Univariate Polynomials and Their Roots
Semantic Technologies and Cloud Computing
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability
Enhancing Reaction Systems: A Process Algebraic Approach
Big Data Classification - Aspects on Many Features
BWT for String Collections
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Conformance Relations Between Input/Output Languages
Building and Combining Matching Algorithms
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS
A Robust Universal Flying Amorphous Computer
Constructively formalizing automata theory
Multimedia Communications Laboratories: Experimental Research Facilities at KOM
A Critique of Proof Planning
On Commutative Directable Nondeterministic Automata
Herbert Fiedler ist Achtzig: Worte der Gratulanten
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Overview of Bounded Model Checking for Stack-Based Virtual Machines
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
Prehomomorphisms on Locally Inverse ast-Semigroups
Learning from Positive Data and Negative Counterexamples: A Survey
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
Capturing MSO with One Quantifier
Detailed Visual Recognition of Road Scenes for Guiding Autonomous Vehicles
Empirical Inference - Festschrift in Honor of Vladimir N. Vapnik
Concept of Fuzzy Atmosfield and Its Visualization
Queue Automata: Foundations and Developments
Generalizing Logical Execution Time
Geometrical Insights for Implicit Generative Modeling
What is a Logical System? A Commentary
"Strutture Di Dati e Algoritmi. Progettazione, Analisi e Visualizzazione", a Book Beating Its Own Drum
Quantum Computing: From Weakest Preconditions to Voltage Pulses
Logic and Approximation in Knowledge Based Systems
On State Sequences Defined by Reaction Systems
Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis
Lilith Meets the World of Business
A Confluent Connection Calculus
Fuzzy Portfolio Selection Models for Dealing with Investor's Preferences
Open Texture and Argumentation: What Makes an Argument Persuasive?
A Complete, Co-inductive Syntactic Theory of Sequential Control and State
Fuzziness in Software Engineering
Interaktionsrärme zur Geometrie-Rekonstruktion aud digitalen Bildern
Cloud Robotics: A Distributed Computing View
Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach
Many-Valued Preorders I: The Basis of Many-Valued Mathematics
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations
A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua
Using Real-Time Road Traffic Data to Evaluate Congestion
The Vitali Covering Theorem in the Weihrauch Lattice
The Job Assignment Problem: A Study in Parallel and Distributed Machine Learning
A Man of Unlimited Capabilities (in Memory of E. M. Braverman)
Wie schreibe ich einen Beitrag zu Gabriels Festschrift?
Single Tree Grammars
Composing Hidden Information Modules over Inclusive Institutions
On the Universality of P Systems with Minimal Symport/Antiport Rules
Clean Reversible Simulations of Ranking Binary Trees
Path Planning Using a Subgoal Graph
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Synchronous Multiparty Synchronizations and Transactions
Cooperating Distributed Tree Automata
The Computing Power of Determinism and Reversibility in Chemical Reaction Automata
An Efficient Algorithm for Combinatorial Group Testing
A Semantic Account of Rigorous Simulation
Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions
Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems
Optimization Algorithm for Radiative-Conductive Heat Transfer Model with Boundary Conditions of Cauchy Type
On Orderings in Security Models
Classical Structures Based on Unitaries
Jewels of Institution-Independent Model Theory
Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata
Monotonicity Properties in Automated Deduction
On the Reals Which Cannot Be Random
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun
Ensuring Properties of Interaction Systems
Towards a System Model for Ensembles
A Unification Algorithm for Analysis of Protocols with Blinded Signatures
From Interface Automata to Hypercontracts
An Architecture for Safe Driving Automation
Some Results on Directable Automata
Supporting Users in Cloud Plan Selection
Homeomorphic Embedding for Online Termination of Symbolic Methods
An Introduction to cP Systems
Intelligent Backtracking Revisted
On GS-Monoidal Theories for Graphs with Nesting
My Early Education and Concurrent Objects
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
Fuzzy Sets Seemed to Work
Lambda: the Ultimate Combinator
Regularization of an Inverse Problem by Controlling the Stiffness of the Graphs of Approximate Solutions
The Role of Fuzzy Sets in Information Retrieval
Modeling Revisited
SIMPL Systems as a Keyless Cryptographic and Security Primitive
Detecting Feature Interactions in FORML Models
New Aspects of Interpretability of Fuzzy Systems for Nonlinear Modeling
Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Specifying and Implementing Interface Moore Machines by a Logic of Actions
On the Zone Theorem for Hyperplane Arrangements
Applied Formal Methods at ONERA: An Experience Report
Numerical Simulation of a Game-Theoretic Model of Environmental Pollution Problem
The Cut Role in Theorem Proving
Identifying the Correct Root of an Ambiguous Hebrew Word
Fair Must Testing for I/O Automata
Semi-formal Evaluation of Conversational Characters
On Time Actors
Termination Graphs for Java Bytecode
Correctly Slicing Extended Finite State Machines
Formal Software Development in MAYA
Software Model Checking of Interlocking Programs
Component-Based Application Architecture for Enterprise Information Systems
Towards the Future Internet: A Review
SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?
Event-Based Modularization of Reactive Systems
Self-organisation in Holonic Multiagent Systems
Causality Modeling and Statistical Generative Mechanisms
On Beta-Binders Communications
A simple and complete model theory for intensional and extensional untyped λ-equality
Diagnosis and Testing: How is Their Relation? Can They Be Combined?
On Involutions Arising from Graphs
On (Left) Partial Shuffle
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems
Linear Recurrence Relations for Graph Polynomials
Towards a Science of Creativity: Homage to Lotfi Zadeh
Analysis of a Software/Hardware System by Tense Arithmetic
Multimode Resource-Constrained Project Scheduling Problem Including Multiskill Labor (MRCPSP-MS) Model and a Solution Method
Locating a Discontinuity in a Piecewise-Smooth Periodic Function Using Bayes Estimation
Provenance Analysis: A Perspective for Description Logics?
The mathematical correspondence of Ada Lovelace and Augustus De Morgan
Interval Type-2 Fuzzy Logic in Hybrid Neural Pattern Recognition Systems
Intersection Types in Java: Back to the Future
Description Logics for Information Integration
A Nagell Algorithm in Any Characteristic
Enjoying Natural Computing - Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Fuzzy Cognitive Maps Based Models for Pattern Classification: Advances and Challenges
A Mathematical Analysis of Masaccio's Trinity
A Brief Survey of Research Jointly with Jean-Jacques Quisquater
Automatic Mutual Exclusion and Atomicity Checks
A Dynamic Average Value-at-Risk Portfolio Model with Fuzzy Random Variables
The Computational Geometry of Comparing Shapes
Computational Completeness of Interaction Machines and Turing Machines
A Knowledge-Based Approach to Initial Population Generation in Evolutionary Algorithms: Application to the Protein Structure Prediction Problem
The Asynchronous Stack Revisited: Rounds Sets the Twilight Reeling
A Cosmic Muse
On Applicative Similarity, Sequentiality, and Full Abstraction
On the universality of Zipf's law for word frequencies
Ontology-Based Classification - Application of Machine Learning Concepts Without Learning
Hairpin Lengthening and Shortening of Regular Languages
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing
A Meta-Method for Defining Software Engineering Methods
Local Data Characteristics in Learning Classifiers from Imbalanced Data
The Structure of the Basic Morphisms
Digital Information Encoding on DNA
There are Two Sides to Every Question - Controller Versus Attacker
Democracy, Technology, and Information Societies
Cryptosystems Using Automorphisms of Finitely Generated Free Groups
Models, Mindsets, Meta: The What, the How, and the Why Not?
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory
iDSL: Automated Performance Evaluation of Service-Oriented Systems
On Fuzzy Sets Philosophical Foundations
Dynamic Resource Constrained Multi-Project Scheduling Problem with Weighted Earliness/Tardiness Costs
Shall We Play the Festschrift Game?, Essays on the Occasion of Lauri Carlson's 60th Birthday
On Oscillation-Free Chaitin h-Random Sequences
Encoding Reversible Petri Nets into CCSK
Where Automatic Structures Benefit from Weighted Automata
The Interval Domain in Homotopy Type Theory
Psychological Nature of Verification of Informal Mathematical Proofs
An ASM-Characterization of a Class of Distributed Algorithms
Workshop on Information Theory and Related Fields - In Memory of Ning Cai
S-Trike: A Mobile Robot Platform for Higher Education
On Hesitant Fuzzy Clustering and Clustering of Hesitant Fuzzy Data
Ontological Dependence, Spatial Location, and Part Structure
A Parallel Algorithm for Fixed-Length Approximate String-Matching with k -mismatches
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Impact of Negative Capacitance Field-Effect Transistor (NCFET) on Many-Core Systems
Vulnerability Discussion in Multimodal Freight Systems
A Power Series Approach to Bounded Languages
Variants of Tissue P Systems with Prescribed Teams of Channel Rules
New Waves of Cyber Attacks in the Time of COVID19
Cables, Trains and Types
MDL/Bayesian Criteria Based on Universal Coding/Measure
Mobile Kommunikation über LTE
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
Towards "Fypercomputations" (in Membrane Computing)
When WordNet Met Ontology
Improving the DISPGB Algorithm Using the Discriminant Ideal
The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
On the Road to Conviction: An Email Exchange with Edward Lee
Using SQL for Efficient Generation and Querying of Provenance Information
Travelling with Dexter Kozen
Deliberative democracy : from Rational Discourse to Public Debate
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints
Asymptotic Behavior of Attack Graph Games
An Intensional Expressiveness Gap of Comprehension Syntax
Extending Paradigm with Data
Autonomous Units and Their Semantics - The Concurrent Case
Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective
Reflexion und Ausblick zu Ansätzen juristischer Informationssysteme unter Aspekten künstlicher Intelligenz
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning
Predictability Issues in Mixed-Criticality Real-Time Systems
An Agent-Based Approach to Correctness in Databases
Nothing Can Be Fixed
Ernst-Rüdiger Olderog: A Life for Meaning
Theory Combination: Beyond Equality Sharing
A Nivat Theorem for Quantitative Automata on Unranked Trees
Unit Checking: Symbolic Model Checking for a Unit of Code
Defining Privacy Based on Distributions of Privacy Breaches
Pict: a programming language based on the Pi-Calculus
Footprints of Conditionals
Vague Computing Is the Natural Way to Compute!
Cathy Meadows: A Central Figure in Protocol Analysis
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa
Multiple State and Single State Tableaux for Combining Local and Global Model Checking
Fuzzy Set-Based Approximate Reasoning and Mathematical Fuzzy Logic
Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games
On the Origins of Coccinelle
The Future of Software Engineering
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
The Scientific Contribution of Nikolai D. Botkin
On Chance, Causality, Agency, Volition, and Communication: The Case of the Subversive Parrot of Sfakion
Optimizing Maude Programs via Program Specialization
A Relational-Functional Integration for Declarative Programming
Modeling Complex Information Systems
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
On the Functor ℓ2
Rambling on Weispfenning, Montes, Gianni, and Kronecker
DES Collisions Revisited
Judaica Europeana: Jewish Semantics in the Linked Data Semantic Web
Identification via Quantum Channels
My Journey Through the Field of Medical Informatics
Conservativeness of Lambda over lambda-sigma-Calculus
Cartes auto-organisatrices pour la classification des données de type intervalle en se basant sur la distance city-block
Higher-Order Rewriting: Framework, Confluence and Termination
Illi Isabellistes Se Custodes Egregios Praestabant
Automata and semigroups recognizing infinite words
Component-based Construction of Heterogeneous Real-time Systems in BIP
Uniformly Generating Origin Destination Tables
Quantum Institutions
On membrane computing based on splicing
Programming in the λ-Calculus: From Church to Scott and Back
Memories in Complutense Campus
Modal Logic Should Say More Than It Does
Causality Monitoring for MIMOS
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Robust Declassification by Incremental Typing
Partial Match Distance - In Memoriam Ray Solomonoff 1926-2009
From CTL to Datalog
Exploring Relations between Answer Set Programs
Abstracting and Verifying Decentralised Systems in CSP
Early Days in Ghent
A Synergetic Regression Model of Language Complexity Trade-Offs
Bisimulations and Reversibility
Fuzzy Relational Equations - From Theory to Software and Applications
Software Modeling Using Ontology Technologies
Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report
Grammar Analysis and Parsing by Abstract Interpretation
A Short Sketch of the Life and Career of John McCarthy
Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures
The Analytical Engine and the Aeolian Harp
Incremental Abstract Interpretation
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
On Determinism
The Optimal Causal Linear Predictor is Not Turing Computable
Software & System Verification with KIV
CD Grammar Systems: Competence and Confidence
Entwickeln einer fokussierten Marktbearbeitungsstrategie für ein Software Unternehmen: Fallstudie Mittelstand
Cyberphysical Systems: A Behind-the-Scenes Foundational View
The Responsa Project: Some Promising Future Directions
Towards Automated Variant Selection for Heterogeneous Tiled Architectures
Creating Order and Ballot Sequences
Skolem Normal Forms Concerning the Least Fixpoint
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Realizing Switching Functions Using Peptide-Antibody Interactions
Information Retrieval - From Information Access to Contextual Retrieval
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
The Art of Formula
Phase Transition between Unidirectionality and Bidirectionality
Combining Data-Driven and Semantic Approaches for Text Mining
Secure Application Execution in Mobile Devices
A Rewriting of Fife's Theorem about Overlap-Free Words
Global Protocol Implementations via Attribute-Based Communication
On special forms of restarting automata
Dialogue Categories and Frobenius Monoids