yusuke1997/dblp-id-title huggingface dataset:
Nichtsequentielle Programmierung mit Eiffel
Parchments for CafeOBJ Logics
lambda-calculus, multiplicities, and the pi-calculus
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL
On the Reversibility of ECAs with Fully Asynchronous Updating: The Recurrence Point of View
Reasoning in Paraconsistent Logics
On the Equivalence of Finite Substitutions and Transducers
On Argumentation-based Paraconsistent Logics
The Merits of Compositional Abstraction: A Case Study in Propositional Logic
Type Checking Evolving Languages with MSOS
Acceptance of omega-languages by communicating deterministic turing maching
My Meetings with Da
SAT-Based Cooperative Planning: A Proposal
Consensus Modelling in Group Decision Making: A Dynamical Approach Based on Zadeh's Fuzzy Preferences
The Role of Visualization in Understanding Data
Die Rückwirkung von Werkzeugeinsatz auf die Kultur: Wie Informationstechnik unsere Wissens- und Rechtskultur verändert
DNA Hybridization, Shifts of Finite Type, and Tiling of the Integers
Model Driven Engineering in Operative Industrial Process Control Environments - - Overview -
On Natural Non-dcpo Domains
Personalization for the Web: Learning User Preferences from Text
On the Generative Capacity of Splicing Grammar Systems
Blockchain-Based Software-Defined Vehicular Networks for Intelligent Transportation System Beyond 5G
Trends in Relational Program Verification
Policy Engineering in RBAC and ABAC
Book's Impact on the Theory of Thue Systems - Abstract
MACE4 and SEM: A Comparison of Finite Model Generators
Alice in Wineland: A Fairy Tale with Contracts
The Abstraction and Instantiation of String-Matching Programs
Robust Clustering Algorithms Employing Fuzzy-Possibilistic Product Partition
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification
From Search to Computation: Redundancy Criteria and Simplification at Work
Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages
MCTS/UCT in Solving Real-Life Problems
Further Lessons from the JML Project
Space for Traffic Manoeuvres: An Overview
A Perspective on Differences Between Atanassov's Intuitionistic Fuzzy Sets and Interval-Valued Fuzzy Sets
Issues in Learning Language in Logic
Regularity Equals Monadic Second-Order Definability for Quasi-trees
Kernels, Pre-images and Optimization
Enumeration Reducibility and Computable Structure Theory
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
Encoding Data Structures for Range Queries on Arrays
Peter Marwedel and the Department of Computer Science of the TU Dortmund University
Collision-Free 3D Flocking Using the Distributed Simplex Architecture
Limited Disclosure and Locality in Graphs
Empirically Driven Software Engineering Research
Conceptual Modeling in Accelerating Information Ingest into Family Tree
Past and Future Directions for Concurrent Task Scheduling
One-Sided Random Context Grammars: A Survey
Information Sharing und Wissensaustausch in Unternehmen
Tree Automata over Infinite Alphabets
Integrity-Protecting Block Cipher Modes - Untangling a Tangled Web
Abduction in Logic Programming
On Present Logico-Methodological Challenges to Fuzzy Systems
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Compilation for Real-Time Systems a Decade After Predator
A Delta for Hybrid Type Checking
On Combinations of Local Theory Extensions
On the Minimality of K , F and D or: Why Löten is Non-Trivial
Calculating Colimits Compositionally
On Some Structural Properties of Star and Pancake Graphs
Towards a \mathbb K K ool Future
Triangular and Hexagonal Tile Self-assembly Systems
Fast Computation of Clebsch-Gordan Coefficients
Recursion Equations as a Programming Language
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
Full Comprehensive Gröbner Bases
Properly Coloured Cycles and Paths: Results and Open Problems
Runtime Verification of Parametric Properties Using SMEDL
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion
Initial Steps Towards a Family of Regular-Like Plan Description Logics
String Operations Suggested by DNA Biochemistry: The Balanced Cut Operation
Church's Problem and a Tour through Automata Theory
Epistemic Bubbles
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)
Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out
Data-Driven Choreographies à la Klaim
Never-Stop Context-Free Learning
Zadeh Fuzzy Probability, De Finetti Subjective Probability and Prevision
A New Formal Definition of Polish Nominal Phrases
A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential
Normalization of Some Extended Abstract State Machines
Reasoning About Paths in the Interface Graph
Decidable Variants of Higher-Order Unification
Horn Clause Solvers for Program Verification
Automated Service Composition Using AI Planning and Beyond
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper
Fuzzy Systems in Brazil and at QMC
Multi-Sorted Residuation
Abstract Interpretation, Symbolic Execution and Constraints
Context Insertions
A Declaration of Software Independence
Recognition of Antimatroidal Point Sets
Reasoning About Alternative Requirements Options
On Related Edges in Well-Covered Graphs without Cycles of Length 4 and 6
Computer Science as Cultural Development: Toward a Broader Theory
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems
Safe curves for elliptic-curve cryptography
Building Optimal Binary Search Trees from Sorted Values in O(N) Time
A Review for Submodular Optimization on Machine Scheduling Problems
Algorithms for Computing Very Large BWTs: a Short Survey
Das Klassenzimmer als elektronischer Treffpunkt
Dynamic Validation of Maude Prototypes of UML Models
My Journey to Fuzziness in Berkeley
Subtyping Supports Safe Session Substitution
Bounded Pushdown Dimension vs Lempel Ziv Information Density
Context in Parsing: Techniques and Applications
Relationships Between Bankruptcy Games and Minimum Cost Spanning Tree Games
Planning in Answer Set Programming using Ordered Task Decomposition
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Eelco Visser - An Exceptional SLE Researcher
Some Algebraic Aspects of Fuzzy Set Theory
Safety, Security and Dependability in Crowd Computing
A Study on Segmental TTR, Word Length and Sentence Length
On the Reduced Game of Some Linear Production Games
25 Jahre Entwurf integrierter Schaltungen
Of Periods, Quasiperiods, Repetitions and Covers
On the transitive closure of a wellfounded relation
Space Telemetry Analysis with PyContract
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle
A Variation of Reynolds-Hurkens Paradox
Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday
Implementation of Handshake Components
Quantifier Elimination in Automatic Loop Parallelization
Inductive Inference and Partition Exchangeability in Classification
Self-similarity Attacks on Block Ciphers and Application to KeeLoq
A Higher-Order Graph Calculus for Autonomic Computing
Rectangles and Squares Recognized by Two-Dimensional Automata
Control Synthesis Through Deep Learning
Cybersecurity Challenges in Healthcare
Grzegorz Rozenberg: A Magical Scientist and Brother
Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties
Aspects of Reversibility for Classical Automata
A Web That Senses and Responds
Complexity of Promise Problems on Classical and Quantum Automata
Establishing the Price of Privacy in Federated Data Trading
Some Alternative Formulations of the Event Calculus
Conditional Lindenmayer Systems with Conditions Defined by Bounded Resources
A Flow Analysis Approach for Service-Oriented Architectures
Three Branches of Accountability
Pioneering the Establishment of the Foundations of the Internet of Things
Formal Ontology to the Proof of Facts
Limiting Context by Using the Web to Minimize Conceptual Jump Size
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization
A Review of Graph Approaches to Network Security Analytics
Implementation Relations for Distributed Testing
Lifschitz and Circumscription
Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences
A 5-Color-Extension-Theorem
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren
Practical Simplification of Elementary Functions Using CAD
Theoretische Informatik
Playing Savitch and Cooking Games
Anonymous Mobile Service Collaboration: Quality of Service
Incremental Data Fusion Based on Provenance Information
Introduction: Impact of GP's Scientific Work
Structured strategies in games on graphs
The Search for Cancer Drivers
A Biography of Ole-Johan Dahl
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
Semi-supervised Fuzzy c-Means Algorithms by Revising Dissimilarity/Kernel Matrices
From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing
Yaacov Choueka: A Profile
An Improved Differential Attack on Full GOST
How to Find a Minimum Spanning Tree in Practice
Modularization of Logic Programs
Constructive category theory
Some Thoughts on Graph Similarity
Natural Language Proof Explanation
Vertrauen und Qualität in Informationsdienste. Wo finde ich Vertrauen im Information Quality Framework?
Estimating the Number of Concepts
Writing by methylation proposed for aqueous computing
On size complexity of context-free returning parallel communicating grammar systems
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance
Die Ausdrucksmittel des Aspekts der tschechischen Verben
On the Verification of Quantum Circuits (Research Challenges and Opportunities)
Decision Support Systems with Adaptive Reasoning Strategies
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
in T -Integration of Logics
Cooperating Grammars' Systems: Power and Parameters
Polynomial Evaluation and Side Channel Analysis
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
The Solution to the Complete Nontrivial Cycle Intersection Problem for Permutations
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence
Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP
Catenation Closed Pairs and Forest Languages
Temporal Concurrent Constraint Programming: Applications and Behavior
Static Analysis and Query Answering for Incomplete Data Trees with Constraints
An Intelligent Data-Enabled Mobile Network Architecture
Controlling Reuse in Pattern-Based Model-to-Model Transformations
Explaining AdaBoost
What Is a Reasonable Argumentation Semantics?
Provenance Propagation in Complex Queries
Smooth Finite T-norms and Their Equational Axiomatization
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals
Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real World
Algorithms for Learning Finite Automata from Queries: A Unified View
Safe Adaptation Through Implicit Effect Coercion
Game Models for Open Systems
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
Ray Solomonoff and the New Probability
Implementation of a Robust Differential Game Based Trajectory Tracking Approach on a Realistic Flight Simulator
Toward a Formal Foundation for Time Travel in Stories and Games
Fuzzy Sets and Their Extensions: Leitmotiv of the Research Group of Artificial Intelligence and Approximate Reasoning (GIARA)
Maximally Entangled State in Pseudo-Telepathy Games
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets
Nonassociative Lambek Calculus with Additives and Context-Free Languages
Scientific Heritage of Prof. Da Ruan in the University of Ostrava - Life Lessons in Our Academic Career
Oberon - The Overlooked Jewel
A Demonic Lattice of Information
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#
Symbolic Test Generation Using a Temporal Logic with Constrained Events
Research in One Area Benefits Another
From "Formal Methods" to System Modeling
Books by Solomon Marcus
JASMine: Accessing Java Code from CoreASM
An LAGC Semantics for Timed Rebeca
Managing User-Generated Content as a Knowledge Commons
On Monadic Theories of Monadic Predicates
Symbolic Model Checking for Temporal-Epistemic Logic
Psychologische Theorien sind Information-Retrieval-Verfahren
Semiring-Based Soft Constraints
From Conditional Specifications to Interaction Charts
Toward a Procedure for Data Mining Proofs
Efficient Parallel Implementation of Cellular Automata and Stencil Computations in Current Processors
Extremal Combinatorics of SQL Keys
A Heuristic Solution of a Cutting Problem Using Hypergraphs
Mike Fellows: Weaving the Web of Mathematics and Adventure
Clustering Alternatives and Learning Preferences Based on Decision Attitudes and Weighted Overlap Dominance
Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports
Sweepline the Music!
TGV-Fusion
A Functorial Framework for Constraint Normal Logic Programming
p261: A Karatsuba-Friendly Prime for Fast Elliptic Curve Arithmetic
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007
A Formal Approach to the Traveling Professor Problem
Labeled 2-Structures
Syntactic and Semantic Aspects of Parallelism
Management of UML Clusters
Circular Dictionary Matching Using Extended BWT
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes
Is evolutionary computation using DNA strands feasible?
CSP, occam and Transputers
Randomness, Provability, and the Seperation of Monte Carlo Time and Space
Information Work in the Internet Age: Localizing, Evaluating and Representing Resources
Philosophy and the Ontologies of Knowledge Representation in AI
Regular Event Structures and Finite Petri Nets: A Conjecture
Negation and Involutive Adjunctions
Can a system learn from interactive proofs?
The time dimension of computation models
Language change in a communication network
In Memoriam: Ker-I Ko (1950-2018)
Orthogonal Range Searching for Text Indexing
Emerging Role of Block Chain Technology in Maintaining the Privacy of Covid-19 Public Health Record
On the Power of Randomness versus Advice in Online Computation
From Type Inference to Configuration
On Incremental Quantitative Verification for Probabilistic Systems
Tree-Walking Pebble Automata
Restricted Concatenation Inspired by DNA Strand Assembly
Generative Power of Eco-Colonies
Playing with Abstraction and Representation
Iterative Lexicographic Path Orders
Model Checking TLR* Guarantee Formulas on Infinite Systems
Covering and Packing with Spheres by Diagonal Distortion in ℝ n
Abstract Interpretation for Worst and Average Case Analysis
Mobile Processes and Termination
DNA Cages with Icosahedral Symmetry in Bionanotechnology
Compensable Programs
An Iteratio Property of Lindenmayerioan Power Series
CSP for Parallelising Brzozowski's DFA Construction Algorithm
Securing Android with Local Policies
Integrating Social Media Information into the Digital Forensic Investigation Process
On Sparse 0L Languages Over the Binary Alphabet
Iteration Lemmata for Rational, Linear, and Algebraic Languages Over Algebraic Structures with Several Binary Operations
Fuzzy Logic and Information Fusion - To Commemorate the 70th Birthday of Professor Gaspar Mayor
Augmenting State Models with Data Flow
My Memory of Da
Interpretability, a Silver Lining to a Fuzzy Cloud
Computing Nash Equilibria of Unbounded Games
Applications of Answer Set Programming in Phylogenetic Systematics
A Note on Definable Operators on Structures
Terminology and Referential versus Connotated Neologisation, I: A Prolegomenon
Turing's Influence on Programming
Active Automata Learning as Black-Box Search and Lazy Partition Refinement
Counting with Probabilistic and Ultrametric Finite Automata
Semantic Technology and Knowledge Management
Stepwise Debugging of Description-Logic Programs
Some Interesting Phenomenon Occurring During Self-learning Process with Its Psychological Interpretation
Knowing All Optimal Solutions Does Not Help for TSP Reoptimization
Quantitative analysis of co-reference structures in texts
What Is Fuzzy Logic - And Why It Matters to Us
The Semimeasure Property of Algorithmic Probability - "Feature" or "Bug"?
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey
Modelling of Cooperative Processes
A Hybrid Relational Modelling Language
(Dual) Hoops Have Unique Halving
A Look at the Descriptional Complexity of SNQ P Systems
Starke und schwache Arbitragefreiheit von Finanzmärkten mit Geld-Brief-Spannen
Functional Thesauri, Classifying Topoi, Unification, and Flatness
The Boolean Formula Value Problem as Formal Language
Model Checking, Synthesis, and Learning
30 Years of Modal Transition Systems: Survey of Extensions and Analysis
Synthesis Grammars
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems
Type and Effect Systems
Constructing Sequential Bijections
Diverse Consequences of Algorithmic Probability
Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems
Time for Thinking Big in AI
On Fuzzy Modus Ponens to Assess Fuzzy Association Rules
Writing Information into DNA
José Meseguer: Scientist and Friend Extraordinaire
Smart Contract Satisfiability Checking for Blockchain Consistency
Reversible Molecular Computation in Ciliates
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
The Use of Proof Plans for Normalization
PCTL Satisfiability for Infinite Binary Trees
Membrane Computing: Some Non-standard Ideas
Some Probabilistic Riddles and Some Logical Solutions
Multi-core Implementations of Geometric Algorithms
Psychological Validity of Schematic Proofs
Key Agreement via Protocols
An infinite sequence of full AFL-structures, each of which possesses an infinite hierarchy
Hierarchical clustering of modal ordinal symbolic data objects
On the Uniform Convergence of the Frequencies of Occurrence of Events to Their Probabilities
Is Complementation Evil?
High Sets for NP
Achievements and Prospects of Program Synthesis
LISP + Calculus = Identities
Skew and omega -Skew Confluence and Abstract Böhm Semantics
On Partially Ordered Semiring-Like Structures
Correct-by-Construction Runtime Enforcement in AI - A Survey
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
Early History of Support Vector Machines
Fast Verified BCD Subtyping
On Context-Free Duplications
Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Why Do We Need Data Privacy?
The Strategy Challenge in SMT Solving
Hartmanis-Stearns Conjecture on Real Time and Transcendence
Practical Application of CSP and FDR to Software Design
Explicit State Model Checking for Graph Grammars
Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020
Media Design Patterns - Überlegungen zum Multimedia Engineering
Think Sequential, Run Parallel
Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems
Evolving Logic Programs with Temporal Operators
Splicing to the Limit
Using a Reverse Engineering Type Paradigm in Clustering. An Evolutionary Programming Based Approach
Imaginary engines
Simple Parallel Algorithms for Dynamic Range Products
List of Publications of Ferenc Gécseg
The Delta Operation: From Strings to Trees to Strings
Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]
Infering Ownership Types for Encapsulated Object-Oriented Program Components
Addressing Client Needs for Cloud Computing using Formal Foundations
Models and Modelling in Computer Science
J-P: MDP. FP. PP - Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs
Virtual Text and New Habits of Mind
Search When the Lie Depends on the Target
The Price of Anarchy for a Network of Queues in Heavy Traffic
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III
Multisets and Distributions
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
Stability, Supportedness, Minimality and Kleene Answer Set Programs
Session and Union Types for Object Oriented Programming
Retracing the Semantics of CSP
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
Carnapian Engineering
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Ugo Montanari and Concurrency Theory
On the Power of Single-Valued Nondeterministic Polynomial Time Computations
Distributed Support Vector Machines: An Overview
Cumulativity Tailored for Nonmonotonic Reasoning
Enabling and Enforcing Social Distancing Measures at Smart Parking Infrastructures Using Blockchain Technology in COVID-19
Attribute-Based Encryption: Applications and Future Directions
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems
Security Threats and Challenges of Digital Twins-Enabled Self-adaptive Systems
Engineering and Software Engineering
Performance Estimation Using Symbolic Data
Discrete and Continuous Methods of Demography
Hardware Implementation of Fuzzy Logic in Early Days of "Fuzzy" Era
IT, Ethics and Education : Teaching the Teachers (and their Pupils)
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications
Converting between Combinatory Reduction Systems and Big Step Semantics
Computations in Orthogonal Rewriting Systems, II
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Andre and the Early Days of Penn's Logic and Computation Group
The Dot-Depth Hierarchy, 45 Years Later
Automatic Detection of Thesaurus relations for Information Retrieval Applications
Neo-modularity and colonies
Of Probabilistic Wp and SP-and Compositionality
Pseudo-contractions as Gentle Repairs
Reverse Engineering Through Automata Learning
Ordered Fuzzy Numbers: Sources and Intuitions
Solving the First Verified Software Competition Problems Using PVS
Are Synchronous Programs Logic Programs?
Humanistic Fuzzy Systems
Monadic Second Order Logic and Node Relations on Graphs and Trees
Quicksort Revisited - Verifying Alternative Versions of Quicksort
The KnowLang Approach to Self-adaptation
Informationswirtschaft: Ein Sektor mit Zukunft
A Note on Idleness Detection of Actor Systems
A Magic Pot : Self-assembly Computation Revisited
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
From OBJ to ML to Coq
Functional Instantiation in First-Order Logic
A Categorial Type Logic
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way
On the Theory of Composition in Physics
The Accepting Power of Finite Automata over Groups
Zur wissensorientierten Unterstützung bei der Benutzungsoberflächengestaltung