yusuke1997/dblp-id-title huggingface dataset:
Tracking cohesive subgroups over time in inferred social networks
AthenaTV: an authoring tool of educational applications for TV using android-based interface design patterns
Annotating Web archives - structure, provenance, and context through archival cataloguing
Aquarelle to Z39.50: the A to Z of access to cultural heritage information (Technical Note)
A prototype multilingual document browser for Ancient Greek texts (Technical note)
New dimensions and meta-questions
New maps for an inclusive Wikipedia: decolonial scholarship and strategies to counter systemic bias
Accessible e-learning material: a no-frills avenue for didactical experts
Seekers, sloths and social reference: Homework questions submitted to a question-answering community
A system to restructure hypertext networks into valid user models
Inferring contextual preferences using deep encoder-decoder learners
Ontology-driven generation of wiki content and interfaces
Produsage: a closer look at continuing developments
Designing for privacy in personal learning spaces
REASE - The repository for learning units about the Semantic Web
Does tailoring help people find the information they need?
The image retrieval task: implications for the design and evaluation of image databases
Designing (for) experiences in photorealistic VR environments
Toward interactive context-aware affective educational recommendations in computer-assisted language learning
A novel approach for finding research areas for new researchers
Produsage in a/synchronous learner-led e-learning
Multimedia information using mobile computers: accessing the digital campus and the digital library
Investigating news coverage and circulation over time in a quantitative manner: the TARO framework
Music information retrieval in compressed audio files: a survey
Toward an articulation of interaction esthetics
Collaborative Learning in a Wiki Environment: Experiences from a software engineering course
Guaranteeing QoS of media-based applications in virtualized environment
Question, answer, compare: a cross-category comparison of answers on question and answer websites
Applying measurement principles to improve hypertext authoring
Negotiating governance in virtual worlds: grief play, hacktivism, and LeakOps in Second Life ®
Analysis of navigation behaviour of blind users using Browsing Shortcuts
AnnotatEd: A social navigation and annotation service for web-based educational resources
Intelligent and adaptive tutoring through a social network for higher education
Progressor: social navigation support through open social student modeling
XlinkProxy: external linkbases wih Xlink (Technical Note)
Digital libraries and minority languages
Issues of data scalability in open hypermedia systems
"Be Nice": Wikipedia norms for supportive communication
Toward an adaptive WWW: a case study in customised hypermedia
Topic development pattern analysis-based adaptation of information spaces
An Inquiry-led Personalised Navigation System (IPNS) using multi-dimensional linkbases
The North Carolina State Government Website Archives: A case study of an American government Web archiving project
"The story God is weaving us into": narrativizing grief, faith, and infant loss in US evangelical women's blog communities
A logical characterization of adaptive educational hypermedia
Invited papers from the ACM conference on hypertext and social media
Towards next-generation social media?
Assessing the quality of academic websites: A case study
Capturing the semiotic relationship between terms
A user opinion and metadata mining scheme for predicting box office performance of movies in the social network environment
Design and implementation of invention learning curriculum-based serious game contents
A simplistic model for identifying prominent web users in directed multiplex social networks: a case study using Twitter networks
Gratis & Libre: Wikipedia's role in free and open history production and dissemination
AHA! An open Adaptive Hypermedia Architecture
Mobile Urban Drama: interactive storytelling in real world environments
Evaluating multimedia presentations
Introduction to the Special Issue on Web Accessibility
Avatar economies: affective investment from game to platform
A study of teachers' use of online learning resources to design classroom activities
Rescuing balinese manuscripts (Lontar) with balinese Wikisource: creating metadata, cataloging and digitising
Faceted classification as a basis for knowledge organisation in a digital environment: the Bliss Bibliographic Classificationas a model for vocabulary management and the creation of multidimensional knowledge structures
Web hypermedia cost estimation: further assessment and comparison of cost estimation modelling techniques
Synote: development of a Web-based tool for synchronized annotations
GALE: a generic open source extensible adaptation engine
The Sacra Infermeria - a focus group evaluation of an augmented reality cultural heritage experience
Mental health prediction from social media connections
Entextualising mourning on Facebook: stories of grief as acts of sharing
The Dynamic Review Journal: a scholarly archive
A personalized semantic portal for enhanced user support
Comparing social factors affecting recommender decisions in online and educational social network
Pre-produsage and the remediation of virtual products
Designing hypermedia information retrieval systems for multimedia art catalogues
Comparing online opportunities and risks among Israeli children and youth Hebrew and Arabic speakers
Feature-opinion pair identification of product reviews in Chinese: a domain ontology modeling method
Exploring the potential for social tagging and folksonomy in art museums: Proof of concept
A crowdsourcing framework for the production and use of film and television data
A systematic method for hypermedia usability evaluation
XConnector and XTemplate: improving the expressiveness and reuse in web authoring languages
Library and study skills using hypertext: the TILT experience
Orchestrating learning during implementation of a 3D virtual world
Implicit negative link detection on online political networks via matrix tri-factorizations
Enhancing the adaptivity of an existing Website with an epiphyte recommender system
The dynamic generation of hypertext presentations of medical guidelines
Human aspects of making recommendations in social and ubiquitous networking environments
Mobile digital interactive storytelling - a winding path
Putting the gloss on paper: a framework for cross-media annotation
Examining the use of text and video resources during web-search based learning - a new methodological approach
"I didn't know her, but...": parasocial mourning of mediated deaths on Facebook RIP pages
Systematic review and usability evaluation of writing mobile apps for children
Managing data quality in inter-organisational data networks
Extending the boundaries of IQ: Can collaboration with information management improve corporate governance
Book Review: Data Quality: Concepts, Methodologies and Techniques by C. Batini and M. Scannapieco
Perceptions of the information quality of internet and traditional text sources among Chinese users of the internet
Data quality issues in the GIS modelling of air pollution and cardiovascular mortality in Bangalore
University educated users' data quality preferences in web portals
Data and information quality of the web: do perceptions predict performance?
Modelling information flow for surgery management process
Research on the information quality management maturity for S&T information resource sharing projects in China
Measuring information quality and success in business intelligence and analytics: key dimensions and impacts
Development of assurance techniques for information quality on technical advice
Biological data cleaning: a case study
How to communicate measurement information successfully in small and medium-sized enterprises: a regression model
Developing a data quality framework for asset management in engineering organisations
The design and implementation of a software infrastructure for IQ assessment
Repairing integrity rules for improved data quality
How far does poor governance information prolong surgical session time?
ERP stakeholders' perceptions of data quality and utility
Improving health care data quality: A practitioner's perspective
Using bug report as a software quality measure: an empirical study
A Bayesian network to represent a data quality model
Data quality in collaborative commerce
A Swiss army knife approach to DQ assessments
Surgical disruption: information quality perspective
A total data quality management for credit risk: new insights and challenges
Taxable income management and information content of income
Data quality initiatives: striving for continuous improvements
Evaluation criteria for information quality research
A comparison of information technology professionals' and data consumers' perceptions of the importance of the dimensions of information quality
Detection and correction of data errors in the practice of actuarial pension consulting
Automation of webpage quality determination
A classification of data quality assessment and improvement methods
Component comparison based information quality assurance
Trust and information quality: performance gap analysis
The National Ambulatory Care Reporting System: factors that affect the quality of its emergency data
Effects of information quality on inventory management
Modelling information manufacturing systems
Assessment of quality of data warehouse multidimensional model
Managing data quality of integrated data with known provenance
Information quality factors affecting innovation process
Ranking Wikipedia article's data quality by learning dimension distributions
Longitudinal data consistency verification using formal methods
Information quality on the World Wide Web: development of a framework
Transferring information between information systems
RQAM: a recordkeeping quality assessment model proposal
Perception of students on performance of dual-mode education: Information Quality perspective
A generic model for the specification of software reliability requirements and measurement of their functional size
The information management risk construct: identifying the potential impact of information quality on corporate risk
An empirical research on non-technical factors related to statistical data quality in China's enterprises
Data quality management in the public domain: a case study within the Dutch justice system
Utility-driven configuration of data quality in data repositories
An examination of the information quality perceptions of Mexican internet users
Assessment and analysis of information quality: a multidimensional model and case studies
The combined conceptual life-cycle model of information quality: part 1, an investigative framework
Identification of total quality management enablers and information technology resources for ICT industry: a Pareto analysis approach
A longitudinal study of user perceptions of information quality of Chinese users of the internet
Information quality and banking success: a theoretical model with empirical validation
Implications of sensors and sensor-networks for data quality management
A formal definition of operation quality of factors: a focus on data and information
A statistical and syntactical approach to datawarehouse design quality
Quality of service in e-government underlines the role of information usability
Using quality criteria to assist in information searching
Information quality for network monitoring and analysis
Strategic alignment of information quality management: problems and challenges
Defining a framework for the evaluation of information
Information quality chain analysis for total information quality management
Task-dependence of subjective believability in integration of scientific data
Precise reasoning with structured time, structured heaps, and collective operations
Classical Notions of Computation and the Hasegawa-Thielecke Theorem
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large
A Coq Mechanization of JavaScript Regular Expression Semantics
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
Pipelines and Beyond: Graph Types for ADTs with Futures
Predictable Verification using Intrinsic Definitions
Linked visualisations via Galois dependencies
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
A relational theory of effects and coeffects
StarMalloc: Verifying a Modern, Hardened Memory Allocator
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
Scalable verification of GNN-based job schedulers
Aroma: code recommendation via structural code search
Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Guiding dynamic programing via structural probability for accelerating programming by example
Pirouette: higher-order typed functional choreographies
Petr4: formal foundations for p4 data planes
Descend: A Safe GPU Systems Programming Language
Efficient Timestamping for Sampling-Based Race Detection
An abstract stack based approach to verified compositional compilation to machine code
Later credits: resourceful reasoning for the later modality
Termination analysis for evolving programs: an incremental approach by reusing certified modules
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Message Chains for Distributed System Verification
Type-level programming with match types
AL: autogenerating supervised learning programs
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Corpse reviver: sound and efficient gradual typing via contract verification
Adding interactive visual syntax to textual code
Dependently-typed data plane programming
Synthesis-powered optimization of smart contracts via data type refactoring
Asynchronous effects
A Primal-Dual Perspective on Program Verification Algorithms
A theory of higher-order subtyping with type intervals
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency
Entanglement detection with near-zero cost
Reduction monads and their signatures
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Equivalence by Canonicalization for Synthesis-Backed Refactoring
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Collapsible contracts: fixing a pathology of gradual typing
Generating Well-Typed Terms That Are Not "Useless"
Complexity-guided container replacement synthesis
On incorrectness logic for Quantum programs
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Reconciling high-level optimizations and low-level code in LLVM
AnICA: analyzing inconsistencies in microarchitectural code analyzers
The Relative Monadic Metalanguage
Complete First-Order Reasoning for Properties of Functional Programs
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs
Bugs in Quantum computing platforms: an empirical study
Bonsai: synthesis-based reasoning for type systems
A language for probabilistically oblivious computation
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Mechanized relational verification of concurrent programs with continuations
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
On type-cases, union elimination, and occurrence typing
Link-Time Optimization of Dynamic Casts in C++ Programs
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
Optimal approximate sampling from discrete probability distributions
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Modular quantitative monitoring
A unified view of modalities in type systems
Call-by-need is clairvoyant call-by-value
Efficient logging in non-volatile memory by exploiting coherency protocols
A Relational Separation Logic for Effect Handlers
Specification and inference of trace refinement relations
Finding Cross-Rule Optimization Bugs in Datalog Engines
Bridging the gap between programming languages and hardware weak memory models
Dynamic Race Detection with O(1) Samples
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Handling fibred algebraic effects
Ryū revisited: printf floating point conversion
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Verifying replicated data types with typeclass refinements in Liquid Haskell
A separation logic for negative dependence
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Transitioning from structural to nominal code with efficient gradual typing
Digging for fold: synthesis-aided API discovery for Haskell
Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting
Checking δ-Satisfiability of Reals with Integrals
Context-Free Language Reachability via Skewed Tabulation
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Stratified Commutativity in Verification Algorithms for Concurrent Programs
Flow2Vec: value-flow-based precise code embedding
Relational e-matching
Consolidating Smart Contracts with Behavioral Contracts
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
Bounded model checking of signal temporal logic properties using syntactic separation
Layered and object-based game semantics
Membership Testing for Semantic Regular Expressions
Automated Ambiguity Detection in Layout-Sensitive Grammars
Pomsets with preconditions: a simple model of relaxed memory
Lock-step simulation is child's play (experience report)
Staging with class: a specification for typed template Haskell
Carapace: Static-Dynamic Information Flow Control in Rust
Sound deadlock prediction
Regular language type inference with term rewriting
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
Static prediction of parallel computation graphs
One Pixel Adversarial Attacks via Sketched Programs
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Object-Oriented Fixpoint Programming with Datalog
Notions of Stack-Manipulating Computation and Relative Monads
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Data Extraction via Semantic Regular Expression Synthesis
SigVM: enabling event-driven execution for truly decentralized smart contracts
Observational equality: now for good
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
An existential crisis resolved: type inference for first-class existential types
BFF: foundational and automated verification of bitfield-manipulating programs
TypeDis: A Type System for Disentanglement
Cutting the Cake: A Language for Fair Division
How statically-typed functional programmers write code
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Compressed and Parallelized Structured Tensor Algebra
Disentanglement in nested-parallel programs
Laurel: Unblocking Automated Verification with Large Language Models
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs
Reusing Just-in-Time Compiled Code
Jacdac: Service-Based Prototyping of Embedded Systems
Selective applicative functors
JavART: A Lightweight Rule-Based JIT Compiler using Translation Rules Extracted from a Learning Approach
Modular verification for almost-sure termination of probabilistic programs
AWDIT: An Optimal Weak Database Isolation Tester
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Trace types and denotational semantics for sound programmable inference in probabilistic languages
Verified compilation of C programs with a nominal memory model
Parikh's Theorem Made Symbolic
What Is a Monoid?
Safe couplings: coupled refinement types
Probabilistic verification of fairness properties via concentration
Partially-static data as free extension of algebras
Wildcards need witness protection
Compositional Semantics for Shared-Variable Concurrency
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Sound Gradual Verification with Symbolic Execution
Bindings as bounded natural functors
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
Rethinking safe consistency in distributed object-oriented programming
Generic functional parallel algorithms: scan and FFT
Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic
Lower Bounds for Possibly Divergent Probabilistic Programs
Statically verified refinements for multiparty protocols
Staged Compilation with Module Functors
Sound gradual typing: only mostly dead
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis
Message-Observing Sessions
Unifying typing and subtyping
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Contextual modal types for algebraic effects and handlers
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic
Graphiti: Bridging Graph and Relational Database Queries
A Dependent Type Theory for Meta-programming with Intensional Analysis
Bisimulation as path type for guarded recursive types
Dependency-Aware Code Naturalness
Univalent higher categories via complete Semi-Segal types
SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention
HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Persimmon: Nested Family Polymorphism with Extensible Variant Types
A Formalization of Core Why3 in Coq
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
Bean: A Language for Backward Error Analysis
Abstracting definitional interpreters (functional pearl)
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
ExceLint: automatically finding spreadsheet formula errors
Polyregular Functions on Unordered Trees of Bounded Height
Client-server sessions in linear logic
A multiparty session typing discipline for fault-tolerant event-driven distributed programming
Certified and efficient instruction scheduling: application to interlocked VLIW processors
An approach to generate correctly rounded math libraries for new floating point variants
An Interactive Debugger for Rust Trait Errors
Making Concurrent Hardware Verification Sequential
Input-Relational Verification of Deep Neural Networks
Macros for domain-specific languages
SyTeCi: automating contextual equivalence for higher-order programs with references
A structural model for contextual code changes
Dijkstra monads forever: termination-sensitive specifications for interaction trees
Thread-safe reactive programming
Type-Constrained Code Generation with Language Models
Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Normalisation for First-Class Universe Levels
Understanding and Finding Java Decompiler Bugs
No-brainer CPS conversion (functional pearl)
Better living through operational semantics: an optimizing compiler for radio protocols
Explicit Effects and Effect Constraints in ReML