yusuke1997/dblp-id-title huggingface dataset:
From Cyber Situational Awareness to Adaptive Cyber Defense: Leveling the Cyber Playing Field
Strategisches IT Management
Note on Conditional Constructivity
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Debits and Credits in Petri Nets and Linear Logic
Probabilistic Model Checking for Energy-Utility Analysis
A Grain in the Heap
On Probabilistic Monitorability
Optimal Flow Distribution Among Multiple Channels with Unknown Capacities
Molecular computations with competitive neural networks that exploit linear and nonlinear kinetics
A Trace Semantics for Long-Running Transactions
Weighted Boolean Formula Games
Domain-Ontologie der Hochschulwelt für ein Portal - Zugangsvokabular und Basis für Inferenzen
On the Resilience of the Dependability Framework to the Intrusion of New Security Threats
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design
Getting Things Done: The Eelco Way
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
Learning Lambek Grammars from Proof Frames
Review of Ontology Based Storytelling Devices
On Some Relationships Between P Colonies and Computing by Plasmids
Testing Non-Deterministic X-Machines
Family-Based Fingerprint Analysis: A Position Paper
Guarino's Possibilism
Strong Explanations for Nonmonotonic Reasoning
The World of Unary Languages: A Quick Tour
Digital Coaching for Real Options Support
On Scientific Experiments and Flexible Service Compositions
A corpus based quantitative study on the change of TTR, word length and sentence length of the English language
Protecting Resources and Regulating Access in Cloud-Based Object Storage
Languages of Cooperation and Communication - Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Two Variants of Synchronized Shuffle on Backbones
Unifying Equivalences for Timed Transition Systems
Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
A Strategy for Effective Alert Analysis at a Cyber Security Operations Center
The weighted mid-P confidence interval for the difference of independent binomial proportions
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Introduction to Fuzzy Systems
A Hierarchical Completeness Proof for Propositional Temporal Logic
Foundations for a Fourth Normal Form over SQL-Like Databases
Layout Randomization and Nondeterminism
Bio-Logics: Logical Analysis of Bioregulatory Networks
Real-Time Constraints Through the ProCoS Layers
Approximation of Utility Functions by Learning Similarity Measures
On Constructive Nilpotent Groups
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol
A Theory Agenda for Component-Based Design
Symbolic Timed Trace Equivalence
Ontology-Based Project Management for Acceleration of Innovation Projects
Well-Ordering of Algebras and Kruskal's Theorem
Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Sandpile Toppling on Penrose Tilings: Identity and Isotropic Dynamics
A Portrait of a Scientist: Logic, AI and Politics
In Memory of Da Ruan
Penalty Function in Optimization Problems: A Review of Recent Developments
Deterministic stream X-machines based on grammar systems
Exploratory Testing for Safety-Critical Large-Scale Embedded Systems Such as Spacecrafts
Inherent Vacuity in Lattice Automata
Software Engineering and Society Engineering for Self-organising Multi-agent Systems
Logic for Component-Based Software Development
A Branding Strategy for Business Types
An Automata Approach to Some Problems on Context-Free Grammars
Categories, Software and Meaning
Relating Apartness and Branching Bisimulation Games
Plasmids to Solve #3SAT
Universal Heuristics: How Do Humans Solve "Unsolvable" Problems?
Reconciling Compilation and Timing Analysis
Internet Evolution and the Role of Software Engineering
The Fair Proportion Is a Shapley Value on Phylogenetic Networks Too
Reachability in continuous-time Markov reward decision processes
ASMs and Operational Algorithmic Completeness of Lambda Calculus
Kolmogorov Complexity of Categories
Kripke's Modal Objection to the Description Theory of Reference
Q|SI⟩ : A Quantum Programming Environment
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China
Gearing Up for Effective ASP Planning
DNA Computing: Distributed Splicing Systems
Formal Analysis of Leader Election in MANETs Using Real-Time Maude
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
On String and Graph Sanitization
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$
Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz
Adaptivity in Video Streaming Through the Transition Lens
Generating Arduino C Codes from Mediator
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS
Competencies and Curricula Across the Spectrum of Learners for Biomedical and Health Informatics
Some ghosts that arise in a spliced linguistic string: evidence from catalan
Block-Synchronization Context-Free Grammars
Research Achievements
A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models
Generating Training Data Sets for Machine Learning Approaches with GIPS
Hält § 52 a UrhG dem urheberrechtlichen Dreistufentest stand?
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Algebraic Program Semantics for Supercomputing
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction
Complex Plans in the Fluent Calculus
Medical Ultrasound Tomography Problem: Experimental Data Processing with High-Performance Computing
QuARS: A Pioneer Tool for NL Requirement Analysis
On the Representation of Normative Sentences in FOL
The Complexity of STructural Containment and Equivalence
The Menzerath-Altmann law in translated texts as compared to the original texts
Dimensions of Neural-symbolic Integration - A Structured Survey
From Model Completeness to Verification of Data Aware Processes
Synchronized Shuffle and Regular Languages
Associative Copulas: A Survey
Autonomous Systems - An Architectural Characterization
Strong Secrecy for Multiple Access Channels
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
A Tribute to Lotfi Zadeh with Personal Recollections
Reasoning with Justifiable Exceptions in E ℒ_\bot Contextualized Knowledge Repositories
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes
Variability Modelling and Analysis During 30 Years
Formal Methods and Mathematical Intuition
Qualitative vs. Fuzzy Represenations of Spatial Distance
Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research
Simulation of Action Theories and an Application to General Game-Playing Robots
Circumscription and Disjunctive Logic Programming
Succinct and Implicit Data Structures for Computational Geometry
From Multimedia Communications to the Future Internet - Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement
Fuzzy Rule Based Systems as Tools towards Solving the "Key Problem of Engineering"
"Fuzzy Clouds": Sfumato versus Chiaroscuro in Music
Formal Modelling and Analysis of Socio-Technical Systems
Wilhelm Kämmerers Ideen vom automatischen Gedächtnis
On Fuzziness and Ordinary Reasoning
On the Practical Side of Answer Set Programming
Yuri, Logic, and Computer Science
Declarative Distributed Computing
Breaking Bad: Forecasting Adversarial Android Bad Behavior
Memories of a Crisp Engineer
The Membership Function and Its Measurement
Software Sustainability in the Age of Everything as a Service
A Formal Methodology for Compositional Cross-Layer Optimization
The Markgraf Karl Refutation Procedure
On Testing Ethical Autonomous Decision-Making
Da Ruan: A Great Scientist, a Scholar, and Much More
A Mathematician's Naive Perspective on Fuzzy Sets and Fuzzy Logic
Quo Vadis DFT?
Inferring Loop Invariants Using Postconditions
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
An Application of Regular Tree Grammars
Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles
Pollard's Rho Split Knowledge Scheme
Group Decision Making: Consensus Approaches Based on Soft Consensus Measures
Formal Languages Arising from Gene Repeated Duplication
Internet Governance : Some Thoughts after the two WSIS
Proof = Guarantee + Explanation
New Syntactical Invariants for Tree Languages
Analyzing European Social Survey data using symbolic data methods and Syrokko software
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
Die Suche nach Invarianten und Harmonien im Bereich symbolischer Formen
Forest algebras
Eelco Visser: The Oregon Connection
Refinement Metrics for Quantitative Information Flow
Computing the Probability of Getting Infected: On the Counting Complexity of Bootstrap Percolation
Defining the Definiendum
Education of Software Engineers
Better Automata Through Process Algebra
Joshua Guttman: Pioneering Strand Spaces
Proving the Refuted: Symbolic Model Checkers as Proof Generators
Cantor-Bernstein Property for MV-Algebras
Rendezvous of Asynchronous Mobile Robots with Lights
Vector Addition Systems Reachability Problem (A Simpler Solution)
Full Abstract Families of Tree Series I
Some Fundamental Theorems on BCK
Evolutionary Approach for Automatic Design of PID Controllers
Lernsoftware gestalten - Wege zu ergonomischen Benutzungsoberflächen
Indexes of lexical richness can be estimated consistently with knowledge of elasticities: some theoretical and empirical results
A Context-Free Symbiosis of Runtime Verification and Automata Learning
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages
Fully Dynamic Bin Packing
Modal Epistemic Logic on Contracts: A Doctrinal Approach
Towards a Combination of CafeOBJ and PAT
Live Business Intelligence for the Real-Time Enterprise
Verifying PLC-Automata Against Counterexample Formulas Using Timed Automata
Loose Semantics of Petri Nets
Misunderstandings and Their Overwhelming Success
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction
Urgency Annotations for Alternating Choices
Presheaf Models of Quantum Computation: An Outline
Some Results on Differential Gröbner Bases
A Glimpse of the Flood of Emails after the Sad News Was Spread
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
Fond (and Frank) Memories of Frank
Linking Theories of Probabilistic Programming
Advances in Computing, Informatics, Networking and Cybersecurity - A Book Honoring Professor Mohammad S. Obaidat's Significant Scientific Contributions
Separation of Concerns in Hypertext: Articulation Points That Increase Flexibility
Integration Tools for Consistency Management between Design Documents in Development Processes
Methods for Constructing Coded DNA Languages
Homomorphic Representations by Producs of Tree Automata
Lessons Learned from Building a Graph Transformation System
Rechtsinformatik - Von der mathematischen Strukturtheorie zur Integrationsdisziplin
Record Polymorphism: Its Development and Applications
Theorem Proving in Hierarchical Causal Specifications
Model-Based Energy Characterization of IoT System Design Aspects
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
A Grammatical Approach to the LBA Problem
The Glory of the Past and Geometrical Concurrency
From Automated MRI Scan to Finite Elements
Security of Cyber-Physical-Social Systems: Impact of Simulation-Based Systems Engineering, Artificial Intelligence, Human Involvement, and Ethics
Small Spiking Neural P Systems with Structural Plasticity
Peer-to-Peer Web Search: Euphoria, Achievements, Disillusionment, and Future Opportunities
Data Envelopment Analysis zur Unterstützung der Auswahl und Einführung von ERP-Systemen
Specifying the Boundary Between Unverified and Verified Code
Volker Weispfenning: Scientist, Teacher, Mentor
A network perspective on intertextuality
Linear Recursive Functions
Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds
Abstract Tensor Systems as Monoidal Categories
An Automata-Based Approach to Trace Partitioned Abstract Interpretation
On Normal Forms for Structured Specifications with Generating Constraints
Towards an iStar 2.0 Extension for Analyzing Goal Variability
Network - Interwork - Teamwork
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design
Formal Description of Natural Languages: An HPSG Grammar of Polish
Hybrid Simulation Safety: Limbos and Zero Crossings
FM-Adaptive: A Practical Data-Aware FM-Index
Still Craving a Porsche
Programmable DNA-Based Finite Automata
An Optimal Superfarthingale and Its Convergence over a Computable Topological Space
The Numerical Assessment of Cerebral Blood Flow in Immature Brain of Preterm Infants (short paper)
A Science of Reasoning
An Abstraction Mechanism for Symbolic Expressions
On Aperiodic Sets of Wang Tiles
Reconsidering the Jeep Problem - Or How to Transport a Birthday Present to Salosauna
Optimization Under the Perspective of Soundness, Completeness, and Reusability
Gaspar Mayor: A Prolific Career on Fuzzy Sets and Aggregation Functions
A Tableau Proof System with Names for Modal Mu-calculus
An Analysis of Decision Criteria for the Selection of Military Training Aircrafts
Efficient Transductive Online Learning via Randomized Rounding
Smart Healthcare: Rough Set Theory in Predicting Heart Disease
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday
Common Names for Mesozoic and Cenozoic Mammals: In Zoologists' Israeli Hebrew, and in English
Synthesis of Monitors for Real-Time Analysis of Reactive Systems
Axioms for definability and full completeness
Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
From Aristotle to Lotfi
On the Undecidability of Coherent Logic
Sparse Hard Sets for P
Zur sozialen Relevanz von Büro- und Telekommunikationsstandards
Statistical Analysis of the Diachronic Development of Terminal Rhyme in Chinese Poetry
Ubiquitous Operations Research in Production Systems
Grapheme und Laute des Russischen: Zwei Ebenen - ein Häufigkeitsmodell? Re-Analyse einer Untersuchung von A.M. Peškovskij
A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA
Accepting Array Grammars with Control Mechanisms
In Praise of Numerical Computation
Aggregating Parallel Multiset Rewriting Systems
On Neural Networks and Paul Spirakis
High-Level Representation of Benchmark Families for Petri Games
Fuzzy Arithmetic for Uncertainty Analysis
Decidability of the Class E by Maslov's Inverse Method
Cutting Out Continuations
Some Reflections on Two Current Trends in Formal Argumentation
The Cost of Exactness in Quantitative Reachability
Error-Tolerant Agents
Weakly Represented Families in Reverse Mathematics
Program-Size Complexity of Initial Segments and Domination Reducibility
Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and Homomorphisms
Distortion in Automorphisms of Expansive Systems
On Map Labeling with Leaders
A Survey of Atanassov's Intuitionistic Fuzzy Relations
A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems
On Fuzzy Convex Optimization to Portfolio Selection Problem
A Largely Automated Verification of GHC's Natural Mergesort
Learning Language Intersections
Coding Complexity: The Computational Complexity of Succinct Descriptions
Computable Model Theory over the Reals
Effective Bi-immunity and Randomness
Computing the Intersection of Two Ruled Surfaces by Using a New Algebraic Approach
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
Reflecting on Self-Aware Systems-on-Chip
Feature-Based Perception of Semantic Concepts
Best-First Rippling
Bisimulation Equivalences for Graph Grammars
Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets
Some Future Software Engineering Opportunities and Challenges
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Associative Shuffle of Infinite Words
Some Remarks on Homogeneous Generating Networks of Free Evolutionary Processors
A Mixed Logical Dynamics Actuator Model for Optimal Control with Position and Rate Limits
Core-concavity, Gain Functions and Axioms for Information Leakage
Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany
Play with the Data!
Paraconsistent Reasoning with Words
OWA Aggregation of Probability Distributions Using the Probabilistic Exceedance Method
On some Properties of Automaton Mappings
A Multi-volume Approach to Stochastic Modeling with Membrane Systems
Arabic Character Recognition
The Branching Point Approach to Conway's Problem
On Compact Directed Acyclic Word Graphs
Encounters with Fuzziness and Ambiguity in Patterns - A Memorable Journey
German Loanwords in Polish and Remarks on the Piotrowski-Altmann Law
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing
Various Types of Objective-Based Rough Clustering
Thirty Years of Server Technology - From Transaction Processing to Web Services
A type-theoretic interpretation of standard ML
1-Generic Degrees Bounding Minimal Degrees Revisited
On Generalized Slenderness of Context-Free Languages
Multiparty Communication Complexity of Vector-Valued and Sum-Type Functions
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account
What kind of machine is the mind?
Motif Finding Algorithms: A Performance Comparison
Some Theorems Concerning the Core Function
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering
Planning with Effectively Propositional Logic
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
The Ultimate GUI Framework: Are We There Yet?
The Restricted Word Shadow Problem
Goal-Directed Methods for Fuzzy Logics
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System
Fuzzy Set Theory Utility for Database and Information Systems
Choiceless Computation and Symmetry
Second 6G Life Workshop on Post Shannon Theory
Making Sense of Complex Applications: Constructive Design, Features, and Questions
A Personal Tribute to Our Dedicated Friend Da Ruan
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem
Die Wirtschaftsinformatik an der TU Braunschweig
Technical Debt: Showing the Way for Better Transfer of Empirical Results
Da as a Flawless Organizer
The Dynamic Random Access Memory Challenge in Embedded Computing Systems
Sequence and Structural Analyses for Functional Non-coding RNAs
Towards an Expressive Practical Logical Action Theory
Transformations in Reconfigurable Place/Transition Systems
Wittgenstein and Zadeh, Side by Side
Polymorphic Session Processes as Morphisms
Time: It is only Logical!
On the Simulation Assumption for Controlled Interaction Processing
A Beginner's View on Fuzzy Logic
Applications of Algorithms for Solving Equations and Inequalities in Mathematica
The Impact of Parameterized Complexity to Interdisciplinary Problem Solving
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Etymothesis, Fallacy, and Ontologies: An Illustration from Phytonymy
A Case-Study on Structured Modeling with Internal Domain-Specific Languages
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
WSDFU: Program Transformation System Based on Generalized Partial Computation
Towards Component Based Design of Hybrid Systems: Safety and Stability
Natural Language Processing Challenges, Achievements and Problems - A Sober Personal Perspective
Detection of Local Intensity Changes in Grayscale Images with Robust Methods for Time-Series Analysis
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla
The publications of Gabriel Thierrin
Discretionary Information Flow Control for Interaction-Oriented Specifications
Java Applets for the Dynamic Visualization of Voronoi Diagrams
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach
Fibring Logics: Past, Present and Future
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
Computer Modeling in Neuroscience: From Imperative to Declarative Programming - Maude Modeling in Neuroscience
Transformation Systems and Nondeclarative Properties
Rewriting P Systems with Conditional Communication
Classical-Quantum Arbitrarily Varying Wiretap Channel
Visualizing Languages Using Primitive Powers
From LOTOS to LNT
On a Minimal Logic of Default Conditionals
Further Reflections on the Timescale of AI
L # for DFAs
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
Konzernwandel und Portfoliosteuerung im TUI-Konzern
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
Weak Bisimulation as a Congruence in MSOS
Software-Lizenzierung für Engineering-Tools
Nested Summations
Bicategories of Markov Processes
The Hidden Structural Rules of the Discontinuous Lambek Calculus
Non-Algorithmic Theory of Randomness
Da and His Friends in France
Semantic Web Languages - Towards an Institutional Perspective
A Syntactic Approach to Prediction
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface
Integriertes Supply Chain Design - Konzept, IT-Unterstützung, Umsetzung
Static Slicing for Probabilistic Programs: An Overview
MiniJava on RISC-V: A Game of Global Compilers Domination
A New Framework for Designing Schema Mappings
Honoring Carolyn Talcott's Contributions to Science
The Membership of a Fuzzy Set as Coherent Conditional Probability
Werkzeuggestütztes Wissensmanagement bei einer deutschen Großbank zur Unterstützung des strategischen und administrativen Informationsmanagements - eine Fallstudie
On de Finetti on Iterated Conditionals
An Efficient Heuristic for Graph Edit Distance
From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Virtualization Based Development
A Generic Dynamic Logic with Applications to Interaction-Based Systems
On Fungal Automata
An Automatically Verified Prototype of a Landing Gear System
A Survey of the Bijective Burrows-Wheeler Transform
Explaining Preferences and Preferring Explanations
A Geometric Procedure with Prover9
Applying Formal Verification to an Open-Source Real-Time Operating System
A Small Tribute
Parallel Accepting Colonies: Computational Power and Deterministic Parsing
Axioms for Concurrent Processes
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty
Completion Is an Instance of Abstract Canonical System Inference
Open Problems in Abstract Argumentation
Array Contextual Grammars
Rationality Authority for Provable Rational Behavior
Institutional 2-cells and Grothendieck Institutions
Quantitative Aspects of Hierarchical Motifs
What I Learned from Brian
DKAL and Z3: A Logic Embedding Experiment
External Multi-Bracketed Contextual Grammars
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Die kognitive Semantik der 'Wahrheit'
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
Eric Goles
Ein akustischer Interaktionsraum - Neue Interaktionsmöglichkeiten für blinde Rechnerbenutzer