yusuke1997/dblp-id-title huggingface dataset:
Computationally effective algorithms for 6DoF INS used for miniature UAVs
A Technique based on Recursive Hierarchical State Machines for Application-level Capture of Agent Execution State
Three-dimensional model reconstruction for cleft lip and palate surgery
On the hidden discrete logarithm for some polynomial stream ciphers
Separation of crosscutting concerns at the design level: An extension to the UML metamodel
A web-based translation service at the UOC based on Apertium
Spreading Word-of-Mouth about the brand within virtual world
A spare shared-memory multifrontal solver in SCAD software
Automatic Visual Class Formation using Image Fragment Matching
Resource Fabrics: the next level of grids and clouds
A method of mobile base station placement for High Altitude Platform based network with geographical clustering of mobile ground nodes
Towards Self-Managing Real-Time System
Looking for new words out there
Computer based system for strabismus and amblyopia therapy
On the Probabilistic min spanning tree problem
Load balancing in the SOAJA web service platform
Selected Security Aspects of Agent-based Computing
On stimulus for citizens' use of e-government services
High Capacity Colored Two Dimensional Codes
Selecting the best strategy in a software certification process
Arabic named entity extraction: A local grammar-based approach
Automatic acquisition of wordnet relations by the morpho-syntactic patterns extracted from the corpora in Polish
An agent based planner for including network QoS in scientific workflows
An examination of factors affecting bidders' choice in electronic auctions
Independent Operator of Measurements as a Virtual Enterprise on the Energy Market
Social inclusion of Young Marginalised People through online mobile communities
A Two-level algorithm of time series change detection based on a unique deviations similarity method
PAFSV: A process algebraic framework for SystemVerilog
Agile methodology and development of software for users with specific disorders
The quasi-one-way function and its applications to image watermarking
Password detection via imagined wrist movement in BCI
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
Combination of independent kernel density estimators in classification
Information system security compliance to FISMA standard: A quantitative measure
Finding Patterns in Strings using Suffixarrays
The triple model: Combining cutting-edge web technologies with a cognitive model in an ECA
Exploratory Programming in the Virtual Laboratory
Arabic/English word translation disambiguation approach based on naive Bayesian classifier
Neuronal groups and interrelations
Business rules design method for Business Process Management
LingURed: Language-aware editing functions based on NLP resources
Character-angle based video annotation
A numerical algorithm of solving the forced sine-Gordon equation
Degisco Green Methodologies in Desktop Grids
Designing new XML based multidimensional messaging interface for the new XWarehouse architecture
Constructive Volume Modeling
Multiscale Segmentation Based On Mode-Shift Clustering
A linguistic light approach to multilingualism in lexical layers for ontologies
BeesyBees - Efficient and Reliable Execution of Service-based Workflow Applications for BeesyCluster using Distributed Agents
Semi-supervised word sense disambiguation based on weakly controlled sense induction
Hierarchical Object Categorization with Automatic Feature Selection
Malware detection using machine learning
Distributed Internet systems modeling using TCPNs
Accuracy boosting induction of fuzzy rules with Artificial Immune Systems
Sense-based clustering of Polish nouns in the extraction of semantic relatedness
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers
Using Ontologies to Formalize Services Specifications in Multi-agent Systems
Meeting the Deadline: Why, When and How
What Is an Agent and Why Should I Care?
Web Agents Cooperating Deductively
Modeling Task and Teams through Game Theoretical Agents
Verification within the KARO Agent Theory
Towards Formal Specification and Verification in Cyberspace
Panel Discussion: Empirical versus Formal Methods
Model Checking-Based Analysis of Multiagent Systems
On Laws of Robotics
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams
Ontology Negotiation in a Community of Agents
Naval Applications of Secure Multi-agent Technology
Model Checking of Autonomy Models for an In-Situ Propellant Production System
Design and Mathematical Analysis of Agent-Based Systems
Controlling Multiple Satellite Constellations Using the TEAMAgent System
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems
Agents Talking Faster
Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models
Formal Verification for a Next-Generation Space Shuttle
Massive Multi-agent systems control
Interaction and Communication of Agents in Networks and Language Complexity Estimates
Formalism Challenges of the Cougaar Model Driven Architecture
F-OWL: An Inference Engine for Semantic Web
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Formal Agent Development: Framework to System
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
Using a Formal Framework for Agent System Design
Adaptive Supervisory Control of Multi-agent Systems
Multi-agent Systems Reliability, Fuzziness, and Deterrence
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers
Verifying Multi-agent Systems via Unbounded Model Checking
Modeling and Programming Devices and Web Agents
A Real Time Object-Oriented Rational Agent Development System
Formal Specification of Agent Behaviour through Environment Scenarios
Organising Logic-Based Agents
You Seem Friendly, But Can I Trust You?
Modeling Agent Systems by Bayesian Belief Networks
Asimov's Laws: Current Progress
Asimov's Laws
Challenges Arising from Applications of Agent-Based System
Using XML for Interprocess Communications in a Space Situational Awareness and Control Application
Evaluating Agent-Based Modeling as a Tool for Economists
Verifiable Middleware for Secure Agent Interoperability
Formal Specification of Interaction in Agent Societies
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
Ecology Based Decentralized Agent Management System
Analysis of Agent-Based Systems Using Decision Procedures
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results
Challenges Arising from Applications
Tools and Education towards Formal Methods Practice
A Programming Logic for Part of the Agent Language 3APL
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract)
Agent Programming in Dribble: From Beliefs to Goals with Plans
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)
From Abstract to Concrete Norms in Agent Institutions
Verification of Plan Models Using UPPAAL
Towards Interaction Protocol Operations for Large Multi-agent Systems
Direct Execution of Agent Specifications
A Model for Conformance Testing of Mobile Agents in a MASIF Framework
Model-Driven Architecture for Agent-Based Systems
On Formal Modeling of Agent Computations
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
Using the pi-Calculus to Model Multiagent Systems
The Nepi 2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions
Agent-Based Chemical Plume Tracing Using Fluid Dynamics
Applications Panel: Agents Applied to Autonomous Vehicles
Refining Interactions in a Distributed System
Modeling Traffic Control through Deterrent Agents
A Formal Analysis of Potential Energy in a Multi-agent System
From Livingstone to SMV
Analysis of a Phase Transition in a Physics-Based Multiagent System
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior
APT Agents: Agents That Are Adaptive, Predictable, and Timely
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities
Machine Learning for Logic-Based Multi-agent Systems
Petri Nets as Modeling Tool for Emergent Agents
Modeling Agent-Based Systems
Automated Protocol Analysis in Maude
Operations Assistants for Johnson Space Center's Mission Control Center
Automatic Synthesis of Agent Designs in UML
An Approach to V&V of Embedded Adaptive Systems
A Formal Approach to Belief-Goal-Role Agents
The Anthropomorphizing of Intelligent Agents
Taking Intelligent Agents to the Battlefield
Towards a Formal Representation of Driving Behaviors
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System
Towards Timed Automata and Multi-agent Systems
Panel Discussion: Future Directions
Exit the Code: A Model for Understanding Career Abandonment Intention Among Software Developers
So who is impacted anyway - a preliminary study of indirect stakeholder identification in practice
Post-pandemic Resilience of Hybrid Software Teams
Hybrid Work in Agile Software Development: Recurring Meetings
What's Personality Got to Do with It? A Case Study on the Impact of Personality on Requirements Engineering-related Activities
Novice Programmers Strategies for Online Resource Use and Their Impact on Source Code
Towards Emotionally Intelligent Software Engineers: Understanding Students' Self-Perceptions After a Cooperative Learning Experience
UX Debt: Developers Borrow While Users Pay
Investigating the Perceived Impact of Maternity on Software Engineering: a Women's Perspective
Proceedings of the 2024 IEEE/ACM 17th International Conference on Cooperative and Human Aspects of Software Engineering, CHASE 2024, Lisbon, Portugal, April 14-15, 2024
Influences of developers' perspectives on their engagement with security in code
15th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering , CHASE@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022
Affirmative Hackathon for Software Developers with Disabilities: An Industry Initiative
Human-Machine Teaming and Team Effectiveness in AI Tools for Software Engineering
Characterizing Role Models in Software Practitioners' Career: An Interview Study
In Defense of Collaboration Ecosystems: Addressing Critical Collaboration Elements and Cognitive Biases for Sustainability
Hearing the voice of experts: Unveiling Stack Exchange communities' knowledge of test smells
A Framework for Class Activities to Cultivate Responsible Leadership in Software Engineering Students
Perceptions of Task Interdependence in Software Development: An Industrial Case Study
On the perceived relevance of critical internal quality attributes when evolving software features
Human and Machine: How Software Engineers Perceive and Engage with AI-Assisted Code Reviews Compared to Their Peers
Creative Problem-Solving: A Study With Blind and Low Vision Software Professionals
Learning From Lessons Learned: Preliminary Findings From a Study of Learning From Failure
Unpacking Organizational Change in AI Transformations of Software Engineering
Recurring Distributed Software Maintenance Meetings: Toward an Initial Understanding
"You're on a bicycle with a little motor": Benefits and Challenges of Using AI Code Assistants
Seeking New Measures for Gender Bias Effects in Open-Source Software
18th IEEE/ACM International Conference on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
Can participation in a hackathon impact the motivation of software engineering students? A preliminary case study analysis
More Than Code: Technical and Emotional Dynamics in Solidity's Development
Collaboration Tool Choices and Use in Remote Software Teams: Emerging Results from an Ongoing Study
A Cluster-Based Approach for Emotion Recognition in Software Development
16th IEEE/ACM International Conference on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2023, Melbourne, Australia, May 14-15, 2023
Practices to Improve Teamwork in Software Development During the COVID-19 Pandemic: An Ethnographic Study
The Roles, Responsibilities, and Skills of Engineers in the Era of Microservices-Based Architectures
The Good, the Bad, and the (Un)Usable: a Rapid Literature Review on Privacy as Code
Understanding the Career Mobility of Blind and Low Vision Software Professionals
An Exploratory Study of the Benefits of Time-bounded Collaborative Events for Startup Founders
Exploring Retrospective Meeting Practices and the Use of Data in Agile Teams
LGBTQIA+ (In) Visibility in Computer Science and Software Engineering Education
How developers feel about tools: an investigation on software startup professionals experience with virtual kanban boards
Great Power Brings Great Responsibility: Personalizing Conversational AI for Diverse Problem-Solvers
Lost in Transition: The Struggle of Women Returning to Software Engineering Research After Career Breaks
Diversity in Software Engineering: A Survey about Scientists from Underrepresented Groups
Exploring potential implications of intelligent tools for human aspects of software engineering
On Academic Age Aspect and Discovering the Golden Age in Software Engineering
Pandemic Agility: Towards a theory on adapting to working from home
Challenges in Understanding the Relationship between Teamwork Quality and Project Success in Large-Scale Agile Projects
Exploring a Research Agenda for Design Knowledge Capture in Meetings
Development of Data-driven Persona Including User Behavior and Pain Point through Clustering with User Log of B2B Software
Charting a Path to Efficient Onboarding: The Role of Software Visualization
Coordination Value in Agile Software Development: A Multiple Case Study of Coordination Mechanisms Managing Dependencies
Towards Debiasing Code Review Support
The Role of the Retrospective Meetings in Detecting, Refactoring and Monitoring Community Smells: A Qualitative Study
The Developer Experience of LGBTQIA+ People in Agile Teams: A Multivocal Literature Review
Vote Item: Is "Compassionate Software Development" a Topic Worth Researching?
The Introduction of README and CONTRIBUTING Files in Open Source Software Development
Voting Item: Story-work in human-centric software engineering
Understanding information diffusion about open-source projects on Twitter, HackerNews, and Reddit
Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development
Advancing Sustainable Communities in Scientific Oss: a Replication Study With Astropy
From the Inside Out: Organizational Impact on Open-Source Communities and Women's Representation
How Programmers Interact with Multimodal Software Documentation
What's behind tight deadlines? Business causes of technical debt
How do Developers Use Code Suggestions in Pull Request Reviews?
An Exploratory Study of Programmers' Analogical Reasoning and Software History Usage During Code Re-Purposing
Developers Need Protection, Too: Perspectives and Research Challenges for Privacy in Social Coding Platforms
Identification of human values from goal models
The State of Diversity and Inclusion in Apache: A Pulse Check
Will you Trust me More Than Chatgpt? Evaluating LLM-Generated Code Feedback for Mock Technical Interviews
Towards Understanding the Open Source Interest in Gender-Related GitHub Projects
Inequity in Software Engineering: Looks that Matter
Problem reports and team maturity in agile automotive software development
Why People Contribute Software Documentation
Irresponsibility Killed the Cat: Software Accountability Concerns
The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes
Understanding the building blocks of accountability in software engineering
Characterizing User Behaviors in Open-Source Software User Forums: An Empirical Study
Accounting for socio-technical resilience in software engineering
Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case Study
Addressing Age-Related Accessibility Needs of Senior Users Through Model-Driven Engineering
Blockchain Developer Experience: A Multivocal Literature Review
Emotions in Requirements Engineering: A Systematic Mapping Study
A Preliminary Study on the Assignment of GitHub Issues to Issue Commenters and the Relationship with Social Smells
Hybrid Work meets Agile Software Development: A Systematic Mapping Study
"How do people decide?": A Model for Software Library Selection
Gasless On-Chain Password Manager: A Comparative Analysis Across EVM-Based Platforms
The AMMazing Frontrunner: Practical Frontrunning on the XRP Ledger Automated Market Maker
EUREKA - A Minimal Operational Prototype of a Blockchain-based Rating and Publishing System
Cost-Effective Blockchain-based IoT Data Marketplaces with a Credit Invariant
Protecting Blockchain-based Decentralized Timed release of Data from Malicious Adversaries
Demo: Radio Spectrum Data Collection with Distributed-Proof-of-Sense Blockchain Network
Proof of Delivery in a Trustless Network
Prv 2 chain: Storage of Tree-structured Provenance Records in Blockchain with Linkage Privacy
Balance Transfers and Bailouts in Credit Networks using Blockchains *
Smarter Risks for Smart Contracts: Machine Learning Approach to Credit Scoring and Risk Assessment in DeFi
Delay Towers to Bootstrap Blockchains
Frontrunning Block Attack in PoA Clique: A Case Study
Decentralized Exchanges: The Profitability Frontier of Constant Product Market Makers
The Blockchain Governance Laboratory: Demonstrating an Environment for Hands-on Blockchain Governance Research
Analysis of Ethereum's Block Reward and Block Creation Across the Merge
Playing the MEV Game on a First-Come-First-Served Blockchain
Allowing Blockchain Loans with Low Collateral
Towards Usable Protection Against Honeypots
SoK: The Next Phase of Identifying Illicit Activity in Bitcoin
Enabling Web2-Based User Authentication for Account Abstraction
Trustless and Bias-resistant Game-theoretic Distributed Randomness
An Untraceable Credential Revocation Approach Based on a Novel Merkle Tree Accumulator
A Comprehensive and Quantitative Evaluation Method for Blockchain Protocols
SOK: A Comprehensive Survey on Distributed Ledger Technologies
Cobalt: Optimizing Mining Rewards in Proof-of-Work Network Games
Rational Ponzi Game in Algorithmic Stablecoin
Anonymous Domain Ownership
Structured Pools for Tokenized Carbon Credits
An Improved Algorithm to Identify More Arbitrage Opportunities on Decentralized Exchanges
Energy Consumption Analysis of XRP Validator
ZGridBC: Zero-Knowledge Proof based Scalable and Private Blockchain Platform for Smart Grid
Decentralized commit-reveal scheme to defend against front-running attacks on Decentralized EXchanges
Weighted Voting on the Blockchain: Improving Consensus in Proof of Stake Protocols
Punishment not Reward: Disincentivising Blockchain Application Misbehaviour
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
Monetization using Blockchains for IoT Data Marketplace
Privacy-preserving Trust Management for Blockchain-based Resource Sharing in 6G-IoT
Bitcoin Battle: Burning Bitcoin for Geopolitical Fun and Profit
A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric
Circulogy: An AI-Enabled Blockchain-Based e-Waste Management Framework Using Non-Fungible Tokens (NFT) to Achieve Net Zero and Imply the Circular Economy
HSM-based Key Management Solution for Ethereum Blockchain
One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains
Enhanced Transaction Sequencing for Modular Distributed Ledgers
Contract Wallet Using Emails
Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks
BlockSIM: A practical simulation tool for optimal network design, stability and planning
Managing Write Access without Token Fees in Leaderless DAG-based Ledgers
Privacy-Preserving Account-Abstraction for Teams on EVM chains
How to Prove Work: With Time or Memory
Trustworthy Decentralized Autonomous Machines: A New Paradigm in Automation Economy
Bitcoin Inscriptions: Foundations and Beyond
Using Machine Learning for Predicting Arbitrage Occurrences in Cryptocurrency Exchanges
On Quorum Sizes in DAG-Based BFT Protocols
FluxLayer: High-Performance Design for Cross-chain Fragmented Liquidity
FATF Travel Rule's Technical Challenges and Solution Taxonomy
Sequencer Level Security
MB-EHR: A Multilayer Blockchain-based EHR
AI-Based Framework for Classifying Cryptocurrency Exchanges through Transaction Feature Analysis
LogLog: A Blockchain Solution for Tracking and Certifying Wood Volumes
TangleSim: An Agent-based, Modular Simulator for DAG-based Distributed Ledger Technologies
Blockchain-based SLA monitoring for 6G: Inter-Provider Agreements as a Use Case
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
Digitizing Invoice and Managing VAT Payment Using Blockchain Smart Contract
Shellproof: More Efficient Zero-Knowledge Proofs for Confidential Transactions in Blockchain
How to Request Network Resources Just-in-Time using Smart Contracts
A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
Trustless AutoML for the Age of Internet of Things
Ether Price Prediction Using Advanced Deep Learning Models
CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
DAcc: Decentralized Ledger based Access Control for Enterprise Applications
DELTA: DLT-Database Synchronization
UIT - A Universal Identifier of Things to Bridge Cyber and Physical Worlds
BDSP: A Fair Blockchain-enabled Framework for Privacy-Enhanced Enterprise Data Sharing
A Time Bank System Design on the Basis of Hyperledger Fabric Framework
A Blockchain-based Customizable Document Registration Service for Third Parties
Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2024, Dublin, Ireland, May 27-31, 2024
The Risks and Challenges of Implementing Ethereum Smart Contracts
Building Hybrid DApps using Blockchain Tactics -The Meta-Transaction Example
Context-based Smart Contracts For Appendable-block Blockchains
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2022, Shanghai, China, May 2-5, 2022
Data Cooperatives for Neighborhood Watch
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021, Sydney, Australia, May 3-6, 2021
Name Management Using IOTA in ICN
Blue-Green Deployments for Smart Contracts
Committable: A Decentralised and Trustless Open-Source Protocol
Double Spending Analysis of Nakamoto Consensus for Time-Varying Mining Rates with Ruin Theory
PQFabric: A Permissioned Blockchain Secure from Both Classical and Quantum Attacks
Wormhole Cross-Chain Bridge Transactions Flow: An Exploratory Study
Analysing Vulnerabilities in Smart Contracts Using Source Code and Transaction Level Features
A Scalable Blockchain Approach for Trusted Computation and Verifiable Simulation in Multi-Party Collaborations
SDPP: Streaming Data Payment Protocol for Data Economy
BPCEX: Towards Blockchain-based Privacy-preserving Currency Exchange
DeFi-Vis: Visual Analytics for Exploring Decentralized Finance Trading Activities
Game-Theoretic Analysis of Transaction Selection in DAG-Based Distributed Ledgers
Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
A Simulation-Based Analysis of Multiplayer Selfish Mining
Do You Care About Your Positions? Users Under Liquidation Risk in Decentralized Lending Protocol
Simulating a Blockchain Network with SimBlock
On the Application of Blockchain technology for securing Flying Ad-Hoc Networks (FANET)
A Blockchain-based Data Sharing Marketplace with a Federated Learning Use Case