yusuke1997/dblp-id-title huggingface dataset:
Categorisation as Topographic Mapping between Uncorrelated Spaces
Reweaving the Tapestry: Integrating Database and Messaging Systems in the Wake of New Middleware Technologies
Toward Scenario-Based Algorithmics
Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models
Parameterized Splitting: A Simple Modification-Based Approach
On the Parallelizability of Languages Accepted by P Automata
A Category of "Undirected Graphs" - A Tribute to Hartmut Ehrig
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
Orderings and Constraints: Theory and Practice of Proving Termination
Zur Konzeption des Informationsrechts - Eine transatlantische Perspektive
Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker
From Domain to Requirements
Prediction of Drug Efficiency by Transferring Gene Expression Data from Cell Lines to Cancer Patients
An Algorithm for Factorization of Some Second Order Differential Equations
Open Problems in Membrane Computing and How Not to Solve Them
Towards Discovering the Intrinsic Cardinality and Dimensionality of Time Series Using MDL
The Evolution of the Evolving Neuro-Fuzzy Systems: From Expert Systems to Spiking-, Neurogenetic-, and Quantum Inspired
A Measurement of Parts of Speech in Texts Using the Noun-Based Proportion
Marek Sergot: A Memoir
Ada Lovelace, a scientist in the archives
Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday
A Tutorial-Style Introduction to DY*
Information Dissemination in Modern Banking Applications
On Scenario-Based Testing of Cyber-Physical Systems
The Reduced Automata Technique for Graph Exploration Space Lower Bounds
Some Observations on Mitotic Sets
On a Tomographic Equivalence Between (0, 1)-Matrices
Nuclear In-core Fuel Reload Design: The Trajectory of a Sequence of Projects
Self-matched Patterns, Golomb Rulers, and Sequence Reconstruction
Fuzzy Ontologies for the Game of Go
Web Service Composition via the Customization of Golog Programs with User Preferences
Object-Oriented Specification and Open Distributed Systems
The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering
Towards an Information-Theoretic Approach to Population Structure
Debugging Frame Conditions
Andre Scedrov
The universal automaton
The Non-Consistency and Non-Uniqueness of the Consistent Value
JConstraints: A Library for Working with Logic Expressions in Java
Medos in Retrospect
A Topological Criterion for Polynomiality
Secure Guarded Commands
Deducibility Constraints, Equational Theory and Electronic Money
A Coalgebraic Approach to Unification Semantics of Logic Programming
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning
Non-regular fixed-point logics and games
Computational Biology: A Programming Perspective
Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Da Ruan and the World Council of Nuclear Workers
A Denotational Semantic Theory of Concurrent Systems
Philosophy of Science, Operations Research, and Fuzzy Set Theory - Personal Observations
FSSP Algorithms for 2D Rectangular Arrays. Recent Developments
Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
Periods in the Q2R, X2R and Kawasaki-Q2R Cellular Automata
Industrial Strength CSP: Opportunities and Challenges in Model-Checking
A Closer Look at Pseudo-polynomial Time and Its Use in Real-Time Scheduling Theory
1ML with Special Effects - F-ing Generativity Polymorphism
Verify Engineering Models, Not Scientific Models
Local Squares, Periodicity and Finite Automata
Enchantress of Numbers or a mere debugger?: a brief history of cultural and academic understandings of Ada Lovelace
Tolerance of Design Faults
Circularity and Other Invariants of Gene Assembly in Ciliates
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Goal-Oriented Modeling of Safety-Critical Systems
Remarks on History and Presence of Game Tree Search and Research
Towards Democratic Computing
Kosten und Nutzen ergonomischer Anwendungssysteme
Integrating and Rejuvenating Old and New Gems
The Power and Limitations of Random Context
Parikh Matrix Mapping and Amiability Over a Ternary Alphabet
Closing the Gap Between Specification and Programming: VDM++ and Scala
Continuous Domain Theory in Logical Form
Statistical Learning Theory in Practice
Different Differences in Semirings
On Nonadaptive Reductions to the Set of Random Strings and Its Dense Subsets
Language Representability of Finite P/T Nets
On the Relationship between LTL Normal Forms and Büchi Automata
Multichannel Lightwave Networks
Gröbner Bases in Skew Polynomial Rings
Visualizing Association Rules in a Framework for Visual Data Mining
Quantifier-free definable graph operations preserving recognizability
Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities
Binary Right-Distinguishability Operation
Computational Techniques for Modeling Time-Fractional Dynamics of Polarization Switching in Ferroelectrics
Improving Software Engineering Research Through Experimentation Workbenches
Faster Range LCP Queries in Linear Space
From Safety Critical Java Programs to Timed Process Models
On Fuzziness in Mathematics
Cracking Crosswords: The Computer Challenge
Effective Finite-Valued Approximations of General Propositional Logics
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Chairing the FLINS Conference Series (1994-2012)
Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)
Operational Semantics for Fun and Profit
P Systems with Tables of Rules
Unfold/Fold Transformations of Logic Programs
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
On Formal Definition and Analysis of Formal Verification Processes
Runtime Verification of Compound Components with ComMA
On Degrees of Randomness and Genetic Randomness
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
PC Grammar Systems Versus Some Non-Context-Free Constructions from Natural and Artificial Languages
Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
Pierpaolo, a Great Friend
Skating to Where the Puck Is Going: Future Systems and Software Engineering Opportunities and Challenges
Real-Time Knowledge for Cooperative Cognitive Automobiles
OFN-Based Brain Function Modeling
Braverman and His Theory of Disequilibrium Economics
DNA Manipulations in Ciliates
PAC-Bayesian Theory
A New Approach to Alphabet Extension for Improving Static Compression Schemes
A Modal View on Polder Politics
Principles of Remote Sattestation
Forbidden Factors in Finite and Infinite Words
System Level Performance Analysis for Real-Time Multi-Core and Network Architectures
Computer Science in Perspective, Essays Dedicated to Thomas Ottmann
Very Large Lexical Entries and the Boundary Between Linguistic and Knowledge Structures
A Survey on Double Greedy Algorithms for Maximizing Non-monotone Submodular Functions
Homomorphic Representations of Certain Classes of Languages
Wertstellung von Informations- und Kommunikationssystemen in der Logistik
Vagueness - a Rough Set View
Responsibility in Actor-Based Systems
Efficient Algorithms for Segmentation of Item-Set Time Series
A Note on the Differences of Computably Enumerable Reals
Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage
Speech Grammars und Dialogdesign
Neural Networks for Manipulator Path Planning
Sewing contexts and mildly context-sensitive languages
Strukturdenken und Modellbildung im Recht
Confluence of Graph Transformation Revisited
A New Related Message Attack on RSA
Computer Science between Symbolic Representation and Open Construction
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
On Non-Functional Requirements in Software Engineering
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
What's in School? - Topic Maps for Secondary School Computer Science
Multi-Agent System for Configuration of Individualized Products
Recognizability in Certain Matrix Monoids
Scientific Career
How Much Information Can There Be in a Real Number?
An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers
Passion Plays: Melodramas about Mathematics
Embodying Intelligence in Autonomous and Robotic Systems with the Use of Cognitive Psychology and Motivation Theories
Of What Use Is Floating-Point Arithmetic in Computational Geometry?
Refined EM Method for Solving Linearly Constrained Global Optimization Problems
Computations in Orthogonal Rewriting Systems, I
Professor Da Ruan, Distinguished Visitor at Complutense University, Madrid
Asynchronous Multi-Context Systems
A KLM Perspective on Defeasible Reasoning for Description Logics
Integer Programming Based Algorithms for Overlapping Correlation Clustering
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
Remarks on the Semantics of Focus
Our Collaboration with Da
The Power of Networks of Watson-Crick D0L Systems
Typed Multi-Language Strategy Combinators
A Tale of Two Methods
Abelian Invertible Automata
JRIF: Reactive Information Flow Control for Java
Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
A Proposal of On-Line Detection of New Faults and Automatic Learning in Fault Diagnosis
A Heterogeneous Approach to UML Semantics
Recalling Professor Da Ruan
Reactive Event Calculus for Monitoring Global Computing Applications
Studies in Computational Aspects of Voting - A Parameterized Complexity Perspective
About Place Cells and Grid Cells - About Place Cells and Grid Cells
A Semantical Account of Progression in the Presence of Defaults
New approaches to cluster analysis of typological indices
Order-Sorted Parameterization and Induction
Parse Your Options
Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability
Representation Theorems for Petri Nets
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata
Conceptual Modeling: Past, Present and the Continuum of the Future
Optimal Signal Processing for Common Randomness Generation over MIMO Gaussian Channels with Applications in Identification
Immunity against Local Influence
Discrete time process algebra with silent step
Logic of Fusion - - Dedicated to Andre Scedrov -
Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Shuffles and Synchronized Shuffles: A Survey
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
A Compositional Operational Semantics for Java MT
Payoffs, Intensionality and Abstraction in Games
Small Aperiodic Sets of Triangular and Hexagonal Tiles
Speech Understanding System SUSY - A New Version of the Speech Synthesis Program
Weighted Random Sampling over Data Streams
Ontology, Language, Meaning: Semiotic Steps Beyond the Information Artifact
5G Green Network
Adjectives: Constructions vs. Valence
UTP, Circus, and Isabelle
Asymptotic Density and the Theory of Computability: A Partial Survey
Gender Bias in Neural Natural Language Processing
Do We Really Know How to Support Processes? Considerations and Reconstruction
Categorical Information Flow
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
SpoofKiller: You Can Teach People How to Pay, but Not How to Pay Attention
On the Determinization Blowup for Finite Automata Recognizing Equal-Length Languages
Automata Learning: A Categorical Perspective
The ASM Ground Model Method as a Foundation for Requirements Engineering
Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games
Issues with Applying Cryptography in Wireless Systems
MMLD Inference of Multilayer Perceptrons
Agent-Oriented Modeling for the Age of AI: Nine Pivots Toward a Reconceptualization of Requirements Engineering
Replicating Data for Better Performances in X10
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
Newton's Method - There and Back Again
Extended Compact Web Graph Representations
Solving the N-Queens Puzzle by Using Few Membranes
Secure Compressed Suffix Arrays
Playing with Bisimulation in Erlang
Static Reasoning about Programs and Queries
Architectural Issues of Adaptive Pervasive Systems
SCHEP - A Geometric Quality Measure for Regression Rule Sets, Gauging Ranking Consistency Throughout the Real-Valued Target Space
Improving the Big Mac Attack on Elliptic Curve Cryptography
A Logistics Workload for Event Notification Middleware
Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
50 Years of Achievements and Persistent Challenges for Biomedical and Health Informatics and John Mantas' Educational and Nursing Informatics Contributions
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012
Multi-task Learning for Computational Biology: Overview and Outlook
Design of a Conscious Machine
Secure Identification for Multi-antenna Gaussian Channels
Dialogue on Scientific Theories and Fuzziness -Fuzzy-Philosophical Investigations
What Is Known About Vertex Cover Kernelization?
Maximal Words in Sequence Comparisons Based on Subword Composition
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
Hierarchical Identities from Group Signatures and Pseudonymous Signatures
Two Approaches to Fuzzy Implication
Scientific Work and the Usage of Digital Scientific Information - Some Notes on Structures, Discrepancies, Tendencies, and Strategies
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond
Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing
Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday
Kontextvisualisierung
Concurrent Zero-Knowledge with Timing, Revisited
Direct Construction of Mutually Orthogonal Latin Square
Universal Security - From Bits and Mips to Pools, Lakes - and Beyond
Twenty-Five Years of Preferred Subtheories
Unconventional Approaches to Tackle the P Versus NP Problem
Graph-Based Structural Analysis for Telecommunication Systems
Boris A. Trakhtenbrot: Academic Genealogy and Publications
Well-Defined NRC Queries Can Be Typed - (Extended Abstract)
Representing Knowledge in A-Prolog
First-Order Provenance Games
Analyzing Interrupt Handlers via Interprocedural Summaries
Wavelet Tree, Part I: A Brief History
In Hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks
The Normalization Barrier Revisited
The Essence of Inheritance
Multiple Objects: Error Exponents in Hypotheses Testing and Identification
Maybe or Maybe Not: Contributions to Stochastic Verification
Modal and Temporal Argumentation Networks
On the Asynchronous Nature of the Asynchronous pi-Calculus
On Sparsity Inducing Regularization Methods for Machine Learning
ICT4D: A Computer Science Perspective
Towards a Modeling Language for Cyber-Physical Systems
Automated Program Repair Using Formal Verification Techniques
Some Strange Quantifiers
Designing and Building Context-Aware Services: The ContextServ Project
The Algebra of Directed Acyclic Graphs
A Survey on Spanning Tree Congestion
Gardens of Eden in the Game of Life
A Connection Calculus for Handling Incomplete Information
A Set of Operations for Stratified Belief Bases
A New Universal Logic Element for Reversible Computing
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell
A calculus of communicating systems with label passing - ten years after
The Frame Problem and the Semantics of Classical Proofs
OFNAnt Method Based on TSP Ant Colony Optimization
Product Line Verification via Modal Meta Model Checking
Towards the measurement of nominal phrase grammaticality: contrasting definite-possessive phrases with definite phrases of 13
Verification of Procedural Programs
System Analysis and Robustness
Breaking the Atom with Samson
Transduction in polypodes
Dominating Induced Matchings
Criteria for Termination
Some Engineering Applications of the OTS/CafeOBJ Method
Modelling Unique and Affine Typing Using Polymorphism
Communication with Concurrent Systems via I/O-Procedures
Discrete Time Analysis of a State Dependent Tandem with Different Customer Types
Type-2 Fuzzy Sets and Beyond
Choice and Uncertainty in Games
Learning Guided Automated Reasoning: A Brief Survey
Complete Intersection Theorem and Complete Nontrivial Intersection Theorem for a System of Set Partitions
Towards MultiMedia Instruction in Safe and Secure Systems
Yes, Trees May Have Neurons
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs
Institutions for OCL-Like Expression Languages
Numerical Parameters of Evolutionary Grammars
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
Template-Based Verification of Array-Manipulating Programs
Wissensmanagement: Herausforderung für Unternehmen
Towards Efficient Data-Flow Test Data Generation
High-Level Rules for Integration and Analysis of Data: New Challenges
Programming Legal Contracts - A Beginners Guide to Stipula
Using Alternating Words to Describe Symbolic Pictures
Bounded Semilinear Languages and PC Grammar Systems
Alternating Turing machines and the analytical hierarchy
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation
Sorting, Measures of Disorder, and Worst-Case Performance
Information Theory, Combinatorics, and Search Theory - In Memory of Rudolf Ahlswede
A Survey on the Stability of (Extended) Linear Sand Pile Model
Grammars as Processes
The DANTE Database: Its Contribution to English Lexical Research, and in Particular to Complementing the FrameNet Data
Myths and Legends of the History of Cryptology
Multiple keyword patterns in context-free languages
Enterprise Information Integration - A Semantic Approach
The Beauty of Declarative Purely Functional Projections
Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
A Comprehensive Survey of Estimator Learning Automata and Their Recent Convergence Results
A Duality of Sorts
On Language Decompositions and Primality
Supporting Requirements Elicitation through Goal/Scenario Coupling
Introduction to Fuzzy Sets
A Constructive Perspective on Key Encapsulation
Negative Results on Decidability and Small Model Property of Process Equations
Ning Cai: A Tribute to a Pioneering Scholar in Information Theory
On Fuzzy Data Analysis
Bounded Fairness
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics
Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
Aligning Multiple RNA Sequences
Algorithm Engineering - An Attempt at a Definition
Logical theories and compatible operations
Prioritizing Default Logic
Balanced Grammars and Their Languages
Da, a Good Supervisor and a Nice Friend
Applications of Soft Computing in Intelligent Transportation Systems
Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten Geburtstag
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation
40 Jahre Informatik an der Technischen Universität Braunschweig, 1972 - 2012, Zum Workshop auf der GI-Jahrestagung 2012 in Braunschweig
Modal Logics for Metric Spaces: Open Problems
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Hierarchical System Design with Vertical Contracts
Design-time Models for Resiliency
Eine neue Methode zur Visualisierung qualitativer Daten
Professor Brian Randell and the History of Computing
Negation as Failure through Abduction: Reasoning about Termination
String Rearrangement Metrics: A Survey
Colimits for Concurrent Collectors
Hypertext Searching - A Survey
Toward Compact Abstractions for Processor Pipelines
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
On Using Divide and Conquer in Modeling Natural Systems
Array Range Queries
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Variations on Instant Insanity
Restricted Flow Games
On the decidability of FDNC programs
No i-Sums for Nissim (and Shalom)
Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
Generalized Categorial Dependency Grammars
Transparent Treatment of for-Loops in Proofs
Impact of Steinmetz' Synchronization Work on Multimedia Community
To Vladimir Lifschitz on His 65th Birthday
Intelligent Service Management - Technologies and Perspectives
Ākāsha: between sphere and arrow - on the triple source for everything
The Church-Turing Thesis over Arbitrary Domains
Language and Communication Problems in Formalization: A Natural Language Approach
A Complete Neural Network Algorithm for Horn-Sat
On the Final Coalgebra of Automatic Sequences
Globally Monotone Extended Aggregation Functions
A Fuzzy Set Approach to Expressing Preferences in Spatial Reasoning
New Construction of Error-Tolerant Pooling Designs
Constructing Bachmair-Ganzinger Models
Embedding RCC8D in the Collective Spatial Logic CSLCS
Conditional Context-Free Languages of Finite Index
Towards a Framework for Transitioning from Monolith to Serverless
A Security-Driven Scheduling Model for Delay-Sensitive Tasks in Fog Networks
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm
The Many Uses of Dynamic Logic
Planning Under Uncertainty and Its Applications
From MKRP to Omega
From Complementary to Zipper Semantics
On a Meeting Point between Fuzzy Sets and Statistics
Avoiding Spurious Timeouts
Matching Phrases for Arabic-to-English Example-Based Translation System
Graph-Based Object-Oriented Hoare Logic
From Lotosphere to Thermosphere
Compilation and Synthesis for Real-Time Embedded Controllers
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes
Disjunctive Logic Programming: A Survey and Assessment
Functorial Semantics of Rewrite Theories
Flexible Concepts Are Fuzzy Concepts
Assessing Static and Dynamic Features for Packing Detection
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction
Trading Space for Simplicity in Stateless Model Checking
About Implicit and Explicit Shape Representation
Advances in Network-Based Drug Repositioning
Da Ruan, Our School Classmate and Best Friend
Designing Information Systems: Festschrift für Jürgen Krause zum Anlass seines 60. Geburtstages 2004
On the Relevance of Fuzzy Sets in Analytics
Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style