yusuke1997/dblp-id-title huggingface dataset:
From Independence of Clones to Composition Consistency: A Hierarchy of Barriers to Strategic Nomination
Which Is the Fairest (Rent Division) of Them All?
Optimizing query rewrites for keyword-based advertising
Optimizing password composition policies
Computation in a distributed information market
Convex Program Duality, Fisher Markets, and Nash Social Welfare
Monotonicity and implementability: extended abstract
Revenue Maximization and Learning in Products Ranking
Envy, truth, and profit
Lossy stochastic game abstraction with bounds
Multi-dimensional mechanism design with limited information
Online Algorithms for Matching Platforms with Multi-Channel Traffic
An agent-based framework for dynamic multi-period continuous double auctions in B2B exchanges
Differential pricing with inequity aversion in social networks
Driver Surge Pricing
Behavioral Mechanism Design: Optimal Crowdsourcing Contracts and Prospect Theory
Dancing Pigs or Externalities?: Measuring the Rationality of Security Decisions
Computing pure nash equilibria in graphical games via markov random fields
Multi-Agent Contract Design beyond Binary Actions
Unpacking the Black Box: Regulating Algorithmic Decisions
Information Sharing and Privacy in Networks
Truthful Mechanism Design via Correlated Tree Rounding
Dynamic pricing with limited supply
Ranking and tradeoffs in sponsored search auctions
Dynamic price competition on the internet: advertising auctions
Pricing social goods
Discovering Opportunities in New York City's Discovery Program: Disadvantaged Students in Highly Competitive Markets
Estimation of Standard Auction Models
Social lending
Multidimensional Binary Search for Contextual Decision-Making
On discrete preferences and coordination
On the Welfare of EIP-1559 with Patient Bidders
The sequential auction problem on eBay: an empirical analysis and a solution
The Transfer Performance of Economic Models
Level-0 meta-models for predicting human behavior in games
Learning a Stackelberg Leader's Incentives from Optimal Commitments
The Tragedy of your Upstairs Neighbors: Is the Negative Externality of Airbnb Internalized?
A Lower Bound for Equitable Cake Cutting
Congestion games with load-dependent failures: identical resources
Assortment Optimization under a Random Swap based Distribution over Permutations Model
Truthfulness and stochastic dominance with monetary transfers
Equitable Congestion Pricing under the Markovian Traffic Model: An Application to Bogota
Fine-Grained Buy-Many Mechanisms Are Not Much Better Than Bundling
Which Lp norm is the fairest? Approximations for fair facility location across all "p"
Beyond Worst-Case Online Allocation via Dynamic Max-min Fairness
Cost function market makers for measurable spaces
Strategic pricebot dynamics
Extensive-form game abstraction with bounds
Learning and Computation of Φ-Equilibria at the Frontier of Tractability
Monitoring with Rich Data
Efficient Matchmaking in Assignment Games with Application to Online Platforms
On the Timing of Auctions: The Effects of Complementarities on Bidding, Participation, and Welfare
AutONA: a system for automated multiple 1-1 negotiation
Strategyproofness-Exposing Mechanism Descriptions
Low-Cost Learning via Active Data Procurement
A new understanding of prediction markets via no-regret learning
Strategically-Robust Learning Algorithms for Bidding in First-Price Auctions
Welfare and Beyond in Multi-Agent Contracts
Convex Optimization for Bundle Size Pricing Problem
Platform Disintermediation: Information Effects and Pricing Remedies
Relative Monte Carlo for Reinforcement Learning
Optimal contest design for simple agents
Robustly-Optimal Mechanism for Selling Multiple Goods
An axiomatic characterization of adaptive-liquidity market makers
Nearly optimal multi attribute auctions
Matchmaking Strategies for Maximizing Player Engagement in Video Games
Quantal Response Equilibrium with Symmetry: Representation and Applications
Reverse Mechanism Design
Agreement Implies Accuracy for Substitutable Signals
An Empirical Risk Minimization Approach for Offline Inverse Reinforcement Learning and Dynamic Discrete Choice Models
Using redundancy to improve robustness of distributed mechanism implementations
Bidders' Responses to Auction Format Change in Internet Display Advertising Auctions
A Non-asymptotic Approach to Analyzing Kidney Exchange Graphs
Pricing with Limited Knowledge of Demand
Approximate revenue maximization in interdependent value settings
Bayesian Exploration: Incentivizing Exploration in Bayesian Games
The Dynamics of Verification when Searching for Quality
Pricing Shared Rides
Learning treatment effects while treating those in need
The menu-size complexity of auctions
Tracking results from multichannel marketing programs on electronic commerce
Universal pareto dominance and welfare for plausible utility functions
Strategyproofness in the large as a desideratum for market design
Fast algorithms for finding matchings in lopsided bipartite graphs with applications to display ads
Combinatorial auctions with restricted complements
Design and Analysis of Bipartite Experiments Under a Linear Exposure-response Model
Correlation Neglect in Student-to-School Matching
Breaking the Envy Cycle: Best-of-Both-Worlds Guarantees for Subadditive Valuations
Algorithmic Persuasion with No Externalities
On Sustainable Equilibria
Potential Function Minimizers of Combinatorial Congestion Games: Efficiency and Computation
Forecasting uncertain events with small groups
Artificial Intelligence and Auction Design
A Theory of Choice Bracketing under Risk
The Competition Complexity of Dynamic Pricing
Algorithmic vs. Friend-based Recommendations in Shaping Novel Content Engagement: A Large-scale Field Experiment
Revenue maximizing envy-free multi-unit auctions with budgets
Adaptive Algorithms and Collusion via Coupling
Stability and Learning in Strategic Queuing Systems
Revenue Maximization Under Unknown Private Values With Non-Obligatory Inspection
Multilateral matching
Approximately maximizing efficiency and revenue in polyhedral environments
On the ratio of revenue to welfare in single-parameter mechanism design
Social Learning through Action-Signals
Improving EFX Guarantees through Rainbow Cycle Number
Contextual Standard Auctions with Budgets: Revenue Equivalence and Efficiency Guarantees
Dynamic Mechanisms with Martingale Utilities
A Tale of Two Monopolies
Recommending or persuading? The impact of a shopping agent's algorithm on user behavior
Supply and demand function competition in input-output networks
Generalized trade reduction mechanisms
High-performance bidding agents for the continuous double auction
Graphical Economies with Resale
Ads in Conversations
Social Choice with Non Quasi-linear Utilities
Self-interested automated mechanism design and implications for optimal combinatorial auctions
Chunking Tasks for Present-Biased Agents
Choice Screen Auctions
Public Projects, Boolean Functions, and the Borders of Border's Theorem
Algorithms and Learning for Fair Portfolio Design
How Likely Are Large Elections Tied?
Selling Data to an Agent with Endogenous Information
Optimal and Myopic Information Acquisition
Finding equilibria in large sequential games of imperfect information
Analysis of recommendation algorithms for e-commerce
A stochastic programming approach to scheduling in TAC SCM
Economies with non-convex production and complexity equilibria
Applying evolutionary game theory to auction mechanism design
Faster No-Regret Learning Dynamics for Extensive-Form Correlated and Coarse Correlated Equilibria
Interviewing Matching in Random Markets
Incentive-compatible interdomain routing
Accelerating information revelation in ascending-bid auctions: avoiding last minute bidding
Data Tracking under Competition
Revisiting Ranking for Online Bipartite Matching with Random Arrivals: the Primal-Dual Analysis
Optimal Advertising for Information Products
Bidding clubs: institutionalized collusion in auctions
i Bundle: an efficient ascending price bundle auction
Optimal Dynamic Allocation: Simplicity through Information Design
Budget-Feasible Contracts
Reducing Marketplace Interference Bias Via Shadow Prices
Optimal Budget Aggregation with Single-Peaked Preferences
Simple Auctions with Simple Strategies
Overbooking with Bounded Loss
The Limits of Multi-task Peer Prediction
Learning on a budget: posted price mechanisms for online procurement
Sincere and sophisticated players in the envy-free allocation problem
Contextual Learning for Stochastic Optimization
Incentivizing participation in online forums for education
Efficient Market Design with Distributional Objectives
A sufficient condition for voting rules to be frequently manipulable
Optimal online assignment with forecasts
Proceedings of the 13th ACM Conference on Electronic Commerce, EC 2012, Valencia, Spain, June 4-8, 2012
Lottery Pricing Equilibria
Improved Bounds for Single-Nomination Impartial Selection
Optimal Routing for Constant Function Market Makers
Independence of Irrelevant Decisions in Stochastic Choice
A reputation-based trust model for peer-to-peer ecommerce communities
Generalized Veto Core and a Practical Voting Rule with Optimal Metric Distortion
Computational Extensive-Form Games
Mechanisms for multi-level marketing
Delegated Pandora's Box
Simple, Credible, and Approximately-Optimal Auctions
Integrating Market Makers, Limit Orders, and Continuous Trade in Prediction Markets
Information Design for Congested Social Services: Optimal Need-Based Persuasion
Allocating online advertisement space with unreliable estimates
Delegated Choice with Combinatorial Constraints
Nonlinear Fixed Points and Stationarity: Economic Applications
Optimal auctions for correlated buyers with sampling
An equilibrium model for matching impatient demand and patient supply over time
Learning in Repeated Auctions with Budgets: Regret Minimization and Equilibrium
Incentives for Exploration at Market Equilibrium
The Hidden Cost of 'Zero-Commission';
Negotiation-range mechanisms: exploring the limits of truthful efficient markets
Mechanisms for Fair Attribution
A contract-theoretic design of mobile data plan with time flexibility
Ad serving using a compact allocation plan
Balancing Agent Retention and Waiting Time in Service Platforms
Preferences Evolve and so Should Your Bandits: Bandits with Evolving States for Online Platforms
E-commerce over communicators: challenges and solutions for user interfaces
Dynamically Aggregating Diverse Information
Mechanisms without Transfers for Fully Biased Agents
Naive Bayesian Learning in Social Networks
Economic Censorship Games in Fraud Proofs
99% Revenue with Constant Enhanced Competition
A k BA: a progressive, anonymous-price combinatorial auction
Recommender Systems meet Mechanism Design
Sequential Fundraising and Social Insurance
Learning to Rank under Strategic "Brush Wars"
Crowdsourcing and all-pay auctions
Competitive Markets for Personal Data
Dynamic Evidence Disclosure: Delay the Good to Accelerate the Bad
Pareto-Optimal Algorithms for Learning in Games
Towards Model Checking C Code with OPEN/CÆSAR
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004
A Framework for Ensuring System Dependability from Design to Implementation
Extending CTL to Specify Quantitative Temporal Requirements
A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure
Information Technology Investment and Firm Performance in Developing Economies: A Study of Perceived Impacts of IT on Firms in Namibia
A Process-Oriented Tool-Platform for Distributed Development
Framework for Performance Evaluation of Service Negotiations in Agent Systems
Support of Project Planning in Chemical Engineering via Modeling and Simulation
Model-checking Inherently Fair Linear-time Properties
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
A System Dynamics Approach for Airport Terminal Performance Evaluation
Animated Simulation for Business Process Improvement
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification
Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks
Bridging UML Profile based Models and OWL Ontologies in Model-driven Development - Industrial Control Application
Deriving Test Cases from B Machines Using Class Vectors
Event-based Workflow Analysis in Healthcare
Model Synthesis from Imprecise Specifications
A Model Transformation Framework for Model Driven Engineering
High Level Design Quality Assessment of Object Oriented Codes
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study
A Generic Framework for Model Checking Software Architectures
Teaching Software Testing in Introductory CS Courses and Improving Software Quality
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER
Design and Evaluation Criteria for Layered Architectures
Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator
The Pervasive Role of Modeling and Simulation in a Globalized Business Economy
Architectural Handling of Management Concerns in Service-Driven Business Processes
A Petri Net Based Methodology for Business Process Modeling and Simulation
Modeling with Service Dependency Diagrams
Verication On The Web Of Mobile Systems
KAOS-β: A Goal-oriented Process Model for EIS
Modelling History-Dependent Business Processes
Multi Project Organization Optimization using Genetic Algorithm
Specification of Deterministic Regular Liveness Properties
Network Enterprise Systems Safety and the Market Pressure - The Paradigm
Verification of Smart Homes Specifications which are based on ECA Rules
Towards Run-time Component Integration on Ubiquitous Systems
The Analysis of Resource Constrained Workflows using Petri Nets
Petri-net modeling of production systems based on production management data
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt
Use Case Maps as an Aid in the Construction of a Formal Specification
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code
Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T
Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams
How Style Checking Can Improve Business Process Models
A Unit Testing Framework for Network Configurations
Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology
Verifying user interface behaviour with model checking
Software Model Checking for Internet Protocols with Java PathFinder
Towards Application Suitability for PvC Environments
Comparing Methodologies for Service-Orientation using the Generic System Development Process
Extending CADP for Analyzing C Code
From Reactive to Deliberative Multi-agent Planning
Checking Properties of Business Process Models with Logic Programming
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response
UML-driven Information Systems and their Formal Integration Validation and Distribution
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way
Making Use Case Slices Manage Variability in Aspect-based Product Line
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP
An Active Rule Base Simulator based on Petri Nets
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models
Test Purpose of Duration Systems
Process-oriented Organization Modeling and Analysis
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
Expanding Database Systems into self-verifying Entities
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications
Automated Runtime Verification with Eagle
Data Mapping Model for User Programmable Web-based Mashup
Definition of Domain Specific Operation Languages Following MDD
On Some Complementary Trends in Model Transformation Generation
A Multi-Stage Approach to Asymmetric Legacy Information Integration
How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features
A Case Study in Integrated Quality Assurance for Performance Management Systems
A Healthcare Center Simulation using Arena
IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005
Fault-based Testing of E-Commerce Applications
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML
Collaboration-based verification of Object-Oriented models in HOL
PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents
Enhancing SOA Integration through Enterprise Services
Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications
Reasoning about the Properties of an Enterprise Information System
Layered Queuing Networks for Simulating Enterprise Resource Planning Systems
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities
Checking Complex Compositions of Web Services Against Policy Constraints
Methods for Service Identification: A Criteria-based Literature Review
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR
Compositional Verification of Business Processes by Model-Checking
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007
The Static Model of Latvian Forest Management Planning and Capital Value Estimation
Ontology-based Semantic Annotations for Business Processes in BPMN2.0
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents
An Aspect for Design by Contract in Java
The Port-Transshipment System Dynamics Software Simulator
The Usefulness of a Generic Process Model Structure
Process-centric Modelling for Enterprise Information Systems
The Development of the Precedent Model for the Latvia Forest Management Planning Processes
Weakly Continuation Closed Homomorphisms on Automata
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009
Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling
Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST)
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006
On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study
ImageNetDiff: Finding Differences in Models
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008
Information Systems Configuration Analysis using Event-driven Computer Simulation
Using SCADE for Decision Support in Dam Management
An Example of Business Process Simulation Using ARENA
Modelling Multi-Agent Systems with Organizations in Mind
Active Database System Realized by a Petri Net Approach
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP
An Approach to Simulate Enterprise Resource Planning Systems
Test Cases Generation for Nondeterministic Duration Systems
Using Models to Assess Impact of Defective Software
An Ontology Based Architecture for Integrating Enterprise Applications
An Innovative Method for Business Process Modeling
Efficient Interpretation of Large Quantifications in a Process Algebra
Approaches to an All-encompassing Formal Semantics for the UML
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite
Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata
Validation of Visual Contracts for Services
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction
Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups
Transformation of BPMN Models for Behaviour Analysis
Formal Goal-based Modeling of Organizations
A Hypothesis-Based Approach to Detecting Runtime Violations
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols
Database Integrity in Integrated Systems
Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as Networks
Modeling Multi-agent Logistic Process System using Hybrid Automata
The Role of Testing in Agile and Conventional Methodologies
Testing of Semantic Properties in XML Documents
An Observation-based Algorithm for Workflow Matching
Towards Domain-specific Modeling for Java Enterprise Applications
Color in Computer Graphics: Manipulating and Matching Color
3D Volume Visualization
Advances in Computer Graphics II (Tutorials from Eurographics'86 Conf.)
Programmers Hierarchical Interactive Graphics System (PHIGS)
Advances in Computer Graphics III (Tutorials from Eurographics'87 Conf.)
Towards a Graphics Standard for 3D (GKS-3D)
Advanced Image Synthesis - Surfaces
Advanced Image Synthesis - Shading
A New Generation of Hardware
VLSI-Architectures for Computer Graphics
Direct Manipulation Techniques for the Human-Computer Interface
Computer-Assisted Animation - An Overview
Advanced Image Synthesis - Anti-Aliasing
Design of a Human Movement Representation Incorporating Dynamics
Design and Display of Solid Models
Standards for Computer Graphics and Product Model Data Exchange
Image Reconstruction for Medical Applications
Advances in Computer Graphics V (Tutorials from Eurographics'89 Conf.)
Computer Graphics: A Tool for the Artist, Designer and Amateur