yusuke1997/dblp-id-title huggingface dataset:
A fixedpoint approach to (co)inductive and (co)datatype definitions
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems
On Work of Barmpalias and Lewis-Pye: A Derivation on the D.C.E. Reals
Embedding Monitoring of First-Order Temporal Logic in a Programming Language
On Coding Theorems with Modified Length Functions
Zur Diversifikation des Bedeutungsfeldes slowakischer verbaler Präfixe
Concepts in Proof Planning
Synergetic Studies on Chinese Lexical Structure
Online Scheduling of Continuous Media Streams
A Kernel-Based Membrane Clustering Algorithm
On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers
Evaluation and Capability of Models
Relationships Between Equational and Inductive Data Types
A Formal Description of the Basic Concepts of System Theory for Transportation
Searching for Linear Dependencies between Heart Magnetic Resonance Images and Lipid Profiles
Complement-Equivalence Classes on Graphs
Unsolvable Decision Problems for Prolog Programs
Turing Arena Light: Enhancing Programming Education Through Competitive Environments
Toward Automated Large-Scale Information Integration and Discovery
Beyond Traces and Independence
Experimental Descriptive Complexity
Temporal Verification of Probabilistic Multi-Agent Systems
Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Humans, machines, and the future of work
Eine REIFe Leistung - Anecdotes from Behind the Scenes
The Karlsruhe Java Verification Suite
Formal Models of the Calyx of Held
A Simply Numbered Lambda Calculus
Fooling the Parallel or Tester with Probability 8/27
Descriptional Complexity of Multi-Parallel Grammars with Respect to the Number of Nonterminals
A Note on Logical Connectives with Weak Duality
Residual Implications from Discrete Uninorms. A Characterization
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin
A Short STory on Action Refinement
Minimal Pairs for Polynomial Time Reducibilities
Testen von Software durch Mutationsanalyse: "ja, bitte" wegen der hohen Qualität oder "nein, danke" wegen des Aufwands und der prinzipiellen Probleme?
Timesharing Dexter
Towards IoT Processes on the Edge
A Denotational Semantics for Handel-C
Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
On the Notion of Naturalness in Formal Modeling
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two
Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing
On Some Clustering Algorithms Based on Tolerance
Hoare Logic for Disjunctive Information Flow
Self-Reconfiguring Microservices
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework
Modeling Business within a UML-Based Rigorous Software Development Approach
Parallel Digital Halftoning by Error-Diffusion
Geschichte der Informatik in Braunschweig
Irrationality in Persuasive Argumentation
An Abstract, Reusable, and Extensible Programming Language Design Architecture
Sequential Value Passing Yields a Kleene Theorem for Processes
DCGs: Parsing as Deduction?
Proof Search Tree and Cut Elimination
Verifiable Object-Oriented Transactions
Calude as Father of One of the Computer Science Journals
Confluent Internal Contextual Languages
Classical and Symbolic metadata setting for biological datasets
Hardware - Software: An Equivalence and a Contradiction
Nondensity of Double Bubbles in the D.C.E. Degrees
Decision Problems Concerning Algebraic Series with Noncommuting Variables
Mining Specifications: A Roadmap
What-If Scenarios for the BedreFlyt Digital Twin
Performance Analysis of Stochastic Digraph Real-Time Task Model
Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Systematische Dokumentation logischer Programme
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding
My Life Experience with Da Ruan
Invariance and Universality of Complexity
Meditations on Quantified Constraint Satisfaction
Defining Discipline
Memories in University of Ulster
Game Theory and Industrial Control Systems
Effective and Efficient Model Clone Detection
Make Puzzles Great Again
Compositional Semantics for Concurrent Object Groups in ABS
Was heißt "handlungsrelevantes Wissen"?
Fault Tolerant Autonomic Computing Systems in a Chemical Setting
Traceable Signature with Stepping Capabilities
Privacy Preservation Using Multi-context Systems and Default Logic
P Systems with Anti-Matter
Inductive Inference of Theories from Facts
The computing power of Turing machine based on quantum logic
Thematic Concentration and Vocabulary Richness
Information Content of Sets of Biological Sequences Revisited
Quantum Speedup and Categorical Distributivity
Recollections on Michael Gelfond's 65th Birthday
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Federating Location-Based Data Services
Foundations of the Bandera Abstraction Tools
Transcendental Syntax iv: Logic Without Systems
Restarting Automata, Deleting and Marcus Grammars
Hierarchic Superposition Revisited
Approximate identification of finite elasticity
ABC Intelligence on Fuzziness
The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension
Comet in Context
Models of Computation: A Tribute to Ugo Montanari's Vision
Da's Last Initiative: Launching the SSRAOC Workshop
Operating Degrees for XL vs. F4/F5 for Generic $\mathcal{M}Q$ with Number of Equations Linear in That of Variables
Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms
On the Cubicity of AT-Free Graphs and Circular-Arc Graphs
Subtyping for F-Bounded Quantifiers and Equirecursive Types
NULL-Werte und dreiwertige Logik in SQL
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
Restarting Automata with Subregular Constraints
Spectral Representation of Recursively Enumerable and Coenumerable Predicates
Service Centric Communication
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
Visuelle Recherchesysteme zur Unterstützung der Wissensverarbeitung
The Info-Computation Turn in Physics
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms
Generalized Fibonacci Cubes Based on Swap and Mismatch Distance
Simplified simple H systems
Proof Transformations and Structural Invariance
From Time to Space: Fast Algorithms That Yield Small and Fast Data Structures
A Tolerant Approach to Faults
PTTP and Linked Inference
Kernel Ridge Regression
Some Remarks on Hairpin and Loop Languages
Bringing RoboStar and RT-Tester Together
Automata Theory for Database Theoreticans
A Valuable Experience in Computational Logic
Is Polynomial Time Choiceless?
Robot Basketball - A New Challenge for Real-Time Control
Algebraic Aspects of Parikh Matrices
A New Recursive Incremental Algorithm for Building Minimal Acyclic Deterministic Finite Automata
X-Klaim Is Back
AI and Cognitive Science: Feedback Leads to a New Neural Concept
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience?
The Crossing Number of Graphs: Theory and Computation
20 Jahre Softwaretechnik an der TU Braunschweig
A Uniform Framework for Language Inclusion Problems
Privacy Protocols
Closing the gap between the specification and the implementation: the ASMETA way
Event Detection for ODEs and Nonrecursive Hierarchies
Context-free recombinations
On Bounded-Memory Stream Data Processing with Description Logics
Canonical Hardware Representation Using Gröbner Bases
Causality in Structured Occurrence Nets
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof
Inference Rules for Proving the Equivalence of Recursive Procedures
Observation and Control of Hybrid Organic Computing Systems - Centralised Planning Combined with Autonomous Entities
Succinct Representations of Ordinal Trees
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
Towards Semantic Navigation in Mobile Robotics
The Power of Self-Reducibility: Selectivity, Information, and Approximation
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Summary of the Ceremony for Da Ruan at Vito Conference Hall, Mol, Belgium, 6 Aug. 2011
Informationstechnische Vernetzung und Kriegsunfähigkeit in hochentwickelten Industriegesellschaften
Error Detection and Correction in Firing Squad Synchronization Problem
Why Functional Programming Matters to Me
Towards Nominal Abramsky
Indexing and Searching a Mass Spectrometry Database
The Kernel of Homogeneous Games with Steps
Testing Equivalence vs. Runtime Monitoring
On the Minimality of Stable Models
Expressive power of monadic logics on words, trees, pictures, and graphs
Thirteen Definitions of a Stable Model
On the Persistency of Gellular Automata
AutoOverview: A Framework for Generating Structured Overviews over Many Documents
Computing with Words for Decision Making Versus Linguistic Decision Making: A Reflection on both Scenarios
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity
Localization Privacy
Open Problems in Logic and Games
The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday
Secure ElGamal-Type Cryptosystems Without Message Encoding
Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
Meta-circular Abstract Interpretation in Prolog
On the Difference Problem for Semilinear Power Series
Elimination Techniques for Program Analysis
The Expanding World of Compressed Data: A Festschrift for Giovanni Manzini's 60th Birthday, Manzini's Festschrift, Venice, Italy, July 25, 2025
How to Leak a Secret: Theory and Applications of Ring Signatures
Pliant Modalities in Hybrid Event-B
Towards a Substrate Framework of Computation
The Discipline of Ontological Engineering
Pebble Games in Model Theory
Counterexamples Revisited: Principles, Algorithms, Applications
On Nonuniversal Symport/Antiport P Systems
Complementation of Büchi Automata Revised
Viewpoint-Oriented Data Management in Collaborative Research Projects
Data Mining as Constraint Logic Programming
Virtual Computing: The Emperor's New Clothes?
Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
How Did I Come to Fuzzy Logic and to Fuzzy Decision Making - A Personal View
Online Social Networks Event Detection: A Survey
Logical Non-determinism as a Tool for Logical Modularity: An Introduction
Smaller Abstractions for FOR ALL CTL* without Next
An analysis of several heuristics for the traveling salesman problem
Workload Scheduling in Fog and Cloud Environments: Emerging Concepts and Research Directions
Graph Attribution Through Sub-Graphs
Keller im Übersetzerbau
A Complete Logical System for the Equality of Recursive Terms for Sets
A Self-assembly Model of Time-Dependent Glue Strength
Multimedia Lectures for Visually Oriented Medical Disciplines
An Operational Interpretation of Negative Probabilities and No-Signalling Models
Lifelong Learning of Reactive Systems in Practice
Harnessing rCOS for Tool Support - The CoCoME Experience
Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond
Deconfined Intersection Types in Java
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems
Cryptographic Hash Functions and Expander Graphs: The End of the Story?
Formalizing Requirements Is \Diamond \Box Hard
Optimizing the Performance of the FM-Index for Large-Scale Data
System Level Concurrency Control for Distributed Database Systems
Social Modeling and i*
Possible and Impossible Attempts to Solve the Treewidth Problem via ILPs
Algorithmic Statistics: Forty Years Later
The Fall of a Tiny Star
The Polish COBUILD and its Influence on Polish Lexicography
A Calculus of Chemical Systems
On Mix Operation
An Equational Approach to Logic Programming
Reformulating Action Language C+ in Answer Set Programming
Distributed Computing in the 21st Century: Some Aspects of Cloud Computing
Computation Theory and Logic, In Memory of Dieter Rödding
Multiplied Complete Fix-Free Codes and Shiftings Regarding the 3/4-Conjecture
Symmetric Logic of Proofs
Simulink Timed Models for Program Verification
Flexible Interconnection of Graph Transformation Modules
Cause-Effect Reaction Latency in Real-Time Systems
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday
Model-Based Engineering for Database System Development
Action Algebras and Model Algebras in Denotational Semantics
An Algebraic Representation of Logic-Program Computations
Asynchronous Correspondences Between Hybrid Trajectory Semantics
Is There a Crisis in Generative Linguistics?
Query Processing in Spatial Database Systems
Logical Support for Bike-Sharing System Design
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability
Constructing the Infimum of Two Projections
From WSQoSX to the Cloud: 10 Years of Research on Services Computing at KOM
Vom Restrukturierungskonzept zur Umsetzung. Die Bedeutung von IT-gestütztem Maßnahmenmanagement im Rahmen von Restrukturierungsprojekten
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows
Model-Based Testing and the UML Testing Profile
Search Engines and Hebrew - Revisited
Da Ruan in Fudan University: A Pioneer of Bridging the Academic Exchange between China and Belgium
Tree Projections: Game Characterization and Computational Aspects
A Functional System with Transfinitely Defined Types
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions
Exploiting Generic Aspects of Security Models in Formal Developments
Logic, graphs, and algorithms
Relaxed Balancing in Search Trees
Synchronization of Finite Automata: Contributions to an Old Problem
Introduction: For Daddy
Process Algebra: A Unifying Approach
Advances in Data Analysis with Computational Intelligence Methods - Dedicated to Professor Jacek Żurada
On the Limit of Some Algorithmic Approach to Circuit Lower Bounds
Automated Reasoning and Bledsoe's Dream for the Field
Online Parameter Estimation and Optimal Input Design
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents
Localized Operational Termination in General Logics
Untold Thoughts
Examples of Integration of Induction and Deduction in Knowledge Discovery
Quantum Distributed Computing Applied to Grover's Search Algorithm
A Methodology for Invariants, Framing, and Subtyping in JML
The Two Cultures of Logic
Discovering the "Glue" Connecting Activities - Exploiting Monotonicity to Learn Places Faster
Characterizing Morphic Sequences
Time-Varying Distributed H Systems of Degree 1 Generate All Recursively Enumerable Languages
Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Out of a Closet: The Early Years of The Computer Museum
Comparing Two Methods for Checking Runtime Properties
Number Theory and Cryptography - Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Selbstadaptive Mutation bei evolutionären Strategien
Detecting the Logical Content: Burley's 'Purity of Logic'
Das Goldene Zeitalter der Rechtsinformatik in den Siebzigerjahren: Erinnerungen aus österreichischer Sicht
Cyber-Physical Systems Security
Failure is Also an Option
On Path Partitions and Colourings in Digraphs
Menschengerechte Softwaregestaltung, Konzepte und Werkzeuge auf dem Weg in die Praxis, Peter Gorny zum 60. Geburtstag
Clocks for Functional Programs
Non-Classical Logics for Knowledge Representation and Reasoning
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles
Ambient Intelligence: Towards Smart Appliance Ensembles
Key Reminiscences
On a Formal Description of the Molecular Processes
Fuzzy Sets: A Brief Retrospect and Beyond
Fuzzy Sets in Foundations of Quantum Mechanics
Languages and Problem Specification
Semantics in Knowledge Management
Reflecting Knowledge Diversity on the Web
Relative Konsistenz
Towards Reliable Concurrent Software
Inference in MaxSAT and MinSAT
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl
An Approximation of the Universal Intelligence Measure
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation
Embedded Software Design Methodology Based on Formal Models of Computation
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog
BWT Indexes for Optimal Joins in Graph Databases
Reflections on a \m $\slash$ Time with Dexter Kozen
There's No Time, The Problem of Conceptualising Time
Time for Verification, Essays in Memory of Amir Pnueli
Der 'Nietzsche-Thesaurus' des Nietzsche-Online-Portals
A Logic of Object-Oriented Programs
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Identities for Embedded Systems Enabled by Physical Unclonable Functions
Can We Trust Software Repositories?
Third Milennium Culture
On Automation of OTS/CafeOBJ Method
Decidability of the Initial-State Opacity of Real-Time Automata
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -
Discovering Directly-Follows Complete Petri Nets from Event Data
A Call to Regularity
Constructive Action Semantics in OBJ
A New Rationality in Network Analysis - Status of Actors in a Conditional-logical Framework
Pivotal Estimation in High-Dimensional Regression via Linear Programming
Modelling oft Software Architectures: Importance, Notions, Experiences
Generalization Method when Manipulating Relational Databases
Random Semicomputable Reals Revisited
As Time Goes By: Reflections on Treewidth for Temporal Graphs
User-Centered Design for a Voice Portal
Graph Transformation in Molecular Biology
An Evolutionary Model of DNA Substring Distribution
A Tribute to Prof. Dr. Da Ruan
Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets
Dedication to a Theory of Modelling - Bernhard Thalheim's Scientific Journey
On the Unpredictability of Individual Quantum Measurement Outcomes
First Steps towards a Theory of Complexity over more General Data Structures
Counterexample Guided Path Reduction for Static Program Analysis
Achieving Dependability in Service-Oriented Systems
Second-Order Programs with Preconditions
Another Look at LTL Modulo Theory over Finite and Infinite Traces
The Logic of Entanglement
MJRTY: A Fast Majority Vote Algorithm
Aspekte der Herausbildung und der Entwicklung der Informatik an deutschen Universitäten
Necessive Expressions in Finnic Bible Translations
Conceptual Modeling for Indicator Selection
Wissen in Aktion - Der Primat der Pragmatik als Motto der Konstanzer Informationswissenschaft. Festschrift für Rainer Kuhlen
Reciprocal and Linguistic Preferences
Towards a New Shape Description Paradigm Using the Generative Modeling Language
Knowledge Engineering for Word-Formation: Generating and Evaluating Candidate Neologisms
Good Types Are Useful for Learning
From Banach to Milner: metric semantics for second order communication and concurrency
Algebraic Computation: The Quiet Revolution
Towards Networked Knowledge
A Scenario Approach for Parametric Markov Decision Processes
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
A Survey of IoT Software Platforms
State Identification and Verification with Satisfaction
Specification for Testing
Fuzziness, Probability, Uncertainty and the Foundations of Knowledge
Time for Traffic Manoeuvres
A Definition of Parikh Controlled Context-Free Grammars and Some Properties of Them
Termination in Extended Probabilistic Threshold Automata
Relational Databases and Bell's Theorem
DALI, RASP, Mnemosine: Computational Logic at Work
Enumerative Induction
More Stubborn Set Methods for Process Algebras
Relevance of Entities in Reaction Systems
A Pictorial Description of Cole's Parallel Merge Sort
On the Syntax and Translation of Finnish Discourse Clitics
Petri Net Control for Grammar Systems
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That
Topologies for the Set of Disjunctive omega-Words
Spiking Neural P Systems. Recent Results, Research Topics
Using Spoofax to Support Online Code Navigation
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
Adaptive Real Time IoT Stream Processing in Microservices Architecture
Direct Approximation of Divergences Between Probability Distributions
First-Order Resolution Methods for Modal Logics
On Languages Generated by Context-Free Matrix Insertion-Deletion Systems with Exo-Operations
Nuprl as Logical Framework for Automating Proofs in Category Theory
Communicating Mobile Processes
Understanding Human Mobility with Big Data
Building Safe Concurrency Abstractions
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction
ICT and Value Sensitive Design
Independent Update Reflections on Interdependent Database Views
Recommenderdienste für wissenschaftliche Bibliotheken und Bibliotheksverbünde
Finite Array Automata and Regular Array Grammars
Properties of Monoids That Are Presented by Finite Convergent String-Rewriting Systems - A Survey
Algorithmic Control: The Assembly and Operation of DNA Nanostructures and Molecular Machinery
Representing Reaction Systems by Trees
The Robot and the Butterfly
Programming Examples of Space-Filling Curves
Geometric Radicals of Polynomial Ideals
A Formal Framework for the Development of Concurrent Object-Based Systems
Development of Conceptual Models and the Knowledge Background Provided by the Rigor Cycle in Design Science
In Memoriam: Paris C. Kanellakis
Simple Block-Substitution Rule Exhibits Interesting Patterns
Dragging Proofs Out of Pictures
Caching over the Entire User-to-Data Path in the Internet
Arabic Multiword Expressions
Semantic Complex Event Reasoning - Beyond Complex Event Processing
Knowledge Based Scheduling of Distributed Systems
Being and Change: Reasoning About Invariance
Efficient Graph Minors Theory and Parameterized Algorithms for (Planar) Disjoint Paths
Categorial Grammars and Minimalist Grammars
A Note on the Entropy of Computation
Two Lower Bounds on Computational Complexity of Infinite Words
Tensor Networks for Dimensionality Reduction, Big Data and Deep Learning
To Deeply Cherish the Memory of Da Ruan, My Friend since 1988
On Models of Concepts and Data
Queries in Context: Access to Digitized Historic Documents in a Collaboratory for the Humanities
Partial Correctness Assertions Provable in Dynamic Logic
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience
Length-Weighted Disjoint Path Allocation - Advice and Parametrization
Different translations of one original text in a qualitative and quantitative perspective
Learning in Clausal Logic: A Perspective on Inductive Logic Programming
Measure One Results in Computational Complexity Theory
Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming
From Turner's Logic of Universal Causation to the Logic of GK
Logics for Weighted Timed Pushdown Automata