yusuke1997/dblp-id-title huggingface dataset:
A Personal Perspective on the Evolution of Empirical Software Engineering
Arithmetical Congruence Preservation: From Finite to Infinite
Business Process Modeling for Organizational Knowledge Management
Comparing Source Sets and Persistent Sets for Partial Order Reduction
My Journey into the World of Fuzziness
Complexity of Evolving Interactive Systems
Neural Programs: Linking Probabilistic and Differential Programming
Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Provenance in a Modifiable Data Set
Between Brackets
Contagion Dynamics in Complex Networks
Is the Universe Like π or Ω?
Formalising a Hazard Warning Communication Protocol with Timed Automata
Resource Allocation Challenges in the Cloud and Edge Continuum
Solving Fixed Point Equations over Complete Semirings
Management des operationalen Risikos der Informationswirtschaft in Banken
A Program-Size Complexity Measure for Mathematical Problems and Conjectures
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II
GAMBUSE: A Gap Analysis Methodology for Engineering SOA-Based Applications
Collaborative Online Learning of an Action Model
Enlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer
A Computability Challenge: Asymptotic Bounds for Error-Correcting Codes
Romanian online dialect atlas: Data capture and presentation
Counter Machines: Decision Problems and Applications
Derivatives of Regular Expressions and an Application
Logical Approaches to Authorization Policies
The Decidability of the Generalized Confluence Problem for Context-Free Languages
A Case Study in Word Sketches ? Czech Verb videt 'see'
A Metaphor and User Interface for Managing Access Permissions in Shared Workspace Systems
Symmetries and Dualities in Name-Passing Process Calculi
i* or Not i*, This Was the Question
On One Approach to Robot Motion Planning
A Survey of Model Learning Techniques for Recurrent Neural Networks
Representation of Uzbek Morphology in Prolog
The Development and Writing of "Process Structuring"
Remarks on Relativisations and DNA Encodings
On the Connected Partition Dimension of a Wheel Related Graph
Varieties of Context
Order statistics for histogram data and a box plot visualization tool
Formal Methods Analysis of the Secure Remote Password Protocol
Living Modeling of IT Architectures: Challenges and Solutions
Secure Communication over Zero-Private Capacity Quantum Channels
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Symbolic Data Analysis and Visualization: Special Issue in honor of Monique Noirhomme-Fraiture
Security Analysis of the Modular Enhanced Symmetric Role Authentication (mERA) Protocol
Paving the Way for Computer Science in German Schools
A Note on Multidimensional Dyck Languages
State Complexity of Kleene-Star Operations on Trees
On Testing Generalized Stream X-Machines
Some Personal Recollections
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties
To Show or Not to Show in Workflow Provenance
Obituary in SCK Website: In Memoriam Da Ruan: http://www.sckcen.be/fr/Nouvelles/In-Memoriam-Da-Ruan
Deep Neural Networks - A Brief History
A note on a systems theoretical model of usage
Universal Actability of and with Knowledge: Managing and Communicating Knowledge with Patterns
Juristische Argumentation als Modellierungsprozess
Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Density-Based Group Testing
Binary Extensions of S1S and the Composition Method
Deep Learning in the Natural Sciences: Applications to Physics
A Personal History of Delta Modelling
Besuch bei alten Bekannten - Zu den Sprachspielen mit dem Informationsbegriff
Fairness and Liveness Under Weak Consistency
Improving the Success Probability for Shor's Factorization Algorithm
On the Concept of Compositional Complexity
A Classification Theorem for Continuous Quasi-Uninorms
Effective Model-Based Testing
The ASMETA Approach to Safety Assurance of Software Systems
Abstract Constraint Data Types
A Long, Slow Conversation
The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Towards a Logic Language and Framework for Web Programming
Modular Verification of Recursive Programs
Static Race Detection for Periodic Real-Time Programs with IPCP Locks
P Colonies and Their Extensions
You have not understodd a sentence, unless you can prove it
Multi-Bracketed Contextual Rewriting Grammars with Obligatory Rewriting
Maintaining Ideally Distributed Random Search Trees without Extra Space
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
Model Transformation Languages and Their Implementation by Bootstrapping Method
Teaching Design by Contract Using Snap!
Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Introduction to part IV
The Arduous Road of Modelling: Excerpts from Records of an Enjoyable Co-operation of Nearly 20 Years
The Binomial Heap Verification Challenge in Viper
Simple Driving Techniques
Compactness of Systems of Equations on Completely Regular Semigroups
Fuzzy Numbers Applied to a Heat Furnace Control
Repetitions and Boxes in Words and Pictures
Asymptotic Complexity and Performance Comparison of Falcon and SOLMAE using their C Implementation
Visualization in Digital Libraries
Are word senses reflected in the distribution of words in text?
Analyzing Value Functions of States in Parametric Markov Chains
Multisimulations: Towards Next Generation Integrated Simulation Environments
A Simple Proof of the Genericity Lemma
Characteristic Words for Parikh Matrices
Path Partitions, Cycle Covers and Integer Decomposition
Invisible Invariants Are Neither
Random Measurable Selections
Toward an Algorithmic Metaphysics
Provenance-Directed Chase&Backchase
Classical and Quantum Computations with Restricted Memory
Generalized Homogeneous P-Systems
COLLANE: An Experiment in Computer-Mediated Tacit Collaboration
Goodbye ioco
Information Flow, Distributed Systems, and Refinement, by Example
Distributed Cooperation and Adversity: Complexity Trade-Offs
Experimental Analysis of Involutive Criteria
The Cost of Monitoring Alone
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
Just a Drop - A Deadline-Based Approach to Minimize Delays in Video Streaming
Reasoning in Dynamic Logic about Program Termination
Optimal 2DFA Algorithms for One-Way Liveness on Two and Three Symbols
Semantic Unification - A Sheaf Theoretic Approach to Natural Language
On Implicit Meanings
Liars, Demons, and Chaos
Strict Canonical Constructive Systems
Key Concepts for Native XML Processing
Main Concepts of Networks of Transformation Units with Interlinking Semantics
Conformal Predictions for Hybrid System State Classification
Reasoning About Weak Semantics via Strong Semantics
Line Directed Hypergraphs
On the Containment of Conjunctive Queries
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
Classification Validity Index
Model Check What You Can, Runtime Verify the Rest
Fairness for Infinitary Control
Stochastic Modelling and Simulation of Mobile Systems
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Business-to-Business Integration Technology
Towards End-to-End GPU Acceleration of PCTL Model Checking
Characterization of Simulation by Probabilistic Testing
Bounded Deterministic Push-Down Automata
A Refinement Proof for a Garbage Collector
Cyber-Physical Systems Education: Explorations and Dreams
The AI Act and Some Implications for Developing AI-Based Systems
Professor Da Ruan in Shanghai University
To Da Ruan, Our Friend Forever
DUAL-USE: Berücksichtigung militärischer Anforderungen bei der zivilen Entwicklung neuer Technologien
Fuzziness in CAR: Fuzzy Procedures for Robots and Cars
On the Power of RRWW-Automata
The Resale-Proof Trade of Information as a Stable Standard of Behavior - An Application of the Theory of Social Situations
Terminology and Referential versus Connotated Neologisation, II: Illustration from a Few Domains
eBook-Angebotskonzepte von Aggregatoren für Bibliotheken
Partial Solutions with Unique Completion
Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos
Types from Control Flow Analysis
Composition Sequences and Synchronizing Automata
Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories
Linked Compute Units and Linked Experiments: Using Topology and Orchestration Technology for Flexible Support of Scientific Applications
Influence Maps: Exploring the Dependencies Between "Soft" and "Hard" Requirements
On omega-power Languages
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
Towards Modular Algebraic Specifications for Pointer Programs: A Case Study
Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries
Modeling and Verification of Business Processes and Choreographies in ALP
Reality-and-Desire in Ciliates
Tea Times with Gelfond
On the Existence of Network Invariants for Verifying Parameterized Systems
Probabilism versus Alternation for Automata
Teaching Academic Concurrency to Amazing Students
Enrich-by-Need Protocol Analysis for Diffie-Hellman
Investigation of an Ecological System by Using an Abstract Rewriting System on Multisets
Supervision of Intelligent Systems: An Overview
Implementing a Practical Spatio-Temporal Composite Event Language
WEBRSIM: A Web-Based Reaction Systems Simulator
A Biographical Sketch of W. W. Bledsoe
Fuzzy Objects
From Testing Agent Systems to a Scalable Simulation Platform
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman
Elementary Algebraic Specifications of the Rational Complex Numbers
On Prize Games
Burstiness of Verbs and Derived Nouns
Information als logischer Abstraktor? Überlegungen zum Informationsbegriff
On Promise Problems: A Survey
Connectivity and Connected Components in the Number-in-Hand Computation Model
Testing Divergent Transition Systems
Hybrid Multirate PALS
On Dependency Analysis via Contractions and Weighted FSTs
From Reinforcement Learning to Deep Reinforcement Learning: An Overview
BWT and Combinatorics on Words
Logic, Probability, and Rough Sets
A Note on the Position Value for Hypergraph Communication Situations
Fuzzy Transform for Coding/Decoding Images: A Short Description of Methods and Techniques
A New Mathematical Model for the Heat Shock Response
The Quest for Uncertainty
On the Advice Complexity of Online Edge- and Node-Deletion Problems
Secret Key Leakage from Public Key Perturbation of DLP-Based Cryptosystems
Oscillating Behavior of Logic Programs
A Survey on the Complexity of Flood-Filling Games
Nativised, Playfully Aetiologised Literary Zoonyms, I: The Squirrel Cuckoo. Rich Onomasiology, Semantic Calques, and Phono-Morphological Matching, Encapsulated into a Stylemically Constrained Narration
A Master Class on Recursion
Asynchronous Global Protocols, Precisely
Betriebssysteme und Rechnerverbund
Optimization under Fuzziness
"It's Etymology Captain, but Not as We Know It": Pump in North Australia
Frugal Streaming for Estimating Quantiles
A language of thoughts is no longer an utopia
One Zoonym, Two Parents: Mendele's Phono-Semantic Matching of Animal Terms, and Later Developments of Lexical Confluence in Modern Hebrew Zoonymy
Of Concurrent Data Structures and Iterations
Self-Improving Behavior Arbitration
A Foundation for Computable Analysis
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday
Physical Aspects of Oracles for Randomness and Hadamard's Conjecture
Critical Density for Network Reconstruction
Locally Static, Globally Dynamic Session Types for Active Objects
Innovating Medical Image Analysis via Spatial Logics
A Unifying Kleene Theorem for Weighted Finite Automata
On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata
Grammars for Terms and Automata - On a book by the late J. Richard Büchi
Application of Device-to-Device Communication in Video Streaming for 5G Wireless Networks
Checking the Expressivity of Firewall Languages
Proof, Language, and Interaction, Essays in Honour of Robin Milner
Learning Picture Sets from Examples
A Step towards Merging xUML and CSP || {\| \ }B
Toward a theory of syntax and persuasive communication
Using Fuzzy Measures to Construct Multi-criteria Decision Functions
Theory of Disjunctive Logic Programs
Partial Recursive Functions and Finality
Clever Arbiters Versus Malicious Adversaries - On the Gap Between Known-Input Security and Chosen-Input Security
A Personal Odyssey in Health Informatics: The Journey to Ithaca
On Natural Representations of Objects
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Laudatio for Prakash Panangaden
A q-Analogue of the Parikh Matrix Mapping
The Identities of Local Threshold Testability
On Possibilistic Dependencies: A Short Survey of Recent Developments
Asymptotic Subword Complexity
Abstract State Machines for Data-Parallel Computing
Identifiable Kernel P Systems
The Belgian Electronic Mathematical Machine (1951-1962): An Account
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq
Michael Gelfond: Essay in Honour of His 65th Birthday
On the Application of Algorithmic Probability to Autoregressive Models
5G Network Slicing Security
Do Humans Reason with E -Matchers?
A Framework for Defining and Comparing Modelling Methods
Die Menge aller gültigen Festschriften: Ein automatenbasierter Ansatz
On Weighting Triangles Using Fuzzy Relations and Its Application to Aggregation Functions
Some Results for Elementary Operations
Pervasive Theory of Memory
Splicing Systems from Past to Future: Old and New Challenges
Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Minimalist Grammars in the Light of Logic
How Much "Fuzzy" Has Been (and Is) My Life? A Few Impressions from a Physicist Debated between Experiments and Data Analysis of High-Energy Astrophysics
Transducers with Programmable Input by DNA Self-assembly
Model-Based Design of Concurrent Programs
How to Read a Signature?
The Historical Significance of the Cambridge Genizah Inventory Project
Conjoinability in 1-Discontinuous Lambek Calculus
Issues in Quantitative Linguistics 4, Dedicated to Reinhard Köhler on the occasion of his 65th birthday
Toward a Formal Model for Group Polarization in Social Networks
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine?
Some Results on the Expressive Power and Complexity of LSCs
Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente
Fast Intersection Algorithms for Sorted Sequences
Component-Based Security Policy Design with Colored Petri Nets
Z.B. Reinhold Franck - Anmerkungen zum Thema "Wissenschaftler und Leben"
The Reactive Engine for Modular Transducers
Online Job Admission
Tribute to Peter Mosses
Benchmarks for Automata Learning and Conformance Testing
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols
Niching Methods: Speciation Theory Applied for Multi-modal Function Optimization
Introduction to Autoreducibility and Mitoticity
Why E-Learning as It Stands Is Not Enough
Balance Machines: Computing = Balancing
Collaborating with Hans: Some Remaining Wonderments
Automated Synthesis of Software Contracts with KindSpec
Product Optimization in Stepwise Design
Special Effects; or, The Tooling Is Here. Where Are the Results?
Some Properties of Multistage Interconnection Networks
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
Object-Oriented Programming - Does it Help in Computer Graphics?
Essays in Production, Project Planning and Scheduling, A Festschrift in Honor of Salah Elmaghraby
Semilattices of Fault Semiautomata
On Categories of Nested Conditions
Invertible Construction of Decimal-to-Binary Converter Using Reversible Elements
Gradual Numbers and Fuzzy Solutions to Fuzzy Optimization Problems
A Comparison of Performance of Rough Set Theory with Machine Learning Techniques in Detecting Phishing Attack
Covering a Tree by a Forest
The Role of Digital Libraries in Moving Toward Knowledge Environments
Kleene Theorem in Partial Conway Theories with Applications
A Review on Rough Set-Based Interrelationship Mining
Probability Theory on IF Events
Semantic Splitting of Conditional Belief Bases
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It)
Segment Translation Systems
Linguistic Grammar Systems: A Grammar Systems Approach for Natural Language
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
Modal Tableaux: Completeness vs. Termination
The Early Development of SETL
Deterministic Cooperating Distributed Grammar Systems
Institut für Computergraphik
Proofs of Termination and the "91" Function
Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
On Fuzziness: Empiricism and Cross-Disciplinarity Unbounded
Formal Grammars of Early Language
Program Transformation via Contextual Assertions
Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann
A System Z-like Approach for First-Order Default Reasoning
Handling the Evolution of Information Systems: An Overview of Challenges and Prospective Solutions
Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata Leverage
From Logic to Theoretical Computer Science - An Update
Judgment Aggregation in Abstract Dialectical Frameworks
Lazy functions and mobile processes
Overview on Decentralized Establishment of Multi-lateral Collaborations
A complete axiom system for finite-state probabilistic processes
Resurgence of Informatics Education in Schools - A Way to a Deeper Understanding of Informatics Concepts
Remembering Ed Dawson
The Automorphism Group of Falsum-Free Product Logic
Introduction to part V
On the Impact of Information Technologies on Society: an Historical Perspective through the Game of Chess
Generalized Lindenmayerian Algebraic Systems
Probabilistic Counterexamples Through the Ages
Counter machines and the safety and disjointness problems for database queries with linear constraints
On the topological complexity of tree languages
Collaborative Machine Learning
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Seventy Years of Computer Science
Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
A Reconstruction of Ewens' Sampling Formula via Lists of Coins
Let the Fingers Do the Walking: Object Manipulation in an NF 2 Database Editor
Core Decomposition, Maintenance and Applications
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof
A Type Theory for Probabilistic λ-calculus
Jifeng He at Oxford and Beyond: An Appreciation
Prototype Based Fuzzy Clustering Algorithms in High-Dimensional Feature Spaces
Large-Scale Linear Computations with Dedicated Real-Time Architectures
Symbolic Quantitative Information Flow for Probabilistic Programs
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities
Linear Automata, Rational Series and a Theorem of Fine and Wilf
Dealing with Complexity Using Conceptual Models Based on Tropos
Wang at MDU in a Nutshell
The Softer Side of a Formal Methods Researcher
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems
(Non-)Equivalence of Universal Priors
A Note on the Recognition of Nested Graphs
a-logic
Towards Leveraging Domain Knowledge in State-Based Formal Methods
A Simple Linear-Space Data Structure for Constant-Time Range Minimum Query
Conceptual Modeling of Human Genome: Integration Challenges
When Is a Formula a Loop Invariant?
Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems
Selected Topics in Computational Complexity of Membrane Systems
Efficient Join Order for Constraint Automata Through LLM-Generated Heuristics
Self-stabilization Through the Lens of Game Theory
From Primal Infon Logic with Individual Variables to Datalog
Bounded Reversibility in HO$$\pi $$
Spatial Perspectives in Event Processing
Dimensions of Semantic Similarity
On Some Open Problems Concerning the Complexity of Cellular Arrays
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Extreme Model Checking
Benchmarking Applied Semantic Inference: The PASCAL Recognising Textual Entailment Challenges
Formal Analysis of Hierarchical State Machines
On Power Series over a Graded Monoid
Operand Folding Hardware Multipliers
On General Solution of Word Equations
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
A Note on Unification, Subsumption and Unification Type
A Spectral Outlook on the Elementary Cellular Automata with Cyclic Configurations and Block-Sequential Asynchronous Updates
Scorecard-Kennzahlen durch Data Mining
Soft Computing Based Optimization and Decision Models - To Commemorate the 65th Birthday of Professor José Luis "Curro" Verdegay
Universal Algorithms for Parity Games and Nested Fixpoints
Model Theory for Process Algebra
Search Schemes for Approximate Pattern Matching: An Overview
Abstract Interpretation of PEPA Models
Hitting Buneman Circles
Da Was Near with Me in the Very Important Stages of My Life
Making Experiments Dependable
Simply the Best: A Case for Abduction
Loss Functions
Automata-Based Behavioural Contracts with Action Correlation
Counting in trees
Reasoning about Strategies
Towards Reducing Parallelism in P Systems
Unique-Solution of Equations in Higher-Order Process Calculi with Passivation
Compressible Reparametrization of Time-Variant Linear Dynamical Systems
Towards Modular Compilation Using Higher-Order Effects
Smart Contracts: A Killer Application for Deductive Source Code Verification
The Hydra Battle Revisited
A Basic Compositional Model for Spiking Neural Networks
From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language
Chocolate P Automata
On Almost Future Temporal Logics
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin
A Metalogic Programming Approach to Multi-Agent Knowledge and Belief
Extended Abstract: Getting Engaged
Logic-Programming Schemes and Their Implementation
Ordered Fuzzy Numbers: Definitions and Operations
Dynamic Maintenance of an Integrated Schema
Words, Dyck Paths, Trees, and Bijections
The Importance of Being Eelco
Negative Results about the Length Problem
Misha Braverman: My Mentor and My Model
Random Databases with Correlated Data
Evaluating Programs Formed by Example: An Informational Heuristic
Model Centered Architecture
Der h2-lndex: Zur vermessenen Vermessung der wissenschaftlichen Welt
Some Remarks on the Statistical Analysis of SVMs and Related Methods
Soft Computing Methods in Transport and Logistics
Verwaltungsdurchblick mit Verwaltungsdurchklick
Nested Petri Nets for Adaptive Process Modeling
Local Search Heuristics for the Multidimensional Assignment Problem
A Probabilistic Characterization of Allocation Performance in a Worker-Constrained Job Shop
Type Theory as a Language Workbench
Surfing with Rod
Generating Hard Benchmark Problems for Weak Bisimulation
Anthropozentrik und Sprachbasierung in der (Wirtschafts-) Informatik
Tale Variants and Analysis in Episodic Formulae: Early Ottoman, Elizabethan, and "Solomonic" Versions
A Glimpse at Paul G. Spirakis
Soft Consensus Models in Group Decision Making
In the Beginning Was the Word, and the Word Was Fuzzy
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities