yusuke1997/dblp-id-title huggingface dataset:
Structuring the Chaos: Enabling Small Business Cyber-Security Risks & Assets Modelling with a UML Class Model
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Reversible Debugging in Logic Programming
A Heuristic Approach to Assist Side Channel Analysis of the Data Encryption Standard
A Branching Time Model of CSP
Logics for Two Fragments beyond the Syllogistic Boundary
Communicating Distributed H Systems with Alternating Filters
Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge
A Framework for Provenance-Preserving History Distribution and Incremental Reduction
On Splits of Computably Enumerable Sets
Matrix-based Constructive Theorem Proving
A Relation Between Sparse and Printable Sets in NSPACE(log n)
Multiple-Lot Lot Streaming in a Two-stage Assembly System
On Lazy Commutation
The Compass That Steered Robotics
Simplified Coalgebraic Trace Equivalence
The Power of Models for Software Engineering
Towards a Brain Compatible Theory of Syntax Based on Local Testability
The Query Complexity of Finding a Hidden Permutation
Principles of Solomonoff Induction and AIXI
Rewriting Strategies and Strategic Rewrite Programs
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi
Why Proof Planning for Maths Education and How?
Grammatical Inference of Colonies
A Comparative Study of Procedures for the Multinomial Selection Problem
K -trivial, K -low and MLR -low Sequences: A Tutorial
Looking at the World Thru Colored Glasses
Death and Burial Data: Ireland 1864-1922 - an Interdisciplinary Collaboration
There Are No Maximal d.c.e. wtt-degrees
A Constructive Semantics for Basic Aspect Constructs
Interval Type-2 Fuzzy Logic for Hybrid Intelligent Control
A Note on Blum Static Complexity Measures
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI
Privacy-Preserving Reconciliation Protocols: From Theory to Practice
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results
Safe-Errors on SPA Protected Implementations with the Atomicity Technique
Die sichere Stimmabgabe über das Internet: Kryptographie und Infrastruktur
Integrated Production Planning and Pricing Decisions in Congestion-Prone Capacitated Production Systems
Performance Evaluation of Routing Mechanisms for VANETs in Urban Areas
Other Buds in Membrane Computing
From Hybrid Automata to DAE-Based Modeling
A Reflection on Types
Timing Faults and Mixed Criticality Systems
Church-Rosser Languages and Their Relationship to Other Language Classes
No Molecule Is an Island: Molecular Evolution and the Study of Sequence Space
Collaboration via Internet and Web
Reaction Systems, Transition Systems, and Equivalences
On the Foundations of Cycles in Bayesian Networks
Once Upon a Backpack
Parsing Contextual Grammars with Linear, Regular and Context-Free Selectors
Program Derivation = Rules + Strategies
Lossy Channels in a Dataflow Model of Computation
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
On the Expressiveness of some Runtime Validation Techniques
Backdoors to Satisfaction
On Neighbourhood Semantics 30 years later
Health, Digital Health and Decision Support: Sisyphus and Pandora
Non-Zero Sum Repeated Games and Information Transmission
Structuring Communication with Session Types
Logics of Finite Hankel Rank
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms
Memories of a Meeting with Professor Zadeh and His Wife Fay
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs
Narratives, Formalism, Computational Tools, and Nonlinearity
From Ordinary Triangular Norms to Discrete Ones
Irreducibles and Primes in Computable Integral Domains
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines
Model checking algorithms for the µ-calculus
Construction of Capacities from Overlap Indexes
The Pairing of Contracts and Session Types
The Temporal Logic of Rewriting: A Gentle Introduction
The Monotone Lambek Calculus Is NP-Complete
An Implementation of Elementary Arithmetic with Virus Machine
Access Privacy in the Cloud
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture
Note on Minimal Automata and Uniform Communication Protocols
Unterstützung elementarer Strategieprozesse
Bisimulation, Games, and Logic
An Automata-Theoretic Approach to Infinite-State Systems
Harald Ganzinger's Legacy: Contributions to Logics and Programming
Introduction to part III
A Modern View on Stability of Approximation
Multi-valued Logic for Static Analysis and Model Checking
Stealthy Protocols: Metrics and Open Problems
A Taxonomy of LCP-Array Construction Algorithms
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Determinism and Nondeterminism in Finite Automata with Advice
Learning to Coordinate
On the Expressiveness of Joining and Splitting
Oracles for Binary Words
Semilattice Amalgams and Semidirect Product
States and Events in KandISTI - A Retrospective
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
Distributed Concurrent Object-Oriented Software
Refinement of History-Based Policies
Fuzzy Systems towards Field Applications
Threshold Locally Testable Languages in Strict Sense
Kernelization - Preprocessing with a Guarantee
Virtual Fault Tolerance
Investitionsentscheidungen im Multi-Channel-Customer-Relationship Management
A Logical Representation of P Colonies: An Introduction
Constructing Morphisms for Arithmetic Subsequences of Fibonacci
Kolmogorov-Complexity Based on Infinite Computations
A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems
Towards Automatic Structured Inference of Module Abstractions
Logical Relations and Nondeterminism
On Polynomial Matrix Equations X T = p(X) and X = p(X). Where all Parameters are Nonnegative
On Probabilistic Machines, Bounded Rationality and Average-Case Complexity
A Portrait of a Scientist as a Computational Logician
The Reality Game Theory Imposes (Short Summary)
Ugo Montanari and Software Verification
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size
Distributed SQL Queries with BubbleStorm
Binding Structures
Interface-Based Design of Real-Time Systems
Graph Processes with Fusions: Concurrency by Colimits, Again
Computing with Metabolic Machines
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions
Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification
Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment System
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
SharedLife: Towards Selective Sharing of Augmented Personal Memories
Applied Formal Methods - From CSP to Executable Hybrid Specifications
A Note on Logical PERs and Reducibility. Logical Relations Strike Again!
On the Work of Andrzej Ehrenfeucht in Model Theory
The Reaction Algebra: A Formal Language for Event Correlation
Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models
Regularity of k-Abelian Equivalence Classes of Fixed Cardinality
Onset and Today's Perspectives of Multilevel Syllogistic
The Combined Power of Research, Education and Dissemination
Ten Years of Spatial Model Checking
Potential Functions for Signals and Symbolic Sequences
On Köhlerian Motifs
Institut für Datentechnik und Kommunikationsnetze - Mitgestaltung der Informatik in Braunschweig
Distributed Authorization with Distributed Grammars
Fuzzy Waves: Interference and Holography
Defining Elegance
The Complexity of Complexity
e-Learning Logic and Mathematics: What We Have and What We Need
Effectively Eliminating Auxiliaries
Informationsverarbeitung in der Hochschullehre
Einblick in die Datenakquisition der Massenspektrometrie
The Lattice of Computably Enumerable Vector Spaces
Area and Perimeter Derivatives of a Union of Disks
Explaining Constraint Programming
A Framework for Evaluating Schedulability Analysis Tools
Some Applications of String Algorithms in Human-Computer Interaction
Verification by Parallelization of Parametric Code
Wortlänge im Polnischen in diachroner Sicht
Satz: stoisches axíôma oder peripatetischer lógos?
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
An Institution for Imperative RSL Specifications
Secure Production of Digital Media
A Metasemantic Interpretation of Mamdani Systems
Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic Structures
A Semiring-Semimodule Generalization of omega-Context-Free Languages
Probing the "Temperature" Approach on Ukrainian Texts: Long-prose Fiction by Ivan Franko
When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi
Valence Grammars with Target Sets
dP Automata versus Right-Linear Simple Matrix Grammars
On the Index of Sturmian Words
Thirty four Comparisons are Required to Sort 13 Items
Querying AOL Knowledge Bases
Fully Online Matching with Advice on General Bipartite Graphs and Paths
Transactions: From Local Atomicity to Atomicity in the Cloud
Randomness and Fuzziness: Combined Better than Unified
A characterization of non-iterated splicing with regular rules
Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck
FlexRay Static Segment Scheduling
Verification and Control of Turn-Based Probabilistic Real-Time Games
Reflections on the Birth of Spoofax
Der Keller - ein fundamentaler Baustein der Informatik
Software Engineering: Multi-person Development of Multi-version Programs
Towards Owner-Controlled Data Sharing
Special Factors of Traces
Polynomial Algorithms for MPSP Using Parametric Linear Programming
Temporal Verification of Reactive Systems: Response
Upper Bounds for Restricted Splicing
Herrmann's Beautiful Theorem on Computable Partial Orderings
Die Stärkemessung des Zusammenhangs zwischen den Komponenten der Phraseologismen
A Mistake on My Part
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
Functional Logic Programming in Maude
On a Variant of Parallel Communicating Grammar Systems with Communication by Command
The Complexity of Inhabitation with Explicit Intersection
A Homage to Martin Wirsing
Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry
Automata Networks without any Letichevsky Criteria
Robotik an der Carl-Friedrich-Gauß-Fakultät
On the Unification of Conformance Notions
Local Pattern Detection in Attributed Graphs
Subregularly controlled derivations: restrictions by syntactic parameters
Aspect Oriented Approach for Capturing and Verifying Distributed Properties
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract)
Key Constraints and Monotonic Aggregates in Deductive Databases
Poem Recitation in the Ceremony for Da Ruan at Vito Conference Hall, Mol, Belgium, 6 Aug. 2011
Design in CommUnity with Extension Morphisms
Dialogues in Ludics
Semi-Automatic Dictionary Drafting
A Hybrid Modelling Approach for Hierarchical Control of Structured CPSs
Gheorghe Paun and the Windmill Curiosity
Recombination Systems
Hybrid Method for Simulating Small-Number Molecular Systems
Moded and Continuous Abstract State Machines
String Matching Algorithms and Automata
Characteristics of Involutive Divisions
Towards Verifying Logic Programs in the Input Language of clingo
A Survey of the Game "Lights Out!"
Robots with Common Sense?
On Woolhouse's Cotton-Spinning Problem
On the Implementation of Combinatorial Algorithms for the Linear Exchange Market
What Is Software? The Role of Empirical Methods in Answering the Question
Einige aktuelle Gründe für eine integrierte Betrachtung von Rechtsinformatik und Informationsrecht
Quantum Logic of Semantic Space: An Exploratory Investigation of Context Effects in Practical Reasoning
Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Proof-Relevant Parametricity
Composition and Transmission of Videos Generated by Multiple Users
The Arrow of Time through the Lens of Computing
The Semantics of Ugo Montanari
Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification
No Syllogisms for the Numerical Syllogistic
Towards Rewriting in Coq
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations
Probabilistic Model Checking: Applications and Trends
Computing (and Life) Is All about Tradeoffs - A Small Sample of Some Computational Tradeoffs
A Short Note on Alexandru Mateescu's Work and Its Impact
SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy
The Evolution of the Arjuna Transaction Processing System
The Paradox of Analysis and the Paradox of Synonymy
Modest Models and Tools for Real Stochastic Timed Systems
Inference in Temporal Next-Time Logic
Designing a Cluster Network
Computational Logic in Genova
Infinite Solutions of Marked Post Correspondence Problem
Synchronous Interfaces and Assume/Guarantee Contracts
Landmarks in Algorithmic Graph Theory: A Personal Retrospective
Random Instances of Problems in NP - Algorithms and Statistical Physics
A Time-Evolving Data Structure Scalable between Discrete and Continuous Attribute Modifications
Fuzzy Conceptual Data Analysis Applied to Knowledge Management
Cryptography with Asynchronous Logic Automata
Supervised Extraction of Usage Patterns in Different Document Representations
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming
Improved Approximations for Hard Optimization Problems via Problem Instance Classification
Making the World a Better Place
A Characterisation of Weak Bisimulation Congruence
Influence of the Endothelial Surface Layer on Blood Flow in Microvessels: Computer Modeling and Simulation
VDM Semantics of Programming Languages: Combinators and Monads
Minimal Reaction Systems Defining Subset Functions
On Canonical Embeddings of Residuated Groupoids
Reduction Strategies and Acyclicity
Temporal Logic Programs with Temporal Description Logic Axioms
DAG Sequents with Substitution
A Brief History of Per-Flow QoS in the Internet
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
Flyby: Life Before, During, and After Graduate Studies with Mike Fellows
From Nondeterministic Suffix Automaton to Lazy Suffix Tree
A Note on Persistent Petri Nets
Featherweight Scribble
Fixed Point Theorems in Computability Theory
A Method for Emerging Technology Evaluation. Application to Blockchain and Smart Data Discovery
Flow Analysis: Games and Nets
Cameo of a Consummate Computabilist
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Initial Algebras of Terms with Binding and Algebraic Structure
Relativization of Gurevich's Conjectures
The Meeting with Fuzzy Mathematics as the Great Adventure of My Life
Swords and Ploughshares: Connections between Computer Projects for War and Peace, 1945 - 55
Towards a Proof Method for Paradigm
From Languages to Behaviors and Back
Balancing Insight and Effort: The Industrial Uptake of Formal Methods
IT Service Engineering: A New Kind of IT Professional
Information Theory and Related Fields - Festschrift in Memory of Ning Cai
Composition by Colimit and Formal Software Development
Array Splicing Systems
A Computerized Referee
Clean Up the Web! - Rapid Client-Side Web Development with Clean
Normal Models and Their Modelling Matrix
Beautiful Workflows: A Matter of Taste?
Efficient Equilibrium Concepts in Non-cooperative Network Formation
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
A Language for Default Reasoning about Actions
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games
On Event Detection from Spatial Time Series for Urban Traffic Applications
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Search and Optimization Problems in Datalog
Rock'n'Roll Computer Science
Digitale Signalverarbeitung und Automatische Mustererkennung
Bemerkungen zu den Formen des Namens Schmidt
Trees - A Personal View
Information Technology Practitioner Skills in Europe: Current Status and Challenges for the Future
Retrieval of Relevant Historical Data Triage Operations in Security Operation Centers
Model Transformations as Free Constructions
Free Energy of Petri Nets
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
Structured Document Algebra in Action
K3 - Wissensmanagement über kooperative verteilte Formen der Produktion und der Aneignung von Wissen zur Bildung von konzeptueller Informationskompetenz durch Nutzung heterogener Informationsressourcen - Stand und Aussichten
Bisimulation on Markov Processes over Arbitrary Measurable Spaces
On the Home-Space Problem for Petri Nets
Heterogeneous Scheduling and Rotation
A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems
Minimal Similarity Relations for Square-Free Words
Algorithmik an der TU Braunschweig
Grand Challenges of Informatics
Interactive Proof Presentation
Struktureller Test im System
On the Relation Between Control-Based and Data-Based Coordination Languages
Kurzbiographien der Autoren
Detecting Nasdaq Composite Index Trends with OFNs
Enhancing Top-Down Solving with Widening and Narrowing
On Usefulness of Information: Framework and NFA Case
When Economics meets Ethics : the Governance of Economic Activities in the Information Society
Deterministic graph grammars
Prime Polynomials
Information Security in a Connected World - Celebrating the Life and Work of Ed Dawson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure
Large Tagsets and High Accuracy in Statistical Morpho-Syntactic Disambiguation of Written Texts
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
Prototyping Formal Methods Tools: A Protocol Analysis Case Study
Photonic Power Firewalls
On Fuzziness, Its Homeland and Its Neighbour
Chairing the ISKE Conference Series (2006-2011)
Location-Based Services for Technology Enhanced Learning and Teaching
The Lovász Local Lemma and Satisfiability
Technische Informatik in der universitären Lehre: Bestandsaufnahme, Herausforderungen, Perspektiven
Architektur von Informationssystemen - von Handels-H-Modellen, Workflow-basierten PPS-Systemen und Client-/Server-Konzepten
How to Read a Randomly Mixed Up Message
Recognizing Hand-Based Micro Activities Using Wrist-Worn Inertial Sensors: A Zero-Shot Learning Approach
On Grammars Controlled by Parikh Vectors
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity
Databases: The Integrative Force in Cyberspace
Design and Implementation of the Rebeca Publish/Subscribe Middleware
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview
Towards a New Foundational Ontology of Properties, Attributives and Data
Logic Programming Languages for the Internet
Parikh Matrices: Subword Indicators and Degrees of Ambiguity
The Interface Between Language Theory and Database Theory
String Assembling Systems: Origins and Directions
Proof Structures and Matrix Graphs
PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars
Compiled Labelled Deductive Systems for Access Control
Using Altmann-fitter for text analysis: An example from Czech
Lean Systems in an Intrinsically Complex World
Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering?
REDUCE: The First Forty Years
Querying an Integrated Complex-Object Dataflow Database
Event Structure Semantics for Multiparty Sessions
Tractable Reasoning in Description Logics with Functionality Constraints
Definability of Combinatorial Functions and Their Linear Recurrence Relations
Die Morrissche und die Bühlersche Triade - Probleme und Lösungsvorschläge
Towards grammars of decision algorithms
From OBJ to Maude and Beyond
Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess
Minimal Recognizers and Syntactic Monoids of DR Tree Languages
Digitalization of Kolam Patterns and Tactile Kolam Tools
Puff, The Magic Protocol
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Systematisches Testen sicherheitsrelevanter Software - Methoden, Verfahren und Werkzeuge
Nativised, Playfully Aetiologised Literary Zoonyms, II: The Peccary. Phono-Semantic Matching of the Signifiers, and Goal-Driven Narrative Trajectories through Adam, Balaam, John Moore-Brabazon, and Rosenzweig's Columbus, Whose Own Standard Associated Narratives Contribute to Narrative Subgoal Achievement
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Metric Entropy and Minimax Risk in Classification
Classes of Service under Perfect Competition and Technological Change
From the Ethics of Technology to the Ethics of Knowledge Assessment
From Haar to Lebesgue via Domain Theory
Enabling Auditing of Smart Contracts Through Process Mining
Model-Checking Helena Ensembles with Spin
Runtime Verification Logics A Language Design Perspective
Ning Cai's Work on Communication Complexity
Da Ruan in and with Aachen
Formal Series of General Algebras over a Field and Their Syntactic Algebras
Closure and Consistency Rationalities in Logic-Based Argumentation
Problem Solving Using Process Algebra Considered Insightful
On Twist-Closed Trios: A New Morphic Characterization of r.e. Sets
On Residuation
To Dexter - A Tribute from Aarhus
The Complexity of Processing Hierarchical Specifications
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
Graph-Based Design and Analysis of Dynamic Software Architectures
Fuzzy Approaches in Anytime Systems
The Essence of Multi-stage Evaluation in LMS
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies
Informatics Opportunities and Challenges in Medical Imaging: A Journey
On Controlling Rewriting by Properties of Strings and Symbols
Formalizing Propagation of Priorities in Reo, Using Eight Colors
On This Book: Clustering, Multisets, Rough Sets and Fuzzy Sets
Anatomy of a Domain of Continuous Random Variables II
Matrix-based complexity functions and recognizable picture languages
What Is the Abelian Analogue of Dejean's Conjecture?
Cloaking Data to Ease View Creation, Query Expression, and Query Execution
Interpolation and Joint Consistency
Knowledge Discovery from Complex High Dimensional Data
Buying AES Design Resistance with Speed and Energy
Stack Graphs: Name Resolution at Scale
From Behavioural Contracts to Session Types
On Cooperating Distributed Uniformly Limited 0L Systems
A Simple Notion of Parallel Graph Transformation and Its Perspectives
Lotfi A. Zadeh, from Information Processing to Computing with Words
Minimalist Grammars and Minimalist Categorial Grammars: Toward Inclusion of Generated Languages
Inside and Outside the Chinese Room
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations
Eleven Meetings with Prof. Da Ruan
Distributed Group Communication System for Mobile Devices Based on SMS
A Survey on Priority Queues
A Computation Method for ACGB-V
Dynamic Labeled 2-Structures with Variable Domains
Niklaus Wirth - a Pioneer of Computer Science
Core Vocabulary: A Useful But Mystical Concept in Some Kinds of Linguistics