yusuke1997/dblp-id-title huggingface dataset:
A Survey of Results on the d-c.e. and n-c.e. Degrees
L-Fuzzy Bags
Conceptual Modeling Perspectives
Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
The Beauty of Vagueness
Cross-Cultural Multimedia Computing with Impression-Based Semantic Spaces
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces
Reminiscences of a Real-Time Researcher
Current Trends in Distributed Systems
Risks to Consider When Negotiating IT Outsourcing Agreements
Advanced Biometric Technologies: Emerging Scenarios and Research Trends
Higher-Order Computational Logic
Use of a Canonical Hidden-Variable Space in Quantum Mechanics
Small Complexity Gaps for Comparison-Based Sorting
From Active Data Management to Event-Based Systems and More - Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
Making ETAPS Gold Open Access
CS Unplugged - How Is It Used, and Does It Work?
The Essence of the Flyweight Design Pattern
Residuated Kleene Algebras
METAFrame in Practice: Design of Intelligent Network Services
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence
Ontology Makes Sense - Essays in honor of Nicola Guarino
The Mis/Dis-Information Problem Is Hard to Solve
Algorithmic Aspects of Risk Management
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression
A Setting for Generalized Computability
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Context-Free Multilanguages
Set-Theoretic Models of Computations
Schedulers are no Prophets
Automata Mista
Random Permutation Statistics and an Improved Slide-Determine Attack on KeeLoq
Parceling the Butterfly and the Batcher Sorting Network
Universal Hashing via Integer Arithmetic Without Primes, Revisited
Text ranking by the weight of highly frequent words
QoS-Aware Web Service Composition Using Graph Databases
Experimental Analysis of Treewidth
Formal Universes
Nine Years with Peter Buneman
Efficient Random Strategies for Taming Complex Socio-economic Systems
Verification of Automotive Control Units
Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users
Real Solution Classification for Parametric Semi-Algebraic Systems
Reaction Systems with Duration
Double-Speed Barrett Moduli
Who Asked Us? How the Theory of Computing Answers Questions about Analysis
Representation and Management of Complex 'Narrative' Information
On the Migration to and Synthesis of (Micro-)services: The Use of Intelligent Techniques
Eilenberg P Systems with Symbol-Objects
Modular quantifiers
A Survey on Universal Computably Enumerable Equivalence Relations
Semantics Engineering with Concrete Syntax
On the Choice of a Kernel Function in Symmetric Spaces
The Broad View: How To Spawn a Radical Organizational Transformation 'En Passant'
Sharp Oracle Inequalities in Low Rank Estimation
Software Model Checking: 20 Years and Beyond
A Richer Understanding of the Complexity of Election Systems
Modular Verification Scopes via Export Sets and Translucent Exports
Deciding the NTS Property of Context-Free Grammars
Zur Problematik eines Gedankenexperiments über die Informationsversorgung der Wissenschaften
Unification and polymorphism in region inference
Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Applying an evenness index in quantitative studies of language and culture: a case study of women's shoe styles in contemporary Russia
Multi-view Modeling to Support Embedded Systems Engineering in SysML
Industrial Application of Formal Models Generated from Domain Specific Languages
EM Probes Characterisation for Security Analysis
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation
Lexical Text Compactness with Link Length Taken into Account
On the Syntactic Representation of Multiple Iterated Belief c-Revision
Random Surfing Without Teleportation
A Quantum-Like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden
New Methods for Image Generation and Compression
On the Power of Play-Out for Scenario-Based Programs
Disjunctive Programs with Set Constraints
Syntax vs. Semantics on Finite Structures
Theoretical Computer Science, Essays in Memory of Shimon Even
Ord's criterion with word length spectra for the discrimination of texts, music and computer programs
The K Vision for the Future of Programming Language Design and Analysis
Understanding Probabilistic Programs
Compositional Testing of Real-Time Systems
Marcus Topologies and Applications to Granular Semantics over Mereological Granules of Knowledge
Last Mile's Resources
The Formal System of Dijkstra and Scholten
Generic Models of the Laws of Programming
Equational Weighted Tree Transformations with Discounting
Modal Fixed-Point Logic and Changing Models
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions
Secure and Privacy-Preserving eGovernment - Best Practice Austria
Topological Complexity of Context-Free ω-Languages: A Survey
Some Undecidable Dynamical Properties for One-Dimensional Reversible Cellular Automata
Change Management for Heterogeneous Development Graphs
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems
The Birth of Object Orientation: the Simula Languages
A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
Embracing the Formal Revolution in Applied Ontology: The Impact of Nicola Guarino
The Foundational Legacy of ASL
Frequency analysis of grammemes vs. lexemes in Taiwanese
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic
Polynomial Precise Interval Analysis Revisited
Network Security Metrics: From Known Vulnerabilities to Zero Day Attacks
NP-Completeness of Grammars Based Upon Products of Free Pregroups
Organic Computing for Adaptive and Resilient Electricity Grid Management
Medizinische Informatik an der TU Braunschweig und der Medizinischen Hochschule Hannover
Quantum Automata Theory - A Review
Compliance in Behavioural Contracts: A Brief Survey
Embeddings and Contexts for Link Graphs
Programming Inductive Proofs - A New Approach Based on Contextual Types
Empirical Practice in Software Engineering
A Tribute to Antoni Olivé on the Occasion of His Retirement
Covering Analysis of the Greedy Algorithm for Partial Cover
Indexes for Document Retrieval with Relevance
Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung
A Logic Programming Approach to Reaction Systems
Model Discovery and Discrete Inverse Problems with Cellular Automata and Boolean Networks
Modellierung selbststeuernder logistischer Prozesse in der Produktion
On Associative Lambek Calculus Extended with Basic Proper Axioms
Recognizing and Interpreting Temporal Expressions in Open Domain Texts
From Monadic Logic to PSL
Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles
Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems
On Reuse in Service-Based Workflows
Logic-Based Hybrid Agents
Computing Centers of Blowups for Birational Projective Morphisms of Varieties
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms
Indexed Grammars, ET0L Systems and Programming Languages
Haunted Quantum Contextuality versus Value Indefiniteness
A Recurrent Enumeration of Free Hypermultisets
The Benefit of Microworlds inLearning Computer Programming
Comparing Fuzzy Numbers Using Defuzzificators on OFN Shapes
Automated Reasoning and Mathematics - Essays in Memory of William W. McCune
On the Formal Modelling of Trust in Reputation-Based Systems
About Professionalisation in the Intelligence Community: The French Cryptologists (ca 1870-ca 1945)
How Distributed Algorithms Play the Token Game
Boolean Algebras by Length Recognizability
Pythagoras to pacifism: mathematics and archives
There Is More to Legal Reasoning with Analogies than Case Based Reasoning, But What?
The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski
User Interface Development: Problems and Experiences
Consistency and serializability in concurrent database systems
SynthLearn: A Tool for Guided Reactive Synthesis
Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint
Unconventional Computational Models for Distributed Networks: Results and Perspectives
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
Computational Logic - Essays in Honor of Alan Robinson
New Developments in WCET Analysis
Data-Streaming and Concurrent Data-Object Co-design: Overview and Algorithmic Challenges
Secure Key Management Policies in Strand Spaces
Italian Clitic Patterns in Pregroup Grammar: State of the Art
Computing on Lattice-Ordered Abelian Groups
P Colonies Generating Strings
Types for Progress in Actor Programs
Teaching an Old Course New Tricks: A Portable Courseware Language Based on XML
Release the Beasts: When Formal Methods Meet Real World Data
How Can We Construct Reversible Machines Out of Reversible Logic Element with Memory?
The Fundamental Nature of the Log Loss Function
Which Acceptation? Ontologies for Historical Linguistics
A Compiler for the Java HotSpot TM Virtual Machine
The Quest for a Tight Translation of Büchi to co-Büchi Automata
Valuations of Weighted Automata: Doing It in a Rational Way
Data-Driven Analyses of Electronic Text Books
A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective
A Unified View of Induction Reasoning for First-Order Logic
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic
SParK: Safety Partition Kernel for Integrated Real-Time Systems
Digital Algebra and Circuits
Exploiting Data Sensitivity on Partitioned Data
Generation of Interval-Valued Fuzzy Negations from Trillas' Theorem. The Case of Interval Type-2 Fuzzy Sets
Modules, Brains and Schemas
Pictures, layers, double stranded molecules: on multi-dimenional sentences
Seeing Beyond Divergence
Scalable Verification of Local and Global Properties of Collective Systems
Aspects of Data-Intensive Cloud Computing
The Art of Reaching the Age of Sixty
Design Verification Patterns
Multiagent Compromises, Joint Fixpoints, and Stable Models
Smallest enclosing disks (balls and ellipsoids)
Generalized Random Context Picture Grammars: The State of the Art
Lightweight Information Flow
Soulmate Algorithms
Benutzergerechte CAD-Systeme - das Feature-Konzept in Psychologie, Linguistik und Computer Grafik
Transforming Geometrically Enhanced Conceptual Model Schemas to GML
What Is All the Fuss About Neural Networks?
I Got Plenty o' Nuttin'
Programming Autonomic Systems with Multiple Constraint Stores
Die wissenschaftlichen Arbeiten von Reinhold Franck
Graph Operations and Free Graph Algebras
Stability of Reapproximation Algorithms for the \beta β -Metric Traveling Salesman (Path) Problem
Words that Spring to Mind
On Model-Based Software Development
Similarity, Uncertainty and Case-Based Reasoning in Patdex
Extended Lambek Calculi and First-Order Linear Logic
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
Closing a Long-Standing Complexity Gap for Selection: V 3(42) = 50
Bi-state Logic
Papers by Solomon Marcus
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
A Parameterized Halting Problem
Comparing Descriptional and Computational Complexity of Infinite Words
A Basic Parameterized Complexity Primer
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
The Chip Company that made $100m with MODULA-2
Principles of Inverse Computation and the Universal Resolving Algorithm
Efficient Evaluation of Nearest-Neighbor Queries in Content-Addressable Networks
Parallel and Serial Jumps of Weak Weak König's Lemma
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence
A Tutorial on Graph Transformation
Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions
Characterization of RE Using CD Grammar Systems with Two Registers and RL Rules
No Free Lunch versus Occam's Razor in Supervised Learning
Asynchronous Congestion Games
Model Feasible Interactions in Distributed Real-Time Systems
Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)
Modules and Components - Rivals or Partners?
Proving Behavioral Refinements of COL-specifications
On Implicit Arguments
Fuzzy Systems at the University of Santiago de Compostela: A Personal Vision of the Last Twenty Years
Effectiveness and Efficiency of Semantics
Integrating a Lightweight Information Agent with the Cyc Knowledge Base
Geocommunity Based Data Forwarding in Social Delay Tolerant Networks
A Unified Approach to Data and Meta-data Modifications for Data/Knowledge Bases
Introduction to the Ada Lovelace Symposium
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
Static Analysis for Security Vetting of Android Apps
A Debugging System for Language-Parameterized Proofs
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Modal Intersection Types, Two-Level Languages, and Staged Synthesis
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
Nonlinear Quadrotor Control Based on Simulink Support Package for Parrot Minidrones
Infinity and Finite Arithmetic
Computer Runtimes and the Length of Proofs - With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving
Future Security: Processes or Properties? - Research Directions in Cybersecurity
Unification and ML-Type Reconstruction
Binary Patterns in Infinite Binary Words
Finite Equational Bases in Process Algebra: Results and Open Questions
Active and Busy Time Scheduling Problem: A Survey
On Languages of Cyclic Words
Scope Graphs: The Story so Far
Some Thoughts on the Semantics of Biocharts
A Case for Certifying Compilers in Industrial Automation
Contrary-To-Duties in Games
Two PhD Students for the Price of One
Mathematical Models of Object-Based Distributed Systems
The Parable of Zoltan
On Pushdown CD-Systems of Regular Grammars
The Role of Abstraction in Model Checking
A Review of Fuzzy and Mathematic Methods for Dynamic Parameter Adaptation in the Firefly Algorithm
Specifying Fault-Tolerant Mixed-Criticality Scheduling
Analysis and Design of Interconnected Systems: A Systems and Control Perspective
A Risk Integrated Methodology for Project Planning Under Uncertainty
Generating Software for Well-Understood Domains
Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday
Complexity Challenges in Development of Cyber-Physical Systems
Model Finding for Exploration
Property-Preserving Parallel Decomposition
Adaptive Coding for Two-Way Wiretap Channel Under Strong Secrecy
A Stochastic Theory of Black-Box Software Testing
Physical Simulation of Inarticulate Robots
On Fuzziness in Complex Fuzzy Systems
Spatial Data Management for Virtual Product Development
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases
The chess example in Turing's Mind paper is really about ambiguity
A Logical Basis for Quantum Evolution and Entanglement
Semi-simple splicing systems
Enriching Data Models with Behavioral Constraints
Animal Farm: An Eco-Grammar System
Timed Temporal Logics
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions
An Introduction to Temporal Graphs: An Algorithmic Perspective
Data Refinement in a Market Research Applications' Data Production Process
Da Always Ready to Help
Electronic Dictionaries and Acyclic Finite-State Automata: A State of the Art
Statistical parameters of Ivan Franko's novel Perekhresni stežky (The Cross-Paths)
Abstractions for Transition Systems with Applications to Stubborn Sets
Cryptography as an Attack Technology: Proving the RSA/Factoring Kleptographic Attack
Two First-Order Theories of Ordinals
Parameterized Metareasoning in Membership Equational Logic
The Early Days of Entity-Relationship Modeling Retrospective on Dataid Project and Beyond
Domain Analysis and Description - Sorts, Types, Intents
Visualization-based communities discovering in commuting networks : a case study
Algorithms on Continued Fractions
Masking Gateway for Enterprises
Hunting Superfluous Locks with Model Checking
Colonies as Models of Reactive Systems
Der Emeritus
Attributed Translations
Fuzziness: Came for the View, Stayed for the Same
Practical Theory Extension in Event-B
Solving First-Order Constraints over the Monadic Class
Fuzzy-Genetic Approach to Identity Verification Using a Handwritten Signature
Reward Testing Equivalences for Processes
Social Requirements Models for Services
Cryptographic Applications of the ANS Compression
Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008
Roots and Stimuli to a New Perception of Informatics
Characterizations of Parallel Real-Time Workloads
Relating Domain Concepts Intensionally by Ordering Connections
Functional Logic Programming: From Theory to Curry
Combining the typed lambda-calculus with CCS
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
Hybrid BDD and All-SAT Method for Model Checking
A Specification Theory of Real-Time Processes
A Performance Boost for Hash-Based Signatures
Pattern-Based Risk Identification for Model-Based Risk Management
Tool Support for Ontology Engineering
A Formal Analysis of the Bitcoin Protocol
Multi-view Consistency in UML: A Survey
The School of Niklaus Wirth, "The Art of Simplicity"
Natural Design - Some Remarks on the Human Nature and the Design of User Interfaces
Threshold Functions for Distinct Parts: Revisiting Erdős-Lehner
Two Glass Balls and a Tower
Designing Output Sensitive Algorithms for Subgraph Enumeration
Reactivity and Grammars: An Exploration
On Building a Referee's Avatar
Randomness Tests: Theory and Practice
Approximate Rings and Gröbner Bases
Reflection in an Object-Oriented Concurrent Language
Nondeterministic controllers of nondeterministic processes
The Optimal Strategy to Meet the Deadline: Ask Christel!
Cofree Coalgebras for Signature Morphisms
Real-Valued Realizations of Boolean Algebras Are a Natural Frame for Consistent Fuzzy Logic
Concurrent Hyperproperties
From Pattern Dictionary to Patternbank
The Institutional Dynamics of Sharing Biological Information : Towards Reflexive Governance of the Information Society
Challenges in Answer Set Solving
Time-varying distributd H-systems of degree 2 generate all recursively enumerable languages
Fuzzy Regression Models Beyond Fuzzy Rule Base Models
FDR: From Theory to Industrial Application
Insertion of languages and differential semirings
Model-Based Testing Without Models: The TodoMVC Case Study
Research Perspectives for Logic and Deduction
Pre-electronic Computing
From Otter to ISoLA
SIMULA and Super-Object-Oriented Programming
Trustworthy Real-Time Systems
On Linguistic Variables and Sparse Representations
The Memories That Long Last
Compiler Construction versus Lotus Notes TM : A Strange Battle
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl
Techniques for Formal Modelling and Analysis of Quantum Systems
Alpha-Beta-Gamma - Automata Realizing Preferences
Verification of Compilers
User Trust and Judgments in a Curated Database with Explicit Provenance
Genericity and Randomness over Feasible Probability Measures
Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems
Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV
Synchronization Expressions: Characterization Results and Implementation
Can Pronouns Change the Dynamic Visualization of the Poetic World?
Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Towards a Maude Formal Environment
AND/OR Multi-valued Decision Diagrams for Constraint Networks
A Decidable CLDS for Some Propositional Resource Logics
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups
Authenticated-Encryption with Padding: A Formal Security Treatment
Subsumption, a Sometimes Undervalued Procedure
Stability of Gröbner Bases and ACGB
Application Layer Protocols for Internet of Things
Two semi-mathematical asides on Menzerath-Altmann's law
Connectives in Cumulative Logics
Introducing Quasirandomness to Computer Science
Cryptographic Protocols and Voting
Graph Transformation Units - An Overview
Spiking Neural P Systems: Theoretical Results and Applications
On the Number of Evolutionary Processors in Networks with Length-Driven Communication
Transposition and Time-Scale Invariant Geometric Music Retrieval
Hybrid Flow Shop Scheduling with Availability Constraints
Applications of Pathway Logic Modeling to Target Identification
A Selective Tour Through Congestion Games
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards
NP NP -Hardness of Equilibria in Case of Risk-Averse Players
Semantics and Verification of a Language for Modelling Hardware Architectures
Classifying Regular Languages by their Syntactic Algebras
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Deterministic top-down tree automata: past, present, and future
From Human- Computer Interaction to Human- Artefact Interaction: Interaction Design for Smart Environments
Pæan to Zohar Manna
Advances in the Parallelization of the Simplex Method
Planning Attacks to Security Protocols: Case Studies in Logic Programming
Stratification Based Model for Security Policy with Exceptions and Contraries to Duty
Object-Oriented Distributed Artificial Intelligence
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later
GALLURA and the Challenge of Combining Phono-Semantic Matching with Story-Generation: Zoonomastic Illustration
External Contextual and Conditional Languages
Prof. Da Ruan in My Memory
Eelco Visser and IFIP WG 2.16
Simulation Relations and Applications in Formal Methods
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
The Computational Efficiency of Insertion Deletion Tissue P Systems
Games, Puzzles and Treewidth
Nested Constraints and Application Conditions for High-Level Structures
Wissenserwerb und Wissensmanagement
Fuzzy Control: From Heuristic Rules to Optimization on Thousands of Decision Variables
On Conceptual Content Management
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems
Seeing Arboretum for the (partial k-) Trees
Eliminating Dependent Pattern Matching
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking
On Regular Expression Proof Complexity of Salomaa's Axiom System F 1
Graph Transformation by Computational Category Theory
Convex Lattice Equation Systems
Minkowski's Conjecture on Critical Lattices and Quantifier Elimination
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method