yusuke1997/dblp-id-title huggingface dataset:
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification
Demonstrating Lambda Calculus Reduction
Universal and simple operations for gene assembly in ciliates
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules
The Government Pattern in the Explanatory Combinatorial Dictionary
Why Be Afraid of Identity? - Comments on Sergot and Prakken's Views
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity
From Colonies to Eco(grammar)systems
Memoryless Strategies in Stochastic Reachability Games
Hypermedia - from the Past to the Future
On the Nonterminal Complexity of Tree Controlled Grammars
Against All Odds: When Logic Meets Probability
System Architecture for Future Driver Assistance Based on Stereo Vision
Modeling Dynamical Phenomena in the Era of Big Data
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday
The Verigraph System for Graph Transformation
Culture Sensitive Aspects in Software Engineering
Symmetry of Information: A Closer Look
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi
Statistical Abduction with Tabulation
A Small Step for Mankind
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools
Das Menzerath-Gesetz in der Vulgata
Reasoning about Recursive Processes in Shared-Variable Concurrency
Der moderne Charakter des Computers
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude
Convergence and Nonconvergence Laws for Random Expansions of Product Structures
Formal Approaches to Teamwork
Learning the Value of Simplicity
From Linear Types to Behavioural Types and Model Checking
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas
Validating and Animating Higher-Order Recursive Functions in B
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Considerations on Belief Revision in an Action Theory
In Pursuit of the Dynamic Optimality Conjecture
Data Analytics from a Social Perspective
Answer Set; Programming?
An Overview on Automatic Capacity Planning
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Strong Universal Consistent Estimate of the Minimum Mean Squared Error
Flow Logic: A Multi-paradigmatic Approach to Static Analysis
Solving Graph Problems by P Systems with Restricted Elementary Active Membranes
The Adventure of Computer Science - Understanding the Impact of Informatics on General Education and Designing the Living Environment
Interaktive Produktkonzeptentwicklung mit DELI
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section
Syntactic Markovian Bisimulation for Chemical Reaction Networks
Cathoristic Logic
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs
Some Operators on Families of Fuzzy Languages and Their Monoids
Connecting First-Order ASP and the Logic FO(ID) through Reducts
How We Got Fuzzy (1976 - 1980)
Passive Automata Learning: DFAs and NFAs
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories
A Framework for Transforming Specifications in Reinforcement Learning
Crypto Santa
Sound and Complete Techniques for Reasoning About Termination
Derivatives of Quantitative Regular Expressions
On the Proof Theory of the Existence Predicate
A Snapshot of My Life
Towards Architectural Connectors for UML
Subsequence-Based Indices for Genome Sequence Analysis
Multiset Reaction Systems
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
Group Embedding of the Projective Plane PG(2, 3)
The Median Hypothesis
Some remarks on the generalized Hermite and generalized Gegenbauer probability distributions and their applications
Bob Kowalski: A Portrait
Deriving Effcient Graph Algorithms
An Unstable Hypergraph Problem with a Unique Optimal Solution
Why Predicative Sets?
Evidential Authorization
What are the Limitations of the Situation Calculus?
Auf dem Weg zur Reduktion der Komplexität des sozialen Koordinationssystems
Testing Hypotheses on English Compounds
Fast Merging and Sorting on a Partitioned Optical Passive Stars Network
Linking Theories of Concurrency
Two Three Pages Papers
A Critical Survey of Some Competing Accounts of Concrete Digital Computation
The Support Vector Tree
An Equational Characterisation of the Must Testing Pre-order for Regular Processes
Time-Optimum Smaller-State Synchronizers for Cellular Automata
Calculating with Automata
Relative Worst-Order Analysis: A Survey
Open Problems About Regular Languages, 35 Years Later
Obituary: In Memoriam Prof. Dr. Da Ruan
Verification of Distributed Algorithms with Algebraic Petri Nets
A Modal Account of Preference in a Fuzzy Setting
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Benign Interaction of Security Domains
Existential Fixed-Point Logic as a Fragment of Second-Order Logic
Identities and Transductions
On Radiocoloring Hierarchically Specified Planar Graphs: PSPACE -completeness and Approximations
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
Intelligent Home-Enjoying Computing Anywhere
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Soft Constraint Automata with Memory
Online Matching in Regular Bipartite Graphs with Randomized Adversary
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
From Japanese Art to Fuzzy Logic (A Personal Voyage on Soft Computing)
Testing Using X-Machine Translations
A Note on Turing's Three Pioneering Initiatives and on Their Interplays
The Symmetric Subset-Sum Problem over the Complex Numbers
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property
Duality for Three: Ternary Symmetry in Process Spaces
Object-Oriented Concurrent Programming in ABCL/1
Automatic Dimensional Inference
Algebraic derivation of an operational semantics
Discretization of Continuous Dynamical Systems Using UPPAAL
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models
Lazy Execution of Boolean Queries
Unifying Semantics for Concurrent Programming
Rethinking MAPE: Next Generation Adaptation Control for Learning Adaptive Systems
From Quantum Query Complexity to State Complexity
Virtualization Technologies and Cloud Security: Advantages, Issues, and Perspectives
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Fitting the development of periphrastic do in all sentence types
Masking with Randomized Look Up Tables - Towards Preventing Side-Channel Attacks of All Orders
Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 2 6 . birthday
Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs
On Fuzzy Theories with Crisp Sentences
On Distance-3 Matchings and Induced Matchings
On Negations in Boolean Networks
Some Transfinite Generalisations of Gödel's Incompleteness Theorem
Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday
Template-Guided Recombination: From Theory to Laboratory
Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
IoTSec: A Lightweight and Holistic IoT Security Based on IoT Data Contextualisation and Homomorphic Encryption
Sharing in the Weak Lambda-Calculus
Dexter Kozen: An Appreciation
Superdeduction at Work
Probabilistic and Quantum Event Structures
Howard Barringer: the Man who Invented the Past
From Database to Cyber Security - Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday
The Truth about Defaults
Combinatorial Auctions, an Example of Algorithm Theory in Real Life
Formal Modelling for Cooking Assistance
Modeling Life: A Conceptual Schema-centric Approach to Understand the Genome
"Jim, I Have a Question for You": My Travels with Lotfi Zadeh
Simplification and Quality of the Legal System
Adaptive and Autonomous Systems and Their Impact on Us
Ambiguity in Requirements Engineering: Towards a Unifying Framework
Partial Valuation Structures for Qualitative Soft Constraints
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Refinement-Based Verification for Possibly-Cyclic Lists
Mathematical Proofs at a Crossroad?
Towards a Grand Unification of Büchi Complementation Constructions
The early education of Ada Byron
Uniformization of Rational Relations
Evolutionary Fuzzy Systems: A Case Study in Imbalanced Classification
Faceted Lightweight Ontologies
One-Hot Encoding and Bloom Filter Encoding in the Context of Privacy Preserving Record Linkage (PPRL)
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Towards a Behavioural Theory for Random Parallel Computing
Deniable RSA Signature - The Raise and Fall of Ali Baba
One-Sided Random Context Grammars with Leftmost Derivations
A Guiding Framework for IoT Servitization
Computing Average Response Time
LOTOS-Like Composition of Boolean Nets and Causal Set Construction
A Manifesto 4 Longevity as a Biomedical Paradigm Shift - Challenging Entrenched Wisdoms in Healthcare Economics
New Advances in the Aggregation of Asymmetric Distances. The Bounded Case
A Retrospective Glance from Russia at Wonderland of Fuzziness
HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Ada - On the Acceptance Problems of a Planned Innovation
On Ontological Categories
Conformal Predictive Distributions with Kernels
Information Management in Distributed Healthcare Networks
Wallpaper Maps
On the Pagination of Complex Documents
Intelligent Data Analysis, Soft Computing and Imperfect Data
A Knowledge Integration Framework for Information Visualization
Behavioral Rewrite Systems and Behavioral Productivity
Learning Families of Closed Sets in Matroids
Statistical analogs in DNA sequences and Tamil language texts: rank frequency distribution of symbols and their application to evolutionary genetics and historical linguistics
How to Generate Binary Codes Using Context-Free Grammars
How Many First-order Variables are Needed on Finite Ordered Structures?
On the Relations and Differences Between Popper Dimension, Exclusion Dimension and VC-Dimension
Coordination of Actions in an Autonomous Robotic System
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions
What's Next? Future Directions in Parameterized Complexity
The Challenges Raised by the Privacy-Preserving Identity Card
Qualitative and Semi-Quantitative Modeling of Uncertain Knowledge - A Discussion
Generalizing Cook's Transformation to Imperative Stack Programs
Dependently Typed Languages in Statix
From Particle Fluctuations to Macroscopic Evolution Equations: The Case of Exclusion Dynamics
Tools and Behavioral Abstraction: A Direction for Software Engineering
The Power of Spreadsheet Computations
Finding Palindromes: Variants and Algorithms
The Hidden Side of Jean-Jacques Quisquater
Argumentation as Exogenous Coordination
Fixed-Parameter Tractability of Treewidth and Pathwidth
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
Compsing Re-usable Synthesis Methods through Graph-based Viewpoints
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Visual Representation of von Koch Fractals
Management leistungswirtschaftlicher Risiken in Industrieunternehmen - Eine theoretische und empirische Untersuchung
Abstract Counterexample-Based Refinement for Powerset Domains
Fuzzy Relations and Cognitive Representations
Cellular Automata: Descriptional Complexity and Decidability
A Systems Perspective on A3L
Sticker Systems: An Application to Relative Clauses and Multiple Subject/Object Generation in Catalan
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms
The VATES-Diamond as a Verifier's Best Friend
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics
Strategies for RNA-Guided DNA Recombination
Expansive-Bisimulation for Context-Free Processes
Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars
How the Brain Adjusts Synapses - Maybe
Caution! Robot Vehicle!
A Proof System for a PGAS Language
Galois Theory, Splitting Fields, and Computer Algebra
Stone duality for first-order logic: a nominal approach to logic and topology
A Nonlinear Markovian Characterization of Time Series Using Neural Networks
Developing Machine Intelligence within P2P Networks Using a Distributed Associative Memory
New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday]
An Excellent Guest Professor in Hasselt University
Integration of Graph Constraints into Graph Grammars
Asynchronous Traces and Open Petri Nets
Toward Question Answering in Travel Domains
From Block Designs to Codes to Crypto and Back Again
TCC, with History
Artificial Biochemistry
General Size-Change Termination and Lexicographic Descent
Die elektronische Gerichtsakte. Eine Herausforderung und Chance für die Rechtsinformatik
30 Years of Contributions to Conceptual Modeling
On the Implementation of Concurrent Objects
Some Remarks on Relational Database Schemes Having Few Minimal Keys
Organisation, Benutzer und Software
Properties and Relations of Tableau and Connection Calculi
Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics
Lowness, Randomness, and Computable Analysis
Learning Generalized Stochastic Petri Nets From Event Data
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
Quasi-Distances and Weighted Finite Automata
Timing is All You Need
Wheeler Graphs and Wheeler Languages
The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs
SPOCK: A Feasibility Study on the Completeness of Part Lists
Enhancing Tropos with Commitments
Ugo Montanari and Graph Transformation
Graph Minors and Parameterized Algorithm Design
Spot the Difference: A Detailed Comparison Between B and Event-B
Systematic Development of Complex Web-Based User Interfaces
On Models for Quantified Boolean Formulas
Circumscription and Authority
On Distance Coloring - A Review Based on Work with Dexter Kozen
Education and Society
The Inherent Indistinguishability in Fuzzy Systems
Stochastic Model Checking of the Stochastic Quality Calculus
On the Equivalence of Data Representations
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Which Major Legal Concerns in future e-Health?
Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1
Professor Da Ruan's Academic Activities with His Turkish Friends
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning
Overview of Reconfigurable Petri Nets
Wissensmanagement: Einige Konzepte & Technologien
Computational Logic and Agent Based Systems
Algorithms for Robbins' Problem Using Markov Decision Processes
The New Problems
A Scalable Segmented Decision Tree Abstract Domain
A Pebble Game for Internet-Based Computing
On StocS: A Stochastic Extension of SCEL
Boosting Fault Tree Analysis by Formal Methods
Regular Model Checking: Evolution and Perspectives
Further Remarks on Context-Free Grammars with Subregular Control Languages
Perspectives on Automated Deduction
Can non-monotonic logics model human reasoning?
Kybernetisches Prozessmanagement - Wurzel moderner IT-Governance
Computing Boolean Functions via Quantum Hashing
An Appreciation of Dexter Kozen
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators
Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey
Cloud Blueprints for Integrating and Managing Cloud Federations
Primitive Recursive Word-Functions of one Variable
Identities of the Kauffman Monoid K 4 and of the Jones Monoid J 4
Operational State Complexity of Prefix-Free Regular Languages
FLER: Fuzzy Logic-Based Energy Efficient Routing for Wireless Sensor Networks
Specifying, Programming and Verifying with Equational Logic
Fields, Meadows and Abstract Data Types
Deriving Specifications for Systems That Are Connected to the Physical World
On Languages Defined by Numerical Parameters
Nicht ganz ohne . .
Decidability of Circumscribed Description Logics Revisited
Process Calculi Abstractions for Biology
State Complexity of Combined Operations for Prefix-Free Regular Languages
Quake Heaps: A Simple Alternative to Fibonacci Heaps
Intelligent Decision Support: A Fuzzy Stock Ranking System
Alternatives to the Ramsey Test
Two Decades of Maude
Nesting Patterns in Fibred Logics of Context
Algorithmic Bioprocesses
On the Arrangement Complexity of Uniform Trees
A New Perspective on Conformance Testing Based on Apartness
Towards a Proof System for Probabilistic Dynamic Logic
Bounds for Scheduling Jobs on Grid Processors
Revealing the Trajectories of KLAIM Tuples, Statically
A Formal Semantics for Traffic Sequence Charts
On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1
"Fuzzy" in Georgian is "aramkapio"
On Failure of 0-1 Laws
Via Detours to I/O-Efficient Shortest Paths
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems
Search Support in Data Management Systems
Public Key Encryption for the Forgetful
Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
On Abstract Families of Languages, Power Series, and Elements
DNA Sequence Classification Using DAWGs
Safe and Optimal Adaptive Cruise Control
Existential Semantics for Modal Logic
Domain Model for Medical Information Extraction - The LightMedOnt Ontology
Betweenness in Order-Theoretic Trees
On the Interpretation and Characterization of Echo State Networks Dynamics: A Complex Systems Perspective
Recovery Blocks
Bayesian Ordinal Aggregation of Peer Assessments: A Case Study on KDD 2015
Discrete Random Variables Over Domains, Revisited
Source-Level Reasoning for Quantifying Information Leaks
Effective Closed Subshifts in 1D Can Be Implemented in 2D
Deon + : Abduction and Constraints for Normative Reasoning
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
From DSS to MILS - (Extended Abstract)
eBusiness-Strategien: Vorgehensmodelle zur Strategieentwicklung
You Can Program What You Want but You Cannot Compute What You Want
Local grammars in word counting
An efficient method for representing and transmitting message patterns on multiprocessor interconnection networks
Matrix Equations and Normal Forms for Context-Free Grammars
Token-Free Petri Nets
Analysis of Temporospatial Gait Parameters
Integrated Software Process and Product Lines
Communities and Ancestors Associated with Egon Börger and ASM
Von der Kommunikationsstrukturanalyse zur Knowledge Modeling and Description Language
Privacy from Accelerating Eavesdroppers: The Impact of Losses
From LCF to HOL: a short history
The Recursive Union of Some Gradual Types
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
Pierpaolo Degano
The Turing Complexity of AF C * -algebras with Lattice-ordered K o
From Löwenheim to PSL and SVA
Mixed Orthogonal Arrays, k-Dimensional M-Part Sperner Multifamilies, and Full Multitransversals
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
Secure Data Flow in a Calculus for Context Awareness
Challenges of Evaluating the Quality of Software Engineering Experiments
On Distributed Computing on Elliptic Curves
Reversible Elementary Triangular Partitioned Cellular Automata and Their Complex Behavior
Morphisms and Weak-Ratio Property
Splicing systems using merge and separate operations
Formal Approach to Railway Applications
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL
FPT Suspects and Tough Customers: Open Problems of Downey and Fellows
Anytime Algorithms in Time-Triggered Control Systems
The Relative Power of Semantics and Unification
Some Results on Bounded Context-Free Languages
Quantitative linguistics within Czech contexts
A General Framework for Regulated Rewriting Based on the Applicability of Rules
Analyzing Product Comparisons on Discussion Boards
Soliton Automata with Multiple Waves
On Entropic Convergence of Algorithms
Domino Problem for Pretty Low Complexity Subshifts
Quantum Machine Learning and Fraud Detection
A Tribute from the Band
Argumentation and the Event Calculus
Important Aspect of Knowledge Management
The effects of diversification and unification on the inflectional paradigms of German nouns
A Survey of Algorithms and Models for List Update
On the Existence of Practical Testers
Machine Learning Methods for Enhanced Cyber Security Intrusion Detection System
A Modular Verification Methodology for C# Delegates
Ancient Typefaces and Parametric Weighted Finite Automata
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig
Reflections on Monadic Lenses
Substitution on Trajectories
Concurrency, Parallelism, Asynchrony and Life
Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe
Navigation, Adaption und Information Retrieval: Informationstechnik im Dienst des Buchkaufs
From Soft Agents to Soft Component Automata and Back
Modal Logic for Preference Based on Reasons
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings
Relationships Between Semantics for Relational Probabilistic Conditional Logics
Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs
Two New Results for Identification for Sources
On Axiomatizations of General Many-Valued Propositional Calculi
Personal Note: Working with Farhad Arbab 1990-2005
System Behaviour Models with Discrete and Dense Time
Overview: System Architecture Virtual Integration based on an AADL Model
Monotonicity in Calculational Proofs
Data Quality Problems beyond Consistency and Deduplication
Patterns for Prolog Programming
On Graph Burning and Edge Burning
Abduction and Cognition in Organic and Logical Agents
Nursing Informatics Integration into Mainstream Health Informatics
Bemerkungen zum Menzerath-Altmannschen Gesetz
Fuzzy Sets, Rough Sets, Multisets and Clustering
An Appreciation of the Work of Reinhard Wilhelm
Consistent Demands for Coalition Formation
Conflation Confers Concurrency
On the Generalized Membership Problem in Relatively Hyperbolic Groups
On the General Coloring Problem
Automated Reasoning: Essays in Honor of Woody Bledsoe
Arbitrarily Varying and Compound Classical-Quantum Channels and a Note on Quantum Zero-Error Capacities
Compositional Solution of Mean Payoff Games by String Diagrams
Route Planning and Map Inference with Global Positioning Traces
Semiring Provenance in the Infinite
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory
The Reliable Algorithmic Software Challenge RASC
Gradual Structures of Oppositions
A Logic-Inspired Approach to Reconfigurable System Modelling
Gröbner Bases in Elimination Theory
Fuzzy Observation of DDoS Attack
Employing Computer Algebra for Classifying Mathematical Web Content
A diachronic study of the style of Longfellow
Braverman's Spectrum and Matrix Diagonalization Versus iK-Means: A Unified Framework for Clustering
The What-To-Ask Problem for Ontology-Based Peers
Complexity and Approximation - In Memory of Ker-I Ko
On the Generative Power of Iterated Transductions
On Spatial Reasoning via Rough Mereology
Regularly controlled formal power series
Simple Deformation of 4D Digital Pictures