yusuke1997/dblp-id-title huggingface dataset:
Unified Relational Framework for Programming Paradigm Combination
A Rewriting Approach to the Combination of Data Structures with Bridging Theories
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory
Weighted Rewriting
Formal Verification of a Java Component Using the RESOLVE Framework
Formal Verification of Bit-Vector Invertibility Conditions in Coq
Formal Reasoning Using Distributed Assertions
A Complete Temporal and Spatial Logic for Distributed Systems
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Complexity Analysis for Term Rewriting by Integer Transition Systems
A Concurrent Lambda Calculus with Futures
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL
Certification of Automated Termination Proofs
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
Fast and Slow Enigmas and Parental Guidance
Constraint-Based Model Checking for Parameterized Synchronous Systems
On the Copy Complexity of Width 3 Horn Constraint Systems
A Topography of Labelled Modal Logics
Combining Instance Generation and Resolution
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional
Pushing the Frontiers of Combining Rewrite Systems Farther Outwards
Detection of First Order Axiomatic Theories
A Completion Method to Decide Reachability in Rewrite Systems
Proving Termination Using Recursive Path Orders and SAT Solving
Temporalising Logics: Fifteen Years After
Hybrid CSP Solving
Combining Logic and Optimization in Cutting Plane Theory
Connecting a Logical Framework to a First-Order Logic Prover
Improving Automation for Higher-Order Proof Steps
Adapting Real Quantifier Elimination Methods for Conflict Set Computation
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
The Constraint Solver Collaboration Language of BALI
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
Mechanizing the Metatheory of Sledgehammer
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
Integration Systems and Interaction Spaces
Heuristics for Efficient Manipulation of Composite Constraints
Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
Computing Minimal Models Modulo Subset-Simulation for Modal Logics
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings
Combining Finite Combination Properties: Finite Models and Busy Beavers
Iterative Monomorphisation
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report
Axiomatic Constraint Systems for Proof Search Modulo Theories
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
A Rewrite Rule Based Framework for Combining Decision Procedures
Translating SUMO-K to Higher-Order Set Theory
ATS: A Language That Combines Programming with Theorem Proving
Temporal Query Answering in the Description Logic DL-Lite
Combinations of Model Checking and Theorem Proving
Checking Linear Integer Arithmetic Proofs in Lambdapi
A New Acceleration-Based Combination Framework for Array Properties
Declarative Constraint Programming with Definitional Trees
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Exploiting Constraints for Domain Managing in CLP(FD)
The ASM Method for System Design and Analysis. A Tutorial Introduction
Automating Theories in Intuitionistic Logic
Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems
Merging Fragments of Classical Logic
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings
Constraint-Lambda Calculi
A CDCL-Style Calculus for Solving Non-linear Constraints
Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
MetiTarski's Menagerie of Cooperating Systems
The Boolean Solution Problem from the Perspective of Predicate Logic
From Resolution and DPLL to Solving Arithmetic Constraints
Non-Trivial Symbolic Computations in Proof Planning
Compiling Multi-Paradigm Declarative Programs into Prolog
Categorial Fibring of Logics with Terms and Binding Operators
Tutorial: Reasoning with, about and for Constraint Handling Rules
Two Is Enough - Bisequent Calculus for S5
Reasoning in OWL 2 EL with Hierarchical Concrete Domains
Restricted Unification in the DL ℱ 0
Designing Theory Solvers with Extensions
Formalizing Soundness and Completeness of Unravelings
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
Automatic Proof and Disproof in Isabelle/HOL
Subtyping in Dependently-Typed Higher-Order Logic
Tableaux for Relation-Changing Modal Logics
Integrating HOL-CASL into the Development Graph Manager MAYA
Logical Analysis of Hash Functions
CLP(chi) for Proving Program Properties
Formal Analysis of Symbolic Authenticity
Comparing Expressiveness of Set Constructor Symbols
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions
A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural Language
Certifying rlive: A New Proof Strategy for Liveness Model Checking
Free Variables and Theories: Revisiting Rigid E-unification
Proving Liveness with Fairness Using Rewriting
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources
Computer Arithmetic: Logic, Calculus and Rewriting
Verification of Golog Programs over Description Logic Actions
Hybrid Unification in the Description Logic
Non-disjoint Combined Unification and Closure by Equational Paramodulation
Termination of Constraint Contextual Rewriting
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
Epistemic Reasoning with Byzantine-Faulty Agents
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
Handling Differential Equations with Constraints for Decision Support
Modular Redundancy for Theorem Proving
Learning Proof Transformations and Its Applications in Interactive Theorem Proving
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN
A Generalization of Shostak's Method for Combining Decision Procedures
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Size-Change Termination and Satisfiability for Linear-Time Temporal Logics
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems
Decidable Description Logics of Context with Rigid Roles
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Temporal Logic with Capacity Constraints
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Logic of Communication Interpretation: How to Not Get Lost in Translation
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
Verifying Randomised Social Choice
Labelled Deduction over Algebras of Truth-Values
Noetherianity and Combination Problems
Superposition Modulo Linear Arithmetic SUP(LA)
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
Combining Semantical and Syntactical Theory Reasoning
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
Decidable Verification of Decision-Theoretic Golog
Combining Classical and Intuitionistic Implications
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Roughening the Envelope
Polite Combination in Parametric Array Theories
Combining Equational Reasoning
Vampire with a Brain Is a Good ITP Hammer
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings
Distributed First Order Logic
Ilinva: Using Abduction to Generate Loop Invariants
Building SMT-Based Software Model Checkers: An Experience Report
Connecting Many-Sorted Structures and Theories Through Adjoint Functions
Graph-Embedded Rewrite Systems: Combination and Undecidability Results
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows
Context-Aware Clause Selection Using Symbol Name Meanings in Theorem Proving
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings
Superposition with Structural Induction
Combining Theories: The Ackerman and Guarded Fragments
Towards Heterogeneous Specifications
Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
An Analytic Representation of the Semantics of First-Order S5
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems
Combinations of Theories for Decidable Fragments of First-Order Logic
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Combining Algorithms for Deciding Knowledge in Security Protocols
Symmetry Avoidance in MACE-Style Finite Model Finding
Why Combined Decision Problems Are Often Intractable
Symbolic Computation: Computer Algebra and Logic
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning
Data Structures with Arithmetic Constraints: A Non-disjoint Combination
Uniform Interpolation of -Ontologies Using Fixpoints
A Recipe for the Complexity Analysis of Non-Classical Logics
A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving
A New Correctness Proof of the {Nelson-Oppen} Combination Procedure
Negation in Combining Constraint Systems
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
On Solving Nominal Fixpoint Equations
Reviving Basic Narrowing Modulo
Termination Modulo Combinations of Equational Theories
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL
Integrating Computer Algebra and Reasoning through the Type System of Aldor
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
Transforming Derivational Complexity of Term Rewriting to Runtime Complexity
Specification and Verification of Linear Dynamical Systems: Advances and Challenges
Controlled Term Rewriting
Extending Forgetting-Based Abduction Using Nominals
Foundations of a Constraint-Based Illustrator
Monads and Modularity
JEFL: Joint Embedding of Formal Proof Libraries
Normal Forms and Proofs in Combined Modal and Temporal Logics
Sharing Is Caring: Combination of Theories
Combining Nonmonotonic Knowledge Bases with External Sources
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Superposition Modulo Non-linear Arithmetic
Weakly Equivalent Arrays
Metric Temporal Description Logics with Interval-Rigid Names
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers
Visibly Pushdown Languages and Term Rewriting
Obtaining Finite Local Theory Axiomatizations via Saturation
A Neurally-Guided, Parallel Theorem Prover
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
The Modal Logic of Equilibrium Models
Restricted Cutting Plane Proofs in Horn Constraint Systems
Idempotent Transductions for Modal Logics
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation
Proving and Disproving Termination of Higher-Order Functions
Recurrence-Driven Summations in Automated Deduction
Non-cyclic Sorts for First-Order Satisfiability
Unification Modulo Homomorphic Encryption
Congruence Closure of Compressed Terms in Polynomial Time
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings
Toward Sharing Libraries of Mathematics between Theorem Provers
Sociable Interfaces
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
Combining Forward and Backward Propagation
Lemmatization for Stronger Reasoning in Large Theories
Using Ontologies to Query Probabilistic Numerical Data
Deciding Satisfiability for Overlaid Symbolic Heaps
Model Checking ACTL Constrained Processes
A Declarative Agent Programming Language Based on Action Theories
Combining Finite Model Generation with Theorem Proving: Problems and Prospects
Combining Sets with Integers
Hammering Floating-Point Arithmetic
Congruence Closure Modulo Associativity and Commutativity
When GNNs Met a Word Equations Solver: Learning to Rank Equations
Cooperation of Decision Procedures for the Satisfiability Problem
Generalized and Formalized Uncurrying
A Semantic Account for Modularity in Multi-language Modelling of Search Problems
Efficient Combination of Decision Procedures for MUS Computation
Combining Description Logics, Description Graphs, and Rules
Random Forests for Premise Selection
Abduction in Logic Programming as Second-Order Quantifier Elimination
Combining Equational Theories Sharing Non-Collapse-Free Constructors
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
Quantifier Simplification by Unification in SMT
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
Composing and Controlling Search in Reasoning Theories Using Mappings
Natural Language Presentation and Combination of Automatically Generated Proofs
A Temporal × Modal Approach to the Definability of Properties of Functions
Subtropical Satisfiability
Runtime Verification Using a Temporal Description Logic
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
An Algebra of Modular Systems: Static and Dynamic Perspectives
Symbol Elimination and Applications to Parametric Entailment Problems
Number Theory Combination: Natural Density and SMT
Combining Theories with Shared Set Operations
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
An Overview of Fibred Semantics and the Combination of Logics
Towards Business Agility 2.0
A Conceptual Analysis of Emerging 6G Ecosystem
Digital Product Management in the Era of Data Economy, Artificial Intelligence, and Ecosystems - First International Conference on Digital Product Management, ICDPM 2024, Gothenburg, Sweden, June 12, 2024, Proceedings
From Compliance Risk to Business Model - Cloud Sovereignty as a Door Opener for the EU Market
Micro-credentials Ecosystem: Dynamic Capabilities Do Matter
Balancing the Sustainability of Digital Product Management from a Strategic Business Perspective
Understanding DevOps Critical Success Factors: A Thematic Analysis
A Framework for Managing Platforms as Products in IT Organizations
Boxed Pervasive Games: An Experience with User-Created Pervasive Games
The Secret Life of Machines - Boundary Objects in Maintenance, Repair and Overhaul
Intrusive and Non-intrusive Evaluation of Ambient Displays
Activity recognition from interactions with objects using dynamic Bayesian network
Pervasive Computing, 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
KidCam: Toward an Effective Technology for the Capture of Children's Moments of Interest
Detecting and Interpreting Muscle Activity with Wearable Force Sensors
Embedded Assessment: Overcoming Barriers to Early Detection with Pervasive Computing
Reach Out and Touch: Using NFC and 2D Barcodes for Service Discovery and Interaction with Mobile Devices
Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling
Pervasive Computing, Second International Conference, PERVASIVE 2004, Vienna, Austria, April 21-23, 2004, Proceedings
The Design of a Segway AR-Tactile Navigation System
Designing Shared Public Display Networks - Implications from Today's Paper-Based Notice Areas
Specification and Verification of Complex Location Events with Panoramic
Risks of Using AP Locations Discovered Through War Driving
Interstitial Interfaces for Mobile Media
Managing Communication Availability and Interruptions: A Study of Mobile Communication in an Oncology Department
Product Reviews in Mobile Decision Aid Systems
AnonySense: Opportunistic and Privacy-Preserving Context Collection
A Conceptual Framework for Camera Phone-Based Interaction Techniques
A Practical Approach to Recognizing Physical Activities
Augmenting Collections of Everyday Objects: A Case Study of Clothes Hangers As an Information Display
Keep Your Eyes on the Road and Your Finger on the Trigger - Designing for Mixed Focus of Attention in a Mobile Game for Brief Encounters
Robust Recognition of Reading Activity in Transit Using Wearable Electrooculography
Enhancing Navigation Information with Tactile Output Embedded into the Steering Wheel
Estimating Position Relation between Two Pedestrians Using Mobile Phones
Learning Time-Based Presence Probabilities
A Model for Software Configuration in Ubiquitous Computing Environments
12Pixels: Exploring Social Drawing on Mobile Phones
NextPlace: A Spatio-temporal Prediction Framework for Pervasive Systems
Cooperative Techniques Supporting Sensor-Based People-Centric Inferencing
Efficient Resource-Aware Hybrid Configuration of Distributed Pervasive Applications
Assessing and Optimizing the Range of UHF RFID to Enable Real-World Pervasive Computing Applications
On the Anonymity of Home/Work Location Pairs
Autonomous Construction of a WiFi Access Point Map Using Multidimensional Scaling
Smart Blueprints: Automatically Generated Maps of Homes and the Devices Within Them
Inferring Identity Using Accelerometers in Television Remote Controls
Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation
Secure Mobile Computing Via Public Terminals
Zone-Based RSS Reporting for Location Fingerprinting
Automatic Assessment of Cognitive Impairment through Electronic Observation of Object Usage
Transferring Knowledge of Activity Recognition across Sensor Networks
Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions
Exploring Mobile Phone Interaction with Situated Displays
Adaptive On-Device Location Recognition
"Are You with Me?" - Using Accelerometers to Determine If Two Devices Are Carried by the Same Person
Recognizing Workshop Activity Using Body Worn Microphones and Accelerometers
Tracking Locations of Moving Hand-Held Displays Using Projected Light
PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services
"Need to Know": Examining Information Need in Location Discourse
MakeIt: Integrate User Interaction Times in the Design Process of Mobile Applications
Askus: Amplifying Mobile Actions
Dynamic scheduling based inpatient nursing support: applicability evaluation by laboratory experiments
Sensing and Classifying Impairments of GPS Reception on Mobile Devices
Evaluating a Wearable Display Jersey for Augmenting Team Sports Awareness
.NET Gadgeteer: A Platform for Custom Devices
Mobile Phones as Pointing Devices
The Effectiveness of Haptic Cues as an Assistive Technology for Human Memory
A Distributed Precision Based Localization Algorithm for Ad-Hoc Networks
Inference Attacks on Location Tracks
Decision-Theoretic Planning Meets User Requirements: Enhancements and Studies of an Intelligent Shopping Guide
Weight-Sensitive Foam to Monitor Product Availability on Retail Shelves
The Design of a Portable Kit of Wireless Sensors for Naturalistic Data Collection
Physical Browsing Research
ProxNet: Secure Dynamic Wireless Connection by Proximity Sensing
Exploring the Design Space for Situated Glyphs to Support Dynamic Work Environments
Spectacle-Based Design of Wearable See-Through Display for Accommodation-Free Viewing
Building Applications for Ubiquitous Computing Environments
TrackSense: Infrastructure Free Precise Indoor Positioning Using Projected Patterns
Proceedings of the 1st International Workshop on Ambient Information Systems, Colocated at Pervasive 2007, Toronto, Canada, May 13, 2007
Social Disclosure of Place: From Location Technology to Communication Practices
iCam: Precise at-a-Distance Interaction in the Physical Environment
Portable, But Not Mobile: A Study of Wireless Laptops in the Home
Integrating Intra and Extra Gestures into a Mobile and Multimodal Shopping Assistant
Further into the Wild: Running Worldwide Trials of Mobile Systems
Scalability in a Secure Distributed Proof System
Activity Recognition from User-Annotated Acceleration Data
Context-aware routing in wireless mesh networks
Identifying Important Places in People's Lives from Cellular Network Data
SpeakerSense: Energy Efficient Unobtrusive Speaker Identification on Mobile Phones
Building Reliable Activity Models Using Hierarchical Shrinkage and Mined Ontology
Tackling Security and Privacy Issues in Radio Frequency Identification Devices
TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones
PL-Tags: Detecting Batteryless Tags through the Power Lines in a Building
Recognition of Hearing Needs from Body and Eye Movements to Improve Hearing Instruments
iCAP: Interactive Prototyping of Context-Aware Applications
GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home
Explorations and Experiences with Ambient Information Systems
Operating Appliances with Mobile Phones - Strengths and Limits of a Universal Interaction Device
Issues with RFID Usage in Ubiquitous Computing Applications
The Acceptance of Domestic Ambient Intelligence Appliances by Prospective Users
Pervasive Computing, First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002, Proceedings
Virtual Walls: Protecting Digital Privacy in Pervasive Environments
Methodologies for Continuous Cellular Tower Data Analysis
The Untrusted Computer Problem and Camera-Based Authentication
Towards Designing Persuasive Ambient Visualization
RF-Based Initialisation for Inertial Pedestrian Tracking
Mobile Device Interaction with Force Sensing
Annotation by Transformation for the Automatic Generation of Content Customization Metadata
3D Gesture Recognition: An Evaluation of User and System Performance
The Diet-Aware Dining Table: Observing Dietary Behaviors over a Tabletop Surface
Using Ground Reaction Forces from Gait Analysis: Body Mass as a Weak Biometric
Using Location, Bearing and Motion Data to Filter Video and System Logs
Active Capacitive Sensing: Exploring a New Wearable Sensing Modality for Activity Recognition
Automatic Description of Context-Altering Services through Observational Learning
SCAN: A Dynamic, Scalable, and Efficient Content Distribution Network