yusuke1997/dblp-id-title huggingface dataset:
A Method of Design and Optimization for SiC-Based Grid-Connected AC-DC Converters
Combining Epistemic Logic and Hennessy-Milner Logic
A Uniform Approach to Petri Nets
Ein Blick voraus in die Vergangenheit. Von Visionen und Konzepten der frühen Dokumentationsbewegung
Numerical Stability of simple Geometric Algorithms in the plane
Whetstone Wanderings
Answer Set Programming Made Easy
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
Evolution von Monolithen hin zu Fraktalen? Dienste- und komponentenbasierte Softwarearchitekturen am Beispiel von ERP-Software
Retail Loop - Ein systemtheoriebasierter Supply Chain Management Ansatz für den Einzelhandel
Some Questions in Computable Mathematics
On Zadeh's Intuitionistic Fuzzy Disjunctions and Conjunctions
On Non-polar Token-Pass Brownian Circuits
Hexagonal Array Acceptors and Learning
Increasing Block Sizes Using Feistel Networks: The Example of the AES
Löb's Logic Meets the µ-Calculus
On Data Recovery in Distributed Databases
Compiler Construction - The Art of Niklaus Wirth
Converse Techniques for Identification via Channels
Governance Challenges: First Lessons from the WSIS - An Ethical and Social Perspective
Managing Environment and Adaptation Risks for the Internetware Paradigm
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Consensus-Based Agglomerative Hierarchical Clustering
Bounded Randomness
Composition Over the Natural Number Ordering with an Extra Binary Relation
Mixed Links: A Method for Generating Multi-Stranded Structures in Syntax
The foundations of Esterel
Associativity and Commutativity in Generic Merge
A Note on Representing and Interpreting MV-Algebras
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen
Viability Kernel Based Control Approach for a Flight Simulator Model
A Survey of Some Quantitative Approaches to the Notion of Information
Obituary in the Newsletter of Faculty of Engineering and Information Technology, University of Technology, Sydney
Soft Computing Modeling of Microbial Metabolism
Algorithms for Solving Satisfiability Problems with Qualitative Preferences
The Connection Method, Constraints and Model Building
Pseudo-Identities and Bordered Words
Speech in the Ceremony for Da Ruan at Vito Conference Hall, Mol, Belgium, 6 Aug. 2011
Requirements Engineering in Complex Domains
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method
Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
DNA-based Cryptography
A Retrospective on Constraint Databases
Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
On the Root-Based Lexicon for Polish
Declarative Natural Language Specifications
Playing Wordle with Uppaal Stratego
On the Specification and Verification of Model Transformations
Fair Adaptive Overlay Communications - A Historical Perspective on P2P-Based Publish/Subscribe
Cryptographic Protocols for Auctions and Bargaining
Online Courses Step by Step
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday
Falsification and Future Performance
Basic LMS Architecture for Learner-Centric LearnFlows or How Reusable Learning Objects Fit into Co-Constructivist Learning Processes
Aspect Validation Using Model Checking
A Comprehensive Review on Edge Computing: Focusing on Mobile Users
Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem
2-Pointer Logic
Modular Termination of Graph Transformation
Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]
The Digesto Jurídico Argentino: Considerations Concerning a Large Juridical Project
Introducing Reactive Kripke Semantics and Arc Accessibility
Lambda Calculi and Linear Speedups
Logic and Applications - LAP Meeting
Reporting und strategische Steuerung im Profifußball - Das Projekt BalPlan (Balanced Scorecard Planning System) des VfB Stuttgart 1893 e.V
OFN Capital Budgeting Under Uncertainty and Risk
FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures
Input-Position-Restricted Models of Language Acceptors
Schemaless Semistructured Data Revisited - - Reinventing Peter Buneman's Deterministic Semistructured Data Model -
Fuzzy Models of Spatial Relations, Application to Spatial Reasoning
Mediator Synthesis in a Component Algebra with Data
Touchless Palmprint and Fingerprint Recognition
Surveys Aimed at General Citizens of the US and Japan About Their Attitudes Toward Electronic Medical Data Handling - 10 Years Change, Before and After Covid-19
Semi-Top-Down Syntax Analysis
Programming Logics - Essays in Memory of Harald Ganzinger
A Note on Runtime Verification of Concurrent Systems
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
Concurrency: Handling Interference Formally
Infinitary Rewriting: From Syntax to Semantics
An Ontology of States
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
Modularity of Ontologies in an Arbitrary Institution
Polar: An Algebraic Analyzer for (Probabilistic) Loops
Vertical Object Layout and Compression for Fixed Heaps
On Efficient Load Balancing for Irregular Applications
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks
Quantum Correlations Conundrum: An Automata-Theoretic Approach
From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday
Here and There among Logics for Logic Programming
Model Checking and Strategy Synthesis with Abstractions and Certificates
Language subgrouping
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning
Pointlessness is Better than Listlessness
Some algebraic properties of contexts and their applications to contextual languages
Imperfect Information in Logic and Concurrent Games
Ein mehrsprachiges Kommunikationsforum zur Unterstützung von Lernprozessen ohne Sprachbarrieren
Correct Compilation of Concurrent C Code
Democracy, innovation, and the information society
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
Array Abstraction with Symbolic Pivots
Fuzzy Deformable Prototypes and Forest Fires Prediction and Prevention
Da: My Best Friend and Saviour (贵人)
Intelligent Search on the Internet
Small Universal Devices
Bot or Human? A Behavior-Based Online Bot Detection System
Concurrent objects as mobile processes
A Class of EXP-Time Machines which can be Simulated by Polytape Machines
Formalism and Intuition in Software Engineering
Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications
Dexter Kozen's Influence on the Theory of Labelled Markov Processes
Consciousness by Degree
The games of his life
On Revival of Algol-Concepts in Modern Programming and Specification Languages
Safe Smooth Paths Between Straight Line Obstacles
Verification of Clock Synchronization in TTP
Abstract and Concrete Data Types vs Object Capabilities
Pattern-Based Context Establishment for Service-Oriented Architectures
HeadREST: A Specification Language for RESTful APIs
Threshold and Majority Group Testing
Humanities' tears
Optimal Coin Flipping
A History of Distribution-Sensitive Data Structures
Same Same But Different: Interoperability of Software Product Line Variants
Computer Science and State Machines
Extension Morphisms for CommUnity
Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Getting Saturated with Induction
Understanding Network Behavior by Structured Representations of Transition Invariants
What Is the Source of Fuzziness?
Finitely Presented Abelian Lattice-Ordered Groups
Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars
Model-Based Representations for Dataflow Schedules
Well-Supported Semantics for Logic Programs with Generalized Rules
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity
Milestones and Outcomes in Health and Human Services Informatics Education Programmes
Finite Splicing: Generative Capacity, New Models and Complexity Aspects
Computing Tree Decompositions
CESAn: A Core Erlang Semantics Analyser
Quantum Field Theory for Legspinners
The Information Society : What Next?
Information Flow for Timed Automata
Towards a Navigational Logic for Graphical Structures
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Beautiful Code, Beautiful Proof?
Controlling Concurrency and Expressing Synchronization in Charm++ Programs
Verifying Security Protocols: An Application of CSP
Languages Accepted by Integer Weighted Finite Automata
Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
Wisdom Technology: A Rough-Granular Approach
Linear λμ is CP (more or less)
InfoShere M-V: A New Approach to 3D-Visualization of Information
On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 2
Ordered Fuzzy Candlesticks
Von der Balanced Scorecard zu universitüren Wissensbilanzen
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
Parameterized Complexity and Subexponential-Time Computability
On Some Classical Tenets and Fuzzy Logic
How to (Carefully) Breach a Service Contract?
Models for Data-Centric Workflows
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Bicompletions of Distance Matrices
Complete Categorical Deduction for Satisfaction as Injectivity
An Algorithm for Testing Structure Freeness of Biomolecular Sequences
Some Reflections on Proof Transformations
Designing Benchmarks for P2P Systems
A New Basic Set of Transformations between Proofs
Incremental Reasoning for Object Oriented Systems
Dynamic Service Composition and Deployment with OpenRichServices
On the Iteration of KM-Update
Advances in DNA Sequencing
Duplication in DNA Sequences
Triangular Pasting System
Experiences Using Decision Trees for Knowledge Discovery
Indistinguishability by Default
Preserving Privacy in Awareness Systems
The Soul of a New Cliché: Conventions and Meta-Conventions in the Creative Linguistic Variation of Familiar Forms
A Type System for Client Progress in a Service-Oriented Calculus
Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015
50 Shades of Governance: Using Conceptual Modeling to Set Up Structures Ensuring Digital-Business Alignment
Peptide Computers
From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement
About the Quality of Data and Services in Natural Sciences
From the Alleys of Cairo to the Internet Highways An Intellectual Journey: Languages, Information and Intelligence
Evolving Reactive Logic Programs
A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity
Security Protocols as Choreographies
On Complete Classes of Directed Graphs
Model Checking Programmable Router Configurations
Building Swahili Resource Grammars for the Grammatical Framework
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Agents as Multi-threaded Logical Objects
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
On Warehouses, Lakes, and Spaces: The Changing Role of Conceptual Modeling for Data Integration
A Retrospective on (Meta) Kernelization
Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday
On the Concept of Cis-regulatory Information: From Sequence Motifs to Logic Functions
Four Apt Elementary Examples of Recursion
Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning
Scheduling and Financial Planning in Stochastic Activity Networks
What Makes Petri Nets Harder to Verify: Stack or Data?
A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies
Embedding Professional Issues within University Degree Courses
Unraveling a Card Trick
Membrane Computing Schema: A New Approach to Computation Using String Insertions
Consistency and Persistency in Program Verification: Challenges and Opportunities
Sums-of-Products and Subproblem Independence
Mind the Divide Surrounding Knowledge Representation
Bisimulation for Markov Decision Processes through Families of Functional Expressions
The Incorrectness of the Bisection Algorithm
Firefly-Inspired Algorithm for Job Shop Scheduling
Strand Spaces with Choice via a Process Algebra Semantics
Statistical Epistemic Logic
Services as a Paradigm of Computation
Verifying and Recasting Secret Ballots in Computer Networks
Neither Concepts Nor Lotfi Zadeh are Fuzzy Sets
Modal Satisfiability via SMT Solving
Reasoning about the Intentions of Agents
Semantic Reflection and Digital Twins: A Comprehensive Overview
On Quisquater's Multiplication Algorithm
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday
Teleo-Reactive Abductive Logic Programs
Testing Implementation Soundness of a WCET Analysis Tool
The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
A Logic for PTIME and a Parameterized Halting Problem
n-Insertion on Languages
Power Consumption in Cellular Automata
Axiomatizing Team Equivalence for Finite-State Machines
Random Access to High-Order Entropy Compressed Text
Dynamic interval analysis by abstract interpretation
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service
Input-Output Model Based on Ordered Fuzzy Numbers
Automated Abduction
Description Logics as Ontology Languages for the Semantic Web
Car or Public Transport - Two Worlds
Toward Structured Parallel Programming: Send-Receive Considered Harmful
Testing for Coordination Fidelity
ASM Specification and Refinement of a Quantum Algorithm
On Teaching Fast Adder Designs: Revisiting Ladner & Fischer
Errata: On Fuzziness
Turing Incomputable Computation
Primitive Rewriting
Conditional Grammars with Commutative, Circular and Locally Testable Conditions
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective
How to Explain Security Protocols to Your Children
Finding Reductions Automatically
Modeling and Specification of Real-Time Interfaces with UTP
On Complete Problems, Relativizations and Logics for Complexity Classes
Guest Editor in Special Issues of Journals
Formalisation of Probabilistic Testing Semantics in Coq
Stop Gambling! It Just Takes Too Long
High-Level Net Processes
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach
Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello
Algorithms for Energy Saving
The Lambda Calculus: Practice and Principle
CafeOBJ Traces
Confluence of the Chinese Monoid
Outsourcing Parsebanking: The FinnTreeBank Project
On Topological Completeness of Regular Tree Languages
Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat
Effect Systems Revisited - Control-Flow Algebra and Semantics
Symmetric MV-Algebras
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
IBM-ACS: Reminiscences and Lessons Learned from a 1960's Supercomputer Project
Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex
The tile model
Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods
Mine Planning Above and Below Ground: Generating a Set of Pareto-Optimal Schedules Considering Risk and Return
Decompostion of Infinite Labeled 2-Structures
Selected Combinatorial Properties of Random Intersection Graphs
The History of WebML Lessons Learned from 10 Years of Model-Driven Development of Web Applications
Principial Congruences in Algebras
On Datalog Linearization of Chain Queries
Unfixing the Fixpoint: The Theories of the λY-Calculus
Causal Trees, Finally
A True Unprovable Formula of Fuzzy Predicate Logic
Modeling Role-Based Systems with Exogenous Coordination
An Empirical Investigation of the Component-Based Performance Prediction Method Palladio
An Implementation of Object-Oriented Action Semantics in Maude
Ultrametric automata and Turing machines
An Updated Survey on Secure ECC Implementations: Attacks, Countermeasures and Cost
Contributions of Fuzzy Concepts to Data Clustering
Controlled Fuzzy Parallel Rewriting
Average-Case Intractable NP Problems
A Fresh Look at Petri Net Extensions
Efficient Encryption and Storage of Close Distance Messages with Applications to Cloud Storage
Group Testing with Multiple Mutually-Obscuring Positives
Optimization of Ensemble Neural Networks with Type-1 and Interval Type-2 Fuzzy Integration for Forecasting the Taiwan Stock Exchange
Solving Degree and Degree of Regularity for Polynomial Systems over a Finite Fields
Finding Nearest Larger Neighbors
ARGOT: The Flesh Made Word
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
TLPVS: A PVS-Based LTL Verification System
Zielkatalog für das IV-Vertragscontrolling
Modal Scenarios as Automata
An Optimal Parallel Algorithm for Minimum Spanning Trees in Planar Graphs
Codes, Involutions, and DNA Encodings
Brzozowski's Algorithm (Co)Algebraically
Self-powered Embedded Systems: The Role of Non-volatile Memory Technology in IoT Devices
Mary of Guise's Enciphered Letters
Hereditary Zero-One Laws for Graphs
Sequence Hypergraphs: Paths, Flows, and Cuts
First-order definable languages
Automata: from logics to algorithms
How to Drawjectory? - Trajectory Planning Using Programming by Demonstration
A Discussion on Pricing Relational Data
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Just-in-Time Sentiment Analysis for Streamed Data in Greek
Iterated Morphisms with Complementarity on the DNA Alphabet
On Restarting Automata with Rewriting
Proving Safety of Traffic Manoeuvres on Country Roads
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking
Da and the Chinese Community of Mol
Model Checking Markov Chains as Distribution Transformers
A Non-monotonic Goal Specification Language for Planning with Preferences
Interpreting dreams of abstract machines
Revisiting Epistemic Specifications
Provenance for Linked Data
Static Analysis of Parity Games: Alternating Reachability Under Parity
On the star height of unary regular behaviours
Splitting Logics
Promise Problems on Probability Distributions
Algorithms, Complexity, and Hans
Closure Relations, Buchberger's Algorithm, and Polynomials in Infinitely Many Variables
Rewriting Rules for Synchronization Languages
Randomized Search Heuristics as an Alternative to Exact Optimization
A Near-Horn Prolog for Compilation
Ker-I Ko and the Study of Resource-Bounded Kolmogorov Complexity
A New Incarnation of Action Language H
Quest for Rigorous Combining Probabilistic and Fuzzy Logic Approaches for Computing with Words
Algorithmic Applications of Schanuel's Conjecture
Eine konkrete Utopie von korrekter Software
Selected Topics of Multimedia Systems Research: The Beginnings
The KBMS Project and Beyond
QoR-Driven Resource Selection for Hybrid Web Environments
Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology
Translation Validation: From SIGNAL to C
Proving Theorems About Java-Like Byte Code
Linguistic disorders and pathologies: synergetic aspects
Multimodal Logics for Reasoning about Interaction
Modeling Permutations in Coqfor Coccinelle
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back
Domain Theory in Topical Form
Symbolic Analysis of Identity-Based Protocols
Mayor-Torrens t-norms in the Fuzzy Mathematical Morphology and Their Applications
Strength and Weakness in Computable Structure Theory
Towards Supporting Annotation for Existing Web Pages Enabling Hyperstructure-Based Searching
The P Versus NP Problem Through Cellular Computing with Membranes
Asynchronous \pi -calculus at Work: The Call-by-Need Strategy
I Kaptured the System
The New Paradigm of Informatics
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin
Object Identity and Query Equivalence
On the Expressive Power of Live Sequence Charts
KnowLang - A Formal Specification Model for Self-adaptive Systems
Approximating Polygons for Space-Filling Curves Generated with P Systems
Decidable Expansions of Labelled Linear Orderings
Extensional Logic of Hyperintensions
i as a Quadratic Residue in the Gaussian Integers
A Conceptual Framework and Experimental Workbench for Architectures
Surprising Applications of Treewidth Bounds for Planar Graphs
Solving Large Scale Learning Tasks. Challenges and Algorithms - Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday
The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset
Explaining Axiom Pinpointing
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Counting Successes: Effects and Transformations for Non-deterministic Programs
On Fuzziness
Towards Managing Software Architectures with Ontologies
Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings
Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence
Injecting Language Workbench Technology into Mainstream Languages
Invariants Synthesis over a Combined Domain for Automated Program Verification
Preference-Based Diagnosis Selection in Multi-Context Systems
Easy Intruder Deductions
Stylometric experiments in modern Greek: Investigating authorship in homogeneous newswire texts
From Fuzzy Deformable Prototypes to Fuzzy Web Search
Modelchecking Safety Properties in Randomized Security Protocols
SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency
On Birth, Death and Symmetry: Some Principles of Complex Ecological Systems
Constraint Satisfaction Problems Parameterized above or below Tight Bounds: A Survey
The ASSL Approach to Formal Specification of Self-managing Systems
Polymorphic Quantifiers and Underspecification in Natural Language
The Mirage of Universality in Cellular Automata
Processes Endure, Whereas Events Occur
Embedded Domain Specific Verifiers
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later
The Princeton University Geniza Project: Using the Internet for Jewish and Islamic Research
A Formal Basis for Reasoning on Programmable QoS
Reo Connectors and Components as Tagged Signal Models
The Impact of Models in Software Development
A Declarative View of Signaling Pathways
Temporally Attributed Description Logics
Transitions in Wireless Networks: Selected Results of Collaborative Research in MAKI
Counting Plane Graphs with Exponential Speed-Up
Process Algebras and Flocks of Birds