yusuke1997/dblp-id-title huggingface dataset:
An Institutional Version of Gödel's Completeness Theorem
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Towards Trace Metrics via Functor Lifting
A Recipe for State-and-Effect Triangles
How to Write a Coequation ((Co)algebraic pearls)
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)
Unfolding Grammars in Adhesive Categories
Finite Behaviours and Finitary Corecursion
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
Generalized Product of Coalgebraic Hybrid Logics
Algebras for Parameterised Monads
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
Context-Free Languages via Coalgebraic Trace Semantics
Algebra 'cap' Coalgebra = Presheaves
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
Relation Liftings on Preorders and Posets
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3-6, 2019
Tape Diagrams for Monoidal Monads
Finitary Functors: From Set to Preord and Poset
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)
Proving Safety Properties of Rewrite Theories
UML Interactions Meet State Machines - An Institutional Approach
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
Bases as Coalgebras
The Goldblatt-Thomason Theorem for Coalgebras
A First-order Logic for String Diagrams
A Diagrammatic Approach to Quantum Dynamics
EGGs Are Adhesive!
Deriving Bisimulation Congruences with Borrowed Contexts
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
On Terminal Coalgebras Derived from Initial Algebras
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
Conway Games, Coalgebraically
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)
A Logic-Programming Semantics of Services
Solving Fixed-Point Equations by Derivation Tree Analysis
The Maude Formal Tool Environment
CIRC: A Behavioral Verification Tool Based on Circular Coinduction
Full Abstraction for Fair Testing in CCS
Homomorphisms of Coalgebras from Predicate Liftings
Being Van Kampen in Presheaf Topoi is a Uniqueness Property
Many-Valued Relation Lifting and Moss' Coalgebraic Logic
Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
Closure Hyperdoctrines
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
Approximating Labelled Markov Processes Again!
Impossibility Results for the Equational Theory of Timed CCS
Strong Splitting Bisimulation Equivalence
Monoidal Company for Accessible Functors
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing
Final Coalgebras from Corecursive Algebras
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
Parametric (Co)Iteration vs. Primitive Direcursion
Tensor of Quantitative Equational Theories
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Completeness for Categories of Generalized Automata ((Co)algebraic pearls)
On Corecursive Algebras for Functors Preserving Coproducts
Look: Simple Stochastic Relations Are Just, Well, Simple
Observing Distributed Computation. A Dynamic-Epistemic Approach
Coalgebraic Epistemic Update Without Change of Model
The Priced-Timed Maude Tool
Applications of Metric Coinduction
The EfProb Library for Probabilistic Calculations
Structural Operational Semantics for Heterogeneously Typed Coalgebras
Coalgebras with Symmetries and Modelling Quantum Systems
Custom Hypergraph Categories via Generalized Relations
Semantics of Higher-Order Recursion Schemes
Towards a Coalgebraic Semantics of the Ambient Calculus
Canonical Coalgebraic Linear Time Logics
QStream: A Suite of Streams
DBtk: A Toolkit for Directed Bigraphs
Regular and Algebraic Words and Ordinals
Partial Higher-dimensional Automata
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
Matching mu-Logic: Foundation of K Framework (Invited Paper)
Open System Categorical Quantum Semantics in Natural Language Processing
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference
Saturated Semantics for Coalgebraic Logic Programming
Hybridization of Institutions
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, June 12-16, 2017
Fractals from Regular Behaviours
The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)
Logic Enriched over a Quantale (Invited Talk)
Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk)
Final Sequences and Final Coalgebras for Measurable Spaces
Bootstrapping Types and Cotypes in HasCASL
Distributive Laws for Lawvere Theories (Invited Talk)
Functorial Semantics as a Unifying Perspective on Logic Programming
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)
Context-Free Languages, Coalgebraically
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)
Coinduction: Automata, Formal Proof, Companions (Invited Paper)
An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
A Coinductive Representation of Computable Functions
Complete Iterativity for Algebras with Effects
Coalgebraic Infinite Traces and Kleisli Simulations
Indexed Induction and Coinduction, Fibrationally
Terminal Coalgebras for Finitary Functors
Abstract Local Reasoning for Program Modules
Generators and Bases for Monadic Closures
The Challenges of Weak Persistency (Invited Talk)
From Corecursive Algebras to Corecursive Monads
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Nijmegen, The Netherlands, June 24-26, 2015
Specification-Based Testing for CoCasl's Modal Specifications
Refinement Trees: Calculi, Tools, and Applications
Disjunctive Bases: Normal Forms for Modal Logics
An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
Ultrafilter Extensions for Coalgebras
Tree Automata as Algebras: Minimisation and Determinisation
Decomposing Comonad Morphisms
Bisimilarity Is Not Finitely Based over BPA with Interrupt
Syntactic Monoids in a Category
Coalgebraic Symbolic Semantics
Logical Semantics of Types for Concurrency
Revisiting the Institutional Approach to Herbrand's Theorem
The Open Algebraic Path Problem
Linearly-Used State in Models of Call-by-Value
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata
Complementation of Coalgebra Automata
Bireachability and Final Multialgebras
Infinite Computation, Co-induction and Computational Logic
WiCcA : LTS Generation Tool for Wire Calculus
Free Heyting Algebras: Revisited
Coalgebraic Foundations of Linear Systems
Bisimilar States in Uncertain Structures
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper)
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Artificial Intelligence Tools in Media and Journalism: Roles and Concerns
Compliant multimedia storage and data extraction from the untrusted and privacy-sensitive edge
International Conference on Multimedia Computing, Networking and Applications, MCNA 2024, Valencia, Spain, September 17-20, 2024
Enhanced Neural Speech Recognizer for Quranic Recitations
Turning Smartphone Camera into a Fungal Infection Detector for Chickpea Seed Germination
Examining the Relationship between Big Data Analytics, Consumer Response and Product Success
Detection of Trojan Horse in the Internet of Things: Comparative Evaluation of Machine Learning Approaches
Indoor Hybrid WiFi/LiFi Wireless Networks (IHWLNets): Architecture, Channel Models, State of the Art, and Future Directions
Keynote Speech 3: Exploring the Synergy of 3D Integration and Hardware Security
Keynote Speech 1: Integrating Machine Learning and Multi-Agent Systems for Fully Enabling Device-Edge-Cloud Continuum in Complex IoT Worlds
The Role of Artificial Intelligence in the Media Content Industry (Chat GPT as a model)
On the Reliability of Computer Simulations in Evaluating The Structural Performance of Reinforced Concrete Beams Under Dynamic Load
International Conference on Multimedia Computing, Networking and Applications, MCNA 2023, Valencia, Spain, June 19-22, 2023
The Theory of Planned Behavior Regarding Artificial Intelligence in Recommendations and Selection of YouTube News Content
A Study of Students' Knowledge, Skills, and Attitudes toward the Use of Infographics as a Teaching Tool
Exploiting Machine Learning for Osteoporosis Risk Prediction and Early Intervention
Keynote Speech 4: Digital Transition in Precision Agriculture
Interaction of motion energy with gesture, extroversion, dominance, and collaboration in dialogue
Deep Learning-Based Earthquake Prediction Technique Using Seismic Data
Medicinal Plants Recognition Using Deep Learning
Assessing Mutlimedia Based e-Mental Health Service Provision in Canada
Performance Test of Holographic Video Communication System
A Model for Adaptive Bug Bounty Programs and Responsible Disclosure in E-Government Vulnerability Management
Towards a Framework to Assess the Impact of Design Patterns on Software Metrics
Exploiting MIMO and Cognitive Radio for Improved Performance in Indoor Communication Systems
Keynote Speech 2: Bias and Discrimination in AI Systems: From Single-Identity Dimensions to Multi-Discrimination
The Role of Self-Determination Theory in Adopting Metaverse for Healthcare and Diagnostics among Healthcare Professionals
Detection of COVID-19 Cases from X-ray Images Using Capsule-based Network
The Evolution of Social Media: From Connecting People to Empowering Influencers
Investigating the Impact of Perceived Usefulness, Technological Factors, and Big Data on Digital Marketing Adoption and Tourists' Purchase Intentions(Case Study)
A Novel Approximate Computing Method for Efficient Search in Satellite Remote Sensing Products
Determinants Behind Continuous Intention to Use Data Journalism among Emirati Journalists
The Reality and Obstacles of Using Computerized Educational Games in Teaching the Students with Intellectual Disability
Leveraging Local Binary Patterns with Transfer Learning for Face Recognition in Low-light Conditions
Runs in the Family: Malware Family Variants Identification through API Sequence and Frequency Analysis
Exploring the Potential Implications of AI-generated Content in Social Engineering Attacks
Multi-Label Classification of Emotions in Arabic Tweets From Different Perspectives
Exploring Intellectual Property Rights in the Multimedia Advertising Campaign under UAE Law
Exploring Pre-service Mathematics Teachers' Perceptions of Teaching using Educational Games
Shaping the Future Classroom: Preservice Teachers' Attitudes Toward the Use of Social Media Platforms
A Tool for Moving Blockchain Computations Off-Chain
FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond
A Framework for Maintaining Citizenship Record on Blockchain
Efficient Balancing A* Search for Multi-robot Collaboration With Blockchain Consensus
Avoiding the 1 TB Storage Wall: Leveraging Ethereum's DHT to Reduce Peer Storage Needs
Blockchain in Smart Power Grid Infrastructure
DeDa: A DeFi-enabled Data Sharing and Trading System
Blockchains, Security, and Infrastructures: What we Know and What we Can Know
EVLA: Extended-Validation Certificates with Location Assurance
ForTrac: a Secure NFT-based Forward Traceability System for Providing Data Accuracy and Completeness
Review of Techniques for Privacy-Preserving Blockchain Systems
Statically Checking Transaction Ordering Dependency in Ethereum Smart Contracts
Proceedings of the 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2024, Singapore, 2 July 2024
BSCI 2022: Proceedings of the 4th ACM International Symposium on Blockchain and Secure Critical Infrastructure, Nagasaki, Japan, May 30, 2022
BSCI '21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, Virtual Event, Hong Kong, June 7, 2021
A Blockchain-based Co-Simulation Platform for Transparent and Fair Energy Trading and Management
CLEAN: Cloud-enabled Scalable Blockchain Outsourcing System Using Dynamic Programming
Decentralized Ensemble Learning Based on Sample Exchange among Multiple Agents
Eclipse-based Stake-Bleeding Attacks in PoS Blockchain Systems
GasSaver: A Tool for Solidity Smart Contract Optimization
Digital Twins and Blockchain for IoT Management
Incentive Mechanism for Social Network Data Pricing under Privacy Preservation
Blockchain as a Value Enabler: Bridging Financial Assets and Intangibles
A Blockchain-Based Self-Sovereign Identity System for KYC Processes
Proof-of-Play: A Novel Consensus Model for Blockchain-based Peer-to-Peer Gaming System
On Design of Blockchain-based Transport Scheme
Document Management System using Blockchain and Inter Planetary File System
Fruits Detections Using Single Shot MultiBox Detector
An Efficient Supply Chain Architecture Based on Blockchain for High-value Commodities
Towards an Evaluation Metric for Carbon-Emitting Energy Provenance of Bitcoin Transactions
A Variable Bulk Arrival and Static Bulk Service Queueing Model for Blockchain
Whispers on Ethereum: Blockchain-based Covert Data Embedding Schemes
Network Embedding Based On Structural Information Entropy: Network embedding
Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2023, Melbourne, VIC, Australia, July 10-14, 2023
Mitigating Frontrunning Attacks in Ethereum
A Framework for User-Centric Visualisation of Blockchain Transactions in Critical Infrastructure
Anomaly Detection in Bitcoin Network: Using Distance-based and Tree-based Unsupervised Learning Methods
Blockchain-enabled Data Provenance in Cloud Datacenter Reengineering
A Blockchain-based Trading Matching Scheme in Energy Internet
A Flexible and Privacy-preserving Cross-chain Identity Authentication System based on Anonymous Credentials
DecFL: An Ubiquitous Decentralized Model Training Protocol and Framework Empowered by Blockchain
Mining the Characteristics of the Ethereum P2P Network
Blockchain-based Reputation Evaluation Using Game Theory in Social Networking
Blockchain-based Secure Medical Data Management and Disease Prediction
Session details: Session 3: Blockchain-enabled Applications
Hybrid Chain And Dependability
Game Theory for Mobile Location Privacy
Smart Contract Symbol Execution Vulnerability Detection Method Based on CFG Path Pruning
Beyond Uber and Lyft: A Decentralized Cab Consortium over Blockchains
A Pipeline-based Chain Structure Byzantine Consensus Algorithm for Blockchain Systems
DPODA: Differential Privacy-based Online Double Auction for Pervasive Edge Computing Resource Allocation
Economic Analysis of Loot Box Market in Blockchain Games
BSCI '20: Proceedings of the 2nd ACM International Symposium on Blockchain and Secure Critical Infrastructure, co-located with AsiaCCS 2020, Taipei, Taiwan, October 6, 2020
Session details: Session 2: Blockchain-based Technical Integrations
Slim Chain and Dependability
An Asynchronous Chain and A Variable Bulk Arrival and Asynchronous Bulk Service Model
FutureText: A Blockchain-based Contract Signing Prototype with Security and Convenience
Security Control Components for Epidemic Prevention Donation Management Blockchain
Blockchain as a Dissipative System and Cognitive Space
Liquid Democracy in DPoS Blockchains
A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0
DCSS: A Smart Contract-based Data Continuous Storage Scheme
An Assessment Framework for Distributed Ledger Technology in Financial Application
Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection
CloudArcade: A Blockchain Empowered Cloud Gaming System
Session details: Session 1: Blockchain Consensus, Framework, and Architecture
A Blockchain-Enabled Society
Access Control Management for Plant Phenotyping Using Integrated Blockchain
Proceedings of the 2019 ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2019, Auckland, New Zealand, July 8, 2019
SmartWitness: A Proactive Software Transparency System using Smart Contracts
A Proof-of-Majority Consensus Protocol for Blockchain-enabled Collaboration Infrastructure of 5G Network Slice Brokers
Competitive Decentralized Randomness Beacon Protocols
Challenges of Cyber Security and the Emerging Trends
Trusted Sharing of Autonomous Vehicle Crash Data using Enterprise Blockchain and IPFS
DAMFA: Decentralized Anonymous Multi-Factor Authentication
Blockchain-Empowered Search Over Encrypted Data With Forward and Backward Privacy
Vulnerable Smart Contract Detection by Means of Model Checking
Design of Public Voluntary Carbon Market Mechanism based on Crosschain and Token Economics
An Analysis of Important Factors Affecting the Success of Blockchain Smart Contract Security Vulnerability Scanning Tools
Smooth Transition from PoW to PoS
Toward Distributed Ledger Support for 5G Network Services
DIAM-IoT: A Decentralized Identity and Access Management Framework for Internet of Things
SoK: Research status and challenges of blockchain smart contracts
An Anomaly Event Detection Method Based on GNN Algorithm for Multi-data Sources
MultiCall: A Transaction-batching Interpreter for Ethereum
Session details: Session 4: Short Paper Session
Decentralised Peer-to-Peer Crop Insurance
An Optimization Strategy for PBFT Consensus Mechanism Based On Consortium Blockchain
A Blockchain-Based Digital Identity Management System via Decentralized Anonymous Credentials
Revealing and Concealing Bitcoin Identities: A Survey of Techniques
Achieving Secure and Efficient P2P Data Trading based on Blockchain for Internet of Things
Simulating Difficulty Adjustment in Blockchain with SimBlock
A Novel Architecture for Tamper Proof Electronic Health Record Management System using Blockchain Wrapper
On the Impact of Network Transport Protocols on Leader-Based Consensus Communication
Distributed Community Detection over Blockchain Networks Based on Structural Entropy
A Security and Privacy Focused KYC Data Sharing Platform
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts
Blockchain-Powered Fraud Prevention in Health Insurance Industry
DL-DP: Improving the Security of Industrial IoT with Decentralized Ledger Defined Perimeter
A New Complex Network Robustness Attack Algorithm
Economic Analysis of Decentralized Exchange Market with Transaction Fee Mining
Achieving Privacy-Preserving Optimizer Architecture for Intent Execution on EVM Blockchain
T-Tracer: A Blockchain-Aided Symbol Mapping Watermarking Scheme for Traitor Tracing in Non-Repudiation Data Delivery
The Data Sharing Scheme based on Blockchain
Distributed Decentralized Chain (DDC) and k-Queue Variable Bulk Arrival and Static Bulk Service Model
A Novel Approach for Developing Decentralized Storage and Sharing Systems
Leading Hide Bribery Stubborn Mining Attack
Cross-chain Abnormal Transaction Detection via Graph-based Multi-model Fusion
Blockchain for Smart Logistics: Enhancing Identity Security, Bidding Transparency and Goods Tracking
ScaleSFL: A Sharding Solution for Blockchain-Based Federated Learning
New Loan System Based on Smart Contract
Paraconsistency and Paracompleteness in Chellas's Conditional Logics
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
Software Development for Underground and Overhead Distribution System Design
A Discrete Event Control Based on EVALPSN Stable Model
Railway Signal and Paraconsistency
A Planning-Based Knowledge Acquisition Methodology
Data Transformation in Modern Petrol Engine Tune-up
Non-Commutative Fuzzy Logics and Substructural Logics
Modeling the Behavior of Paraconsistent Robots
Learning Algorithm of Neural Network using Orthogonal Decomposition Method
A Note on Non-Alethic Temporal Logics
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II
A Heuristic Approach to the Cable Routing Problem in Electrical Panels
EVALPSN-Based Process Control in Brewery Plants
Feature Subset Selection for Supervised Learning using Fractal Dimension
Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems
Creation of Virtual Environments through Knowledge-Aid Declarative Modeling
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III
Distribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation
Paraconsistent Logic Applied in Expert System for Support in Electric Transmission System Re-establishment
Digital Images: Weighted Automata Theoretical Aspects
Paraconsistent Autonomous Mobile Robot Emmy III
Intelligent Vehicle Survey and Applications
Visibility and Focus: An Extended Framework for Granular Reasoning
Efficient Identification of Duplicate Bibliographical References
Decision Making based on Paraconsistent Annotated Logic
On topological properties of generalized rough sets
Avatars Animation using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments
Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005
An Attempt to Express the Semantics of the Adaptive Devices
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I
A System of Recognition of Characters based on Paraconsistent Artificial Neural Networks
Intelligent Safety Verification for Pipeline Based on EVALPSN
Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007
Para-analyzer and Its Applications
Functional Language of Digital Computers I
Testing Significance in Bayesian Classifiers
Constructive Logic and Situation Theory
Temporal Logic Applied in Information Systems
Rough Sets Based Minimal Certain Rule Generation in Non-deterministic Information Systems: An Overview
Modelling and Prediction of Electronically Controlled Automotive Engine Power and Torque Using Support Vector Machines
Autoepistemic Theory and Paraconsistent Logic Program
Algebraic Framework for Reverse Engineering on Specifications
Equivalence of Fuzzy-rough Modus Ponens and Fuzzy-rough Modus Tollens
Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV
Methods for Constructing Symbolic Ensembles from Symbolic Classifiers
Rough-set-based approaches to data containing incomplete information: possibility-based cases
Annotated Paraconsistent Logic
An EVALP Based Traffic Simulation System
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the Rules
Hybrid Particle Swarm Optimizer with Mutation
Obtaining Membership Functions from a Neuron Fuzzy System Extended by Kohonen Network
Rough Set Semantics for Three-Valued Logics
Multi-view Semi-supervised Learning: An Approach to Obtain Different Views from Text Datasets
QoS-as-a-Service in the local cloud
Common capacity modelling for multi-site planning: case studies
From stirring to mixing: artificial intelligence in the process industry