yusuke1997/dblp-id-title huggingface dataset:
Multidistances and Dispersion Measures
Strong Equivalence of RASP Programs
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Bioinformatik & Bioinformation: Braunschweig spielt eine führende Rolle
DEA - Data Envelopment Analysis
Why Are Business Processes Not Secure?
From Set Unification to Set Constraints
Definition and Use of iStar 2.0
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
An Evidence Profile for Software Engineering Research and Practice
Contextual word prominence
Logic Programming Updating - A Guided Approach
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming
Minimizing Average Flow-Time
Fair Equivalence Relations
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
Randomized Post-optimization for t-Restrictions
When Being Numerate Used to Mean Something Else - The Case of Number Symbolism in the Hebrew Bible
Qualitative Theorem Proving in Linear Constraints
Bistructures, bidomains, and linear logic
Simulating Production Rules Using ACTHEX
Domain Modelling: A Foundation for Software Development
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling
Games in Support Function Form: An Approach to the Kernel of NTU Games
Riding the Storm in a Probabilistic Model Checking Landscape
Types in Program Analysis
From Byron to the Ada Programming Language
Forbidden subsequences and permutations sortable on two parallel stacks
Getting to the Bottom of How Language Works
Common Knowledge Logic in a Higher Order Proof Assistant
Brian Randell: A Biographical Note
Abstraction Super-Structuring Normal Forms: Towards a Theory of Structural Induction
Average-Case Analysis Using Kolmogorov Complexity
Action Semantics in Retrospect
The Aircraft Sequencing Problem
Thermodynamics of Small Systems Through a Reversible and Conservative Discrete Automaton
Interactive Cone Contraction for Evolutionary Mutliple Objective Optimization
On the Quest for Criticality Searching for Interactions that Matter When Hunting for Bugs
An Overview of 2D Picture Array Generating Models Based on Membrane Computing
How Ideas of L.A. Zadeh Gave Rise to Mathematical Fuzzy Logic
Unification Grammars in Natural Language Processing
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order
Personal Health Informatics: New Tools and Roles for Health Care
Sublogarithmically Space-Bounded Alternating One-Pebble Turing Machines with only Universal States
Retrieval by Structure from Chemical Data Bases
A Mobility Calculus with Local and Dependent Types
From Additive Flowers to Additive Automata Networks
Molecular Tiling and DNA Self-assembly
The Influence of Lotfi Zadeh on Informatik I in Dortmund
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically
Alice and Bob: Reconciling Formal Models and Implementation
Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm
Robustness of Neural Networks to Parameter Quantization
Bounded Synthesis for Petri Games
Concurrent Rules Machines
Value-Aware Enterprise Modelling
Analysing the SML97 Definition: Lexicalisation
Fooling a Liveness-Detecting Capacitive Fingerprint Scanner
On the Size of Components of Cooperating Grammar Systems
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis
Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web
Lower Bounds for Dominating Set in Ball Graphs and for Weighted Dominating Set in Unit-Ball Graphs
The Intelligent Grounder of DLV
Hiding Regular Languages
Context Specific Distribution of Word Meanings
The Challenge of Approximately Parameterizing Algebraic Curves and Surfaces
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Minsky Machines and Algorithmic Problems
Inference with Probabilistic and Fuzzy Information
Introduction to part I
Formalization of Invariant Patterns for the Invariant Refinement Method
Behaviour, Interaction and Dynamics
Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
The History of Highly Adaptive and Programmable Networks
i* for Sustainability: A Case Study in Urban Management
Quantifying the MULTEXT-East morphosyntactic resources
Computing with Words and Protoforms: Powerful and Far Reaching Ideas
Existence and Non Existence of Limit Cycles in Boolean Networks
Effectively Reasoning about Infinite Sets in Answer Set Programming
From Goal Models to Know-How Mapping
Entry, Divorce and Re-Marriage in Matching Markets
Characterizing Tractability by Cell-Like Membrane Systems
Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems - dedicated to the memory of Nikolai Botkin, Munich, Germany, November 19-20, 2020
A Bibliography of Willem-Paul de Roever
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support
Dynamic Secure Cloud Storage with Provenance
Pros and Cons of Distributed Workflow Execution Algorithms
Programming with Functional Nets
Real World Awareness (RWA) - Nutzen von RFID und anderen RWA-Technologien
The First End-Of-Year Address by the New President of the Italian Republic Sergio Mattarella
Precise Documentation: The Key to Better Software
Asymmetric Unification and Disunification
Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP)
Turing Tests with Turing Machines
Probleme der Modellierung von Lehnbeziehungen (am Beispiel von Serbokroatismen im Slowenischen)
Entwurf von kombinatorischen Auktionen für Allokations- und Beschaffungsprozesse
Sequential Location Game on Continuous Directional Star Networks
On Slender Context-Free Languages
New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday)
Disunification: A Survey
Friendliness for Logicians
Power of Controlled Insertion and Deletion
Verhaltensvarianten - ihre kombinatorische Erfassung
A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences
Notions and notations: designing computers before computing
Generic Proof Scores for Generate & Check Method in CafeOBJ
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development
The Transformation Game: Joining Forces for Verification
Unified View of Backward Backtracking in Short Read Mapping
Trios in concert
Computability Closure: Ten Years Later
Vats: A Safe, Reactive Storage Abstraction
Belief and Introspection
Continuous Visualization of SAGBI Bases for Parameterized Linear Subalgebras
On Duality between Local Maximum Stable Sets of a Graph and Its Line-Graph
Iterated GSM Mappings: A Collapsing Hierarchy
Satisfiability of Constraint Specifications on XML Documents
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
On the Multiplicity Equivalence Problem for Context-free Grammars
Analysing Lock-Free Linearizable Datatypes Using CSP
Randomness Increases Order in Biological Evolution
Fast Calculation of Entropy with Zhang's Estimator
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
From Explicit to Symbolic Types for Communication Protocols in CCS
Why Sets?
Ode to the PST
Compositional Quantum Logic
Activating Generalized Fuzzy Implications from Galois Connections
Incremental Design: Programming with Holes and Evolvers
Fair and Associative Infinite Trajectories
ACORD: Ant Colony Optimization and BNF Grammar Rule Derivation
An Institution for Object-Z with Inheritance and Polymorphism
Capacity Results for Arbitrarily Varying Wiretap Channels
Nativised, Playfully Aetiologised Literary Zoonyms, III: Abdim's Stork. Substituted Eponym, Dense Cultural Rewiring, Ethics
The Integration of Testing and Program Verification - A Position Paper
An Application Intersection Marketing Ontology
Exact Methods in the Study of Language and Text - Dedicated to Gabriel Altmann on the Occasion of his 75th Birthday
Separation - Past, Present, and Future
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing
A Way with Words - Recent Advances in Lexical Theory and Analysis: A Festschrift for Patrick Hanks
On the Number of Nonterminals in Matrix Grammars with Leftmost Derivations
Conditional Grammars with Restrictions by Syntactic Parameters
Reduction Strategies for Left-Linear Term Rewriting Systems
A Proof of Regularity for Finite Splicing
Theory and Applications of Ordered Fuzzy Numbers - A Tribute to Professor Witold Kosiński
A Normal Form for Stateful Connectors
Towards a Modular and Variability-Aware Aerodynamic Simulator
Runtime Verification: Passing on the Baton
Informatics and Society: A Curriculum for Distance Education
On Specifications and Proofs of Timed Circuits
As Time Goes By: Research on L4-Based Real-Time Systems
Cellular Automata and Probabilistic L Systems: An Example in Ecology
Run-Time Enforcement of Non-functional Program Properties on MPSoCs
Lotfi A. Zadeh and Economic Uncertainty
Foundations of Temporal Conceptual Data Models
Beauty and Code
Practical Techniques Building on Encryption for Protecting and Managing Data in the Cloud
Manifold Answer-Set Programs and Their Applications
Some Varieties of Equational Logic
Optimal Bounds for Multiweighted and Parametrised Energy Games
Keynotes, Tutorials and Panels in Conferences
Design Methodology for Service-Based Data Product Sharing and Trading
Powers with Respect to t-Norms and t-Conorms and Aggregation Functions
A Note on Reactive Transitions and Reo Connectors
Animating Rebeca
Active Knowledge, LuNA and Literacy for Oncoming Centuries
A Rigid Cone in the Truth-Table Degrees with Jump
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
Minimum Message Length Analysis of the Behrens-Fisher Problem
Structural Operational Semantics for Weighted Transition Systems
Model checking Timed CSP
Supporting User Testing in Human-Computer Interaction Design
Spatial and Temporal Structures in Cognitive Processes
Declarative Debugging of Membership Equational Logic Specifications
Four Shorts Stories on Surprising Algorithmic Uses of Treewidth
Achievements, Milestones and Challenges in Biomedical and Health Informatics, International Symposium on Achievements, Milestones, and Challenges in Biomedical and Health Informatics (BMHI 2022), Athens, Greece, 29 October 2022, retirement of Professor John Mantas
The Declarative Side of Magic
Some Results on the Complexity of Powers
Ranch: Rebeca On Chip
The Edge of Graph Transformation - Graphs for Behavioural Specification
Local Action Systems and DPO Graph Transformation
Shedding Light on Haunted Corners of Information Security
Paradise Lost and Milton's Associative Memory
ASP at Work: Spin-off and Applications of the DLV System
Factoring Integers by CVP Algorithms
Metaprogramming at Work in Automated Manufacturing
Können Maschinen denken - eine kritische Auseinandersetzung imt der harten These der KI
Distributional Semantics: A Montagovian View
Grid Method for Numerical Study of Time-Optimal Games with Lifeline (short paper)
The Duality of Patterning in Molecular Genetics
Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations
Narrowing Based Inductive Proof Search
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence
Tool Support for Dynamic Development Processes
Proof-Theoretic Foundations of Normal Logic Programs
How Formal Methods Can Contribute to 5G Networks
Comparing Star and Pancake Networks
Reasoning About Web Services in a Temporal Action Logic
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
P and dP Automata: A Survey
Towards the Composition of Digital Twins
Belenios: A Simple Private and Verifiable Electronic Voting System
Functional Semantics
Fuzzy Control for Secure TCP Transfer
Multiple Fibonacci Trees
Bottom-Up Evaluation of Logic Programs
Is the World Linear?
Problem Solving Using the HEX Family
Calendars and Chronologies
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers
Quantum Optimization of Coherent Chaotic Systems: A Case for Buses of Kathmandu
Parameter Synthesis in Markov Models: A Gentle Survey
Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Semi-supervised Learning in Causal and Anticausal Settings
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic
Predictably Flexible Real-Time Scheduling
Interface Automata for Shared Memory
Clio: Schema Mapping Creation and Data Exchange
Implications of Deductive Verification on Research Quality - Field Study
Temporal Uncertainties in Cyber-Physical Systems
Extending Operation Semantics to Enhance the Applicability of Formal Refinement
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever
E-Government in der Finanzverwaltung
Da Ruan and Research Collaboration between Manchester University and SCK
Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Knowledge Sharing in Agile Software Teams
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
Der Prozeß Verantwortung
Dinitz' Algorithm: The Original Version and Even's Version
Equations in the Partial Semigroup of Words with Overlapping Products
Interfaces for Stream Processing Systems
Another Half Century of Progress in Fuzzy Logic?
Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen
Mathematics, Metaphysics and the Multiverse
The Strategy of Campaigning
Solving Parity Games, Very Slowly
Acceptability with General Orderings
New Program Abstractions for Privacy
A White Box Perspective on Behavioural Adaptation
Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Verification Support Environment
Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Maintaining Dublin Core as a Semantic Web Vocabulary
Approximate String Matching with Reduced Alphabet
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement
Proving Theorems About JML Classes
Compact Data Structures for Collections of Sets
Quantifier Elimination and Information Flow Control for Software Security
Chinese Memorial Plaque and Memoriam Book
Event-Based Service Coordination
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -
Quantitative Verification Techniques for Biological Processes
Undecidability of State Complexities Using Mirror Images
Graph Indexing Beyond Wheeler Graphs
Networks of Standard Watson-Crick D0 L Systems with Incomplete Information Communication
From Software Systems to Complex Software Ecosystems: Model- and Constraint-Based Engineering of Ecosystems
20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services
On the Computational Complexity of Hierarchical Radiosity
On Some Special Classes of Regular Languages
Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic
MassiveThreads: A Thread Library for High Productivity Languages
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems
On NFA Reductions
Distributed Services Attestation in IoT
Service Oriented Computing for Humans as Service Providers
A Weakly Universal Cellular Automaton in the Pentagrid with Five States
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c "
Laudatio in Honour of Professor Dr. Johannes Buchmann on the Occasion of His 60th Birthday
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses
Formal Frameworks for Verifying Normative Multi-agent Systems
On Locomorphism in Analytical Equivalence Theory
Statically and Dynamically Verifiable SLA Metrics
Fishing Fort: A System for Graph Analytics with ML Prediction and Logic Deduction
The Information/Knowledge society as Risk Society : Assessing and Enforcing IT safety and security standards for IT systems : about responsibility of experts and governments
Automated Reasoning Building Blocks
Do There Exist Languages With an Arbitrarily Small Amount of Context-Sensitivity
The Side-Chain Positioning Problem: A Semidefinite Programming Formulation With New Rounding Schemes
METEORs: High Performance Theorem Provers Using Model Elimination
Three Paths to Effectiveness
Eelco Visser as a Founding Member of the IFIP WG 2.11
Wortlängenhäufigkeit in J.W. v. Goethes Gedichten
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
Scott Smolka and Me
One-Class Semi-supervised Learning
The Grace of Quadratic Norms: Some Examples
A Survey on Picture-Walking Automata
Ugo Montanari and Friends
The Relativity Example: Is Terminological Innovation a Good Idea?
Reflections on Optimal and Nearly Optimal Binary Search Trees
Algorithms on Subtree Filament Graphs
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011
Domino Threads and Complexity
Data Flow Analysis for CCS
Notes from the Logbook of a Proof-Checker's Project
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs
Some of My Experiences and Views on Zadeh's Fuzzy Logic
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings
Modelling Evolvable Systems: A Temporal Logic View
Meta-reasoning: A Survey
Computer Science Unplugged and Related Projects in Math and Computer Science Popularization
Specific Patterns Against Reference Sequences
Algorithmic Simplicity and Relevance
Abstract Interpretation of Graphs
L-Convex Polyominoes: A Survey
Diversifikation bei Eigennamen
AMASIVE: An Adaptable and Modular Autonomous Side-Channel Vulnerability Evaluation Framework
Wavelet Tree, Part II: Text Indexing
Expression Reduction Systems and Extensions: An Overview
Graph Transformation with Variables
Data Modeling in Dataspace Support Platforms
Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics
Applying Random Linear Oracles with Fuzzy Classifier Ensembles on WiFi Indoor Localization Problem
The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
From Programming Language Design to Computer Construction
The Composition Heuristic
Give Probabilities a Fair Chance!
When Should an Implementation Attack Be Viewed as Successful?
Fixed Point Approach to Commutation of Languages
On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases
Gram's Equation - A Probabilistic Proof
From Service Identification to Service Selection: An Interleaved Perspective
Introduction to Ray Solomonoff 85th Memorial Conference
Better Upper Bounds for Searching on a Line with Byzantine Robots
Situation Calculus Meets Description Logics
Observing Partial Order Runs of Petri Nets
Computation on Structures - Behavioural Theory, Logic, Complexity
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment
Crypto Galore!
BCNF via Attribute Splitting
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults
An Excellent Guest Professor at Ghent University
A Generic Algorithm for Learning Symbolic Automata from Membership Queries
Löschungen in zufälligen binären Suchbäumen - Eine Geschichte der Irrungen
Abstract LR-Parsing
The Birth and Early Years of Parameterized Complexity
What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications
Parallel Composition of Constraint Automata
Annotation and More Annotation: Some Problems Posed by (and to) Val Tannen
An Adaptive Compression Algorithm in a Deterministic World
An Efficient Approximation Algorithm for the Steiner Tree Problem
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
Initial Conflicts and Dependencies: Critical Pairs Revisited
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines
The Logic of FOL Systems: Formulated in Set Theory
On the Locus of the Nucleolus
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE
On the Complexity of Verification of Time-Sensitive Distributed Systems
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries
Slow Abstraction via Priority
From Semantic Web Mining to Social and Ubiquitous Mining - A Subjective View on Past, Current, and Future Research
Artin's Conjecture and Size of Finite Probabilistic Automata
Techniques for Merging Views of Software Processes
Characterization of Finite Automata by the Images and the Kernels of Their Tranistion Functions
On Representing Actions in Multi-agent Domains
Multimodal Data Fusion
The Might of Formulas and Their Limits
Tracking Evidence
Chasing Parallelism in Aggregating Graph Queries
Opening: Homage to Michael Gelfond on His 65th Birthday
Grammar Systems for the Description of Certain Natural Language Facts
Computing the Maximum Bisimulation with Spiking Neural P Systems
Normal Natural Deduction Proofs (in Non-classical Logics)
Proving B with Atelier B
Processing Direction with Ordered Fuzzy Numbers
Runtime Monitoring Based on Interface Specifications
Inferring a Gene Regulatory Network from Gene Expression Data. An Overview of Best Methods and a Reverse Engineering Approach
Modular Criticality Analysis for Dynamic Fault Trees
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach
Data Communication Between the German NBC Reconnaissance Vehicle and Its Control Center Unit
Seamless Method- and Model-based Software and Systems Engineering
Quadratic Word Equations
Justifications and a Reconstruction of Parity Game Solving Algorithms
Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe
Stronger Validity Criteria for Encoding Synchrony
Admissible Strategies in Timed Games
On Being Rod's Graduate Student
O ( m log n ) Split Decomposition of Strongly Connected Graphs
Securing Node-RED Applications
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
On the Expressive Power of Valences in Cooperating Distributed Grammar Systems
What Do Semantics Matter When the Meat Is Overcooked?
Rediscovering Pushdown Machines
A Concatenation Game and the Dot-Depth Hierarchy
Protocol Analysis with Time and Space
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines
Thirty Years of Lisp Support for REDUCE
On Some Classes of Splicing Languages
On DOL Power Series over Various Semirings
Economy, Industry, Innovation and Technical Democracy
Demuth's Path to Randomness
The Quantitative Nature of Working Maps (WM) and Taxatorial Areas (TA)
Bitsliced High-Performance AES-ECB on GPUs
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems
Homomorphic Characterizations of Linear and Algebraic Languages
On script complexity and the Oriya script