yusuke1997/dblp-id-title huggingface dataset:
Cloud Computing Adoption Issues and Applications in Developing Countries: A Qualitative Approach
E- Murabaha a mechanism for E-Commerce
Re-engineering Web Application towards Linked Data: a Model-Based Approach
Bandwidth-Delay Measurements of a Wireless Internet Service Providing (WISP) System
Digital Government Adoption in Jordan: An Environmental Model
Data Hiding by LSB Substitution Using Genetic Optimal Key-Permutation
Development and Implementation of a Web-based Institutional Evaluation System (WIES)
Image Denoising And Enhancement Using Multiwavelet With Hard Threshold In Digital Mammographic Images
An Empirical Investigation into the Antecedents of Trust and Satisfaction in e-Commerce Services: Perspective of Thai Customers
An Efficient Framework for Storing and Retrieving Unstructured Patient Health Records in the Cloud
Analysis and Design of a Guaranteed Real Time Performance Enhanced Industrial Ethernet
Senior Faculty Members' Attitudes in Jordanian Universities towards Using Information and Communication Technology
Self Organizing Maps based Life Enhancement Framework for Wireless Sensor Networks
Inm- An Integration Model Resolving 3rd Party Source Code/Component Incorporation Issues During Open Source Software Development
On Line Isolated Characters Recognition Using Dynamic Bayesian Networks
Evaluating the Usability of Educational Websites Based on Students' Preferences of Design Characteristics
Developing a Three-Tier Web Data Management Application for Higher Education Admission Environment
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting
Verification of mutable linear data structures and iterator-based algorithms in Dafny
An abstract framework for choreographic testing
Session-based concurrency in Maude: Executable semantics and type checking
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Constructing optimized constraint-preserving application conditions for model transformation rules
Soft constraint automata with memory
Operationally-based program equivalence proofs using LCTRSs
Monk algebras and Ramsey theory
A linear-time-branching-time spectrum for behavioral specification theories
Comodule representations of second-order functionals
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar
Fundamentals of compositional rewriting theory
Lifted structural invariant analysis of Petri net product lines
Variants and satisfiability in the infinitary unification wonderland
A verified proof checker for higher-order logic
Towards the exact complexity of realizability for Safety LTL
Formal reasoning about Bernstein-Vazirani algorithm
Back to the format: A survey on SOS for probabilistic processes
Hypergraph Lambek grammars
A memory-related vulnerability detection approach based on vulnerability model with Petri Net
On the inner structure of multirelations
Exception-sensitive program slicing
Algebraic reasoning for timeliness-guided system design
Nominal anti-unification modulo equational theories
Program equivalence in a typed probabilistic call-by-need functional language
Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances
Bridging formal methods and machine learning with model checking and global optimisation
Specifying reversibility with TLA +
Editorial message from the new Editor-in-Chief
A navigational logic for reasoning about graph properties
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks
Verification of the ROS NavFn planner using executable specification languages
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications
A lightweight approach to smart contracts supporting safety, security, and privacy
A calculus for modeling floating authorizations
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude
Tuning similarity-based fuzzy logic programs
Ground confluence of order-sorted conditional specifications modulo axioms
From symbolic constraint automata to Promela
Simulating and model checking membrane systems using strategies in Maude
Coalgebraic tools for randomness-conserving protocols
First order Büchi automata and their application to verification of LTL specifications
Formalization of the inverse kinematics of three-fingered dexterous hand
Generalized rewrite theories, coherence completion, and symbolic methods
A denotational semantics of Simulink with higher-order UTP
Preface to the special issue on the 12th International Conference on Graph Transformation
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
On difunctions
A core Erlang semantics for declarative debugging
Monitorable hyperproperties of nonterminating systems
Event structure semantics of (controlled) reversible CCS
A process calculus for privacy-preserving protocols in location-based service systems
Formally verified animation for RoboChart using interaction trees
Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023)
A modular framework for verifying versatile distributed systems
Formalizing Moessner's theorem and generalizations in Nuprl
Reasoning about distributed information with infinitely many agents
Partially typed multiparty sessions with internal delegation
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems
CoReS: A tool for computing core graphs via SAT/SMT solvers
Matching logic explained
Strategies, model checking and branching-time properties in Maude
Semantics of quantum programming languages: Classical control, quantum control
Programming and symbolic computation in Maude
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
A denotational semantics of textually aligned SPMD programs
Schreier split extensions of preordered monoids
Partial predicate abstraction and counter-example guided refinement
Simpler proofs with decentralized invariants
A framework for formal verification of robot kinematics
Connecting open systems of communicating finite state machines
A model of systems with modes and mode transitions
Determinizing monitors for HML with recursion
A formal model for blockchain-based consent management in data sharing
A formal treatment of the role of verified compilers in secure computation
On the expressiveness and efficiency of guarded lists in Bach
Automated verification of reactive and concurrent programs by calculation
Protocol choice and iteration for the free cornering
On the essence and initiality of conflicts in M-adhesive transformation systems
A calculus of concurrent graph-rewriting processes
Hoare-style logic for unstructured programs
The origins of the halting problem
A message-passing interpretation of adjoint logic
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)
Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020)
Specifying with syntactic theory functors
Graph transformation through graph surfing in reaction systems
A partial evaluation framework for order-sorted equational programs modulo axioms
Formal verification of timed synchronous dataflow graphs using Lustre
Computational category-theoretic rewriting
Program slicing of Java programs
The Maude strategy language
A semantic model for interacting cyber-physical systems
Relation algebras of Sugihara, Belnap, Meyer, and Church
Secure information flow connections
Transforming imperative programs into bisimilar logically constrained term rewrite systems via injective functions from configurations to terms
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
Session-typed concurrent contracts
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
Transforming orthogonal inductive definition sets into confluent term rewrite systems
A logical account of subtyping for session types
Local confluence of conditional and generalized term rewriting systems
Kind inference for the FreeST programming language
Composition and decomposition of multiparty sessions
Inductive reasoning with equality predicates, contextual rewriting and variant-based simplification
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
An axiomatic approach to differentiation of polynomial circuits
ElixirST: A session-based type system for Elixir modules
Ensuring liveness properties of distributed systems: Open problems
A tribute to José Manuel Valença
From distributed coordination to field calculus and aggregate computing
Proving and disproving confluence of context-sensitive rewriting
A collaborative access control framework for online social networks
Event-Based Time-Stamped Claim Logic
Relation-changing models meet paraconsistency
Coherent modal transition systems refinement
On primitives for compensation handling as adaptable processes
Many-sorted hybrid modal languages
Semantics of multiway dataflow constraint systems
Free Kleene algebras with domain
Spreading nets: A uniform approach to unfoldings
Conflict vs causality in event structures
Reversible computation in nets with bonds
Transforming concurrent programs with semaphores into logically constrained term rewrite systems
Capturing constrained constructor patterns in matching logic
Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks
Hardware Trojan detection via rewriting logic
Checking deadlock-freedom of parametric component-based systems
Control-data separation and logical condition propagation for efficient inference on probabilistic programs
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
On the expressiveness of multiplicities in data-based coordination languages
Decomposing monolithic processes in a process algebra with multi-actions
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021)
A computational framework based on the dynamic pipeline approach
Formal definitions and proofs for partial (co)recursive functions
Preface to the special issue on Open Problems in Concurrency Theory
Location automata for synchronised shuffle expressions
Certifying expressive power and algorithms of reversible primitive permutations with Lean
Axiomatization and characterization of BSP algorithms
bGSL: An imperative language for specification and refinement of backtracking programs
Realisability of pomsets
A distribution semantics for probabilistic term rewriting
Composition of synchronous communicating systems
Graph rewriting and relabeling with PBPO + : A unifying theory for quasitoposes
Formal lumping of polynomial differential equations through approximate equivalences
A tableau construction for finite linear-time temporal logic
Probabilistic mediator: A coalgebraic perspective
Determinization of inverted grammar programs via context-free expressions
A dynamic logic for learning theory
The generalised distribution semantics and projective families of distributions
Calculational relation-algebraic proofs in the teaching tool CalcCheck
Operational semantics with semicommutations
Maude2Lean: Theorem proving for Maude specifications using Lean
Formalization and analysis of the post-quantum signature scheme FALCON with Maude
Corrigendum to "Runtime monitoring of 5G network slicing using STAn" [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]
Comparing type systems for deadlock freedom
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
Processes against tests: On defining contextual equivalences
Compositional equivalences based on open pNets
Combining sequential test cases into an equivalent set of adaptive test cases
The correctness of concurrencies in (reversible) concurrent calculi
Replicated data types that unify eventual consistency and observable atomic consistency
Combining free choice and time in Petri nets
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
A fixed-points based framework for compliance of behavioural contracts
Hybrid search plan generation for generalized graph pattern matching
Runtime verification for dynamic architectures
Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018
Introspection as an action in relational models
When causality meets fairness: A survey
Double-pushout-rewriting in S -Cartesian functor categories: Rewriting theory and application to partial triple graphs
Formalizing CCS and π -calculus in Guarded Cubical Agda
A Perron-Frobenius theorem for deciding matrix growth
Evaluation diversity for graph conditions
Actor-based model checking for Software-Defined Networks
Realizability modulo theories
Stit semantics for epistemic notions based on information disclosure in interactive settings
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
Verification of dynamic bisimulation theorems in Coq
Counterpart-based Quantified Temporal Logics
Input urgent semantics for asynchronous timed session types
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL
Expressive power and succinctness of the positive calculus of binary relations
Generation of algebraic data type values using evolutionary algorithms
Multiparty half-duplex systems and synchronous communications
Stone dualities from opfibrations
A dynamic logic with branching modalities
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
Interval-valued fuzzy reasoning method based on similarity measure
DaLí - Dynamic Logic, new trends and applications
Fair termination of multiparty sessions
On proving that an unsafe controller is not proven safe
Open compliance in multiparty sessions with partial typing
On the group memory complexity of extended finite automata over groups
Resource separation in dynamic logic of propositional assignments
Semantics of temporal constrained objects
Explaining safety failures in NetKAT
Axiomatization and computability of a variant of iteration-free PDL with fork
Static checking of GDPR-related privacy compliance for object-oriented distributed systems
A formal semantics for agent distribution and fault tolerance in Jason
Comparing session type systems derived from linear logic
Journal of Logical and Algebraic Methods in Programming - Publisher's Note 2025
Observational interpretations of hybrid dynamic logic with binders and silent transitions
The power of Tarski's relation algebra on trees
Applications and extensions of context-sensitive rewriting
Verification of data-aware process models: Checking soundness of data Petri nets
Regular planar monoidal languages
A logical approach to graph databases
Axiomatizing recursion-free, regular monitors
Trace preservation in B and Event-B refinements
Belief base change as priority change: A study based on dynamic epistemic logic
Efficient iterative programs with distributed data collections
Synthesis of sorting algorithms using multisets in Theorema
Succinct ordering and aggregation constraints in algebraic array theories
Process calculi as a tool for studying coordination, contracts and session types
Towards an efficient implementation of a tableau method for reactive safety specifications
Formal models for consent-based privacy
The C π -calculus: A model for confidential name passing
Introducing complexity to formal testing
Probabilistic software product lines
Partial arithmetical data types of rational numbers and their equational specification
Formal analysis of real-time systems with user-defined strategies in rewriting logic
A rewriting logic semantics for the analysis of P programs
Advancing orchestration synthesis for contract automata
A coordination protocol language for power grid operation control
Monadic second-order incorrectness logic for GP 2
From global choreographies to verifiable efficient distributed implementations
Associative unification in Maude
Efficient analysis of belief properties in process algebra
On checking equivalence of simulation scripts
Event structure semantics for multiparty sessions
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
Time distance-based computation of the DBM over-approximation of preemptive real-time systems
Composition of multilevel domain-specific modelling languages
A formal framework for security testing of automotive over-the-air update systems
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
Relational characterisations of paths
Quantum encoding of dynamic directed graphs
Event structures for the reversible early internal π -calculus
Determinism of multirelations
Plotkin's call-by-value λ -calculus as a modal calculus
Metalevel transformation of strategies
Safety enforcement via programmable strategies in Maude
A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems
The complexity of identifying characteristic formulae
A structural approach to graph transformation based on symmetric Petri nets
Unified opinion formation analysis in rewriting logic
A formal approach to the engineering of domain-specific distributed systems
Preface to the special issue on the 11th International Conference on Graph Transformation
Bunch theory: Axioms, logic, applications and model
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
An algebraic theory of nondeterministic finite automata
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020
Unification of drags and confluence of drag rewriting
The expression dependence graph
A type language for distributed reactive components governed by communication protocols
Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers
DM-Check: Verifying invariants of concurrent systems by deductive model checking
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
Towards refinable choreographies
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework
Certifying Findel derivatives for blockchain
Program equivalence in an untyped, call-by-value functional language with uncurried functions
Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday
Dynamic structural operational semantics
Optimizing term rewriting with creeper trace transducers
Tribute to Anna Labella
Towards a type-based abstract semantics for Python
Formal analysis of the application programming interface of the PVS verification system
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce
Replacement freeness: A criterion for separating process calculi
Branching pomsets: Design, expressiveness and applications to choreographies
Abstracting models of strong normalization for classical calculi
Specification and modelling of computing systems through graphs and graph transformation
Computer says no: Verdict explainability for runtime monitors using a local proof system
Runtime monitoring of 5G network slicing using STAn
Automated construction of security integrity wrappers for Industry 4.0 applications
(Co)inductive proof systems for compositional proofs in reachability logic
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
Knowledge representation and update in hierarchies of graphs
Specification of systems with parameterised events: An institution-independent approach
Liquidity analysis in resource-aware programming
Makina: A QuickCheck state machine library
Model checking for hybrid branching-time logics
Components and acyclicity of graphs. An exercise in combining precision with concision
On the modeling of optimal and automatized cloud application deployment
Graded epistemic logic with public announcement
Preface for the special issue on Interaction and Concurrency Experience 2017
Controlling stormwater detention ponds under partial observability
Computational modelling for combinatorial game strategies
On algebraic array theories
Expressing discrete spatial relations under granularity
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
A formal framework for distributed cyber-physical systems
Optimization of rewrite theories by equational partial evaluation
Expertise, Teleoperation, and Task Constraints Affect the Speed-Curvature-Torsion Power Law in RAMIS
A Highly Distensible, Cable Loop-Driven Soft Robotic Gastric Simulator for Endoscopy Training
Optimizing the Magnetic Dipole-Field Source for Magnetically Guided Cochlear-Implant Electrode-Array Insertions
Towards Fluorescence-Guided Autonomous Robotic Partial Nephrectomy on Novel Tissue-Mimicking Hydrogel Phantoms
Nonrigid Registration of Pre-Procedural MRI and Intra-Procedural CT in CT-Guided Cryoablation of Lung Tumors to Improve Lung Tumor Conspicuity
Comparative Analysis of Peltier Devices and Flexible Heater Strips for Enhancing Bandwidth in Thermo-Active Soft Actuators
Development and 3D Spatial Calibration of a Parallel Robot for Percutaneous Needle Procedures with 2D Ultrasound Guidance
Effects of Scaling and Sequence on Performance of Dynamic Bimanual Path Following Tasks
Evaluation of Pre-Training with the da Vinci Skills Simulator on Motor Skill Acquisition in a Surgical Robotics Curriculum
Intuitive Control Strategies for Teleoperation of Active Catheters in Endovascular Surgery
Beyond Constant Curvature: A New Mechanics Model for Unidirectional Notched-Tube Continuum Wrists
Event-Triggered 3D Needle Control Using a Reduced-Order Computationally Efficient Bicycle Model in a Constrained Optimization Framework
Design and Evaluation of a Soft-Bodied Magnetic Anchored and Guided Endoscope
Improved Temporal Calibration of Tracked Ultrasound: An Open-Source Solution
Haptic Guidance Based on All-Optical Ultrasound Distance Sensing for Safer Minimally Invasive Fetal Surgery
A Passive Model-Based Error Compensation Approach for Bevel Tip Needle Deflection
An Immersive Virtual Reality Environment for Diagnostic Imaging
An Automatic Registration Method for Radiation-Free Catheter Navigation Guidance
Automated Skill Evaluation of Bronchoscopy Operators Using Geometric Feature Analysis
Robot Integrated User Interface for Physical Interaction with the DLR MIRO in Versatile Medical Procedures
A Surgical Robotic Framework for Safe and Autonomous Data-Driven Learning and Manipulation of an Unknown Deformable Tissue with an Integrated Critical Space
Laser Incision Depth Control in Robot-Assisted Soft Tissue Microsurgery
A Classifier of Shoulder Movements for a Wearable EMG-Based Device
Autonomous Soft-Tissue Needle Steering Using Reinforcement Learning Guided by Human Input
Comprehensive Review of Noninvasive Brain-Computer Interfaces for Controlling Robotic Arms
An Admittance-controlled Force-scaling Dexterous Assistive Robotic System
Surgical Tool Segmentation with Pose-Informed Morphological Polar Transform of Endoscopic Images