yusuke1997/dblp-id-title huggingface dataset:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
The finite base property for some cylindric-relativized algebras (Abstract)
Relation algebras in spatial reasoning (invited paper)
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper)
Fuzzy Relational Images in Computer Science
Counting and Computing Join-Endomorphisms in Lattices
Duality Theory for Projective Algebras
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations
Endowing Concurrent Kleene Algebra with Communication Actions
Type-2 Fuzzy Controllers in Arrow Categories
Weak Contact Structures
Kleene Modules
Pair algebras and Galois connections
An Algebra of Layered Complex Preferences
L-Fuzzy Weak Preference, Preference, and Choice Relations
A Quest for Kleene Algebra in 2 Dimensions
Accretive Computation of Global Transformations
Programming from Galois Connections
Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings
Stone Dualities from Opfibrations
The θ-Join as a Join with θ
Relational Sums and Splittings in Categories of L-fuzzy Relations
Using Difunctional Relation for Information Organization
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions
Properties of Graphs Preserved by Relational Graph Rewritings
Knowledge and Games in Modal Semirings
Rectangles, Fringes, and Inverses
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
On a Contraction-Expansion Closure in Graphs
Integrating Model Checking and Theorem Proving for Relational Reasoning
Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia
Domain and Antidomain Semigroups
Relational semantics for arbitrary finite valued logics
The Structure of the One-Generated Free Domain Semiring
Algorithms = RelationaI Algebra + Ordering Relations
Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract
The Allegory of E-Relations in Constructive Type Theory
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Towards a Typed Omega Algebra
Two Proof Systems for Peirce Algebras
Monodic Tree Kleene Algebra
A Relational View of Recurrence and Attractors in State Transition Dynamics
Relational Approach to Order-of-Magnitude Reasoning
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
Coalgebraic Tools for Randomness-Conserving Protocols
Some Modal and Temporal Translations of Generalized Basic Logic
Normal Forms for Elements of the * -continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$
Relational Implementation of Simple Parallel Evolutionary Algorithms
Verifying Hybrid Systems with Modal Kleene Algebra
Lattice Based Distances
Knowledge and Structure in Social Algorithms
Relations old and new (invited paper)
Towards an Algebra for Real-Time Programs
Demonic diagrams - towards a graphical refinement calculus
A Relation-Algebraic Approach to Graph Structure Transformation
Completeness and Incompleteness in Nominal Kleene Algebra
A Hierarchy of Algebras for Boolean Subsets
Contextuality in Distributed Systems
Splitting Atoms in Relational Algebras
Using Bisimulations for Optimality Problems in Model Refinement
Checking the Shape Safety of Pointer Manipulations
Tableau Development for a Bi-intuitionistic Tense Logic
Calculating Church-Rosser Proofs in Kleene Algebra
Omega Algebras and Regular Equations
Computing Least and Greatest Fixed Points in Absorptive Semirings
Latest News about Demonic Algebra with Domain
Demonic Algebra with Domain
Classes of modal frames definable by closure relational operations
Towards a Formal Framework for Heterogeneous Relation Algebra
Encoding and Decoding in Refinement Algebra
Automated Reasoning in Higher-Order Regular Algebra
On the Structure of Balanced Residuated Partially Ordered Monoids
Investigating and Computing Bipartitions with Algebraic Means
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
A note on expressing infinity in cylindrlc-relativised set algebras
Time Warps, from Algebra to Algorithms
Complete Solution of an Optimization Problem in Tropical Semifield
Multi-objective Problems in Terms of Relational Algebra
Social Software for Coalition Formation
More on embeddings of residuated semigroups into algebras of binary relations
Formal Methods and the Theory of Social Choice
Deciding Regular Expressions (In-)Equivalence in Coq
On Faults and Faulty Programs
Relational Models for the Lambek Calculus with Intersection and Unit
Distributed Conceptual Structures
Relation Algebras, Matrices, and Multi-valued Decision Diagrams
Finite Symmetric Integral Relation Algebras with No 3-Cycles
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers
Measures of Distances to Perform Approximate Retrieval
Deciding FO-definability of Regular Languages
Embeddability into Relational Lattices Is Undecidable
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
Time-Dependent Contact Structures in Goguen Categories
A Unary Semigroup Trace Algebra
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms
Social Networks: Prestige, Centrality, and Influence - (Invited Paper)
Automated Verification of Relational While-Programs
A Relation Algebraic Approach to Interaction Categories
Software Development in Relation Algebra with Ampersand
Generating and extending relational algebra by relational generators
Pointer Kleene Algebra
Metaphorisms in Programming
Axioms for Jonsson's Q-Algebras
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories
Presenting Interval Pomsets with Interfaces
Towards Antichain Algebra
Building Structured Theories - (Invited Paper)
Skew Metrics Valued in Sugihara Semigroups
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
Implication Algebras and Implication Semigroups of Binary Relations
Fuzzy Graph Rewritings
The Lattice of Contact Relations on a Boolean Algebra
Relational representation theorems for some algebraic structures
Type-n Arrow Categories
Relations on Hypergraphs
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
Relational Representability for Algebras of Substructural Logics
MIX \star -Autonomous Quantales and the Continuous Weak Order
Flexible Query Answering Using Distance-Based Fuzzy Relations
Tabular and Pretabular Varieties of MTL-Algebras
Parsing and Printing of and with Triples
Armstrong's Inference Rules in Dedekind Categories
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
Tower Induction and Up-to Techniques for CCS with Fixed Points
Pregroups: Models and Grammars
Characterizing Functions in Kleene Algebras
On the Computational Complexity of Non-dictatorial Aggregation
On a presentation of Petri nets and their morphisms
On the Structure of Demonic Refinement Algebras with Enabledness and Termination
A Point-Free Relation-Algebraic Approach to General Topology
Some Aspects of Lattice and Generalized Prelattice Effect Algebras
Relational Semantics Through Duality
Crispness in Dedekind Categories
Relational Computation of Sets of Relations
Computation calculus = sequential calculus + discreteness and termination
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Algebra for Quantitative Information Flow
On the Logic of Medical Decision Support
Aggregation of Fuzzy Relations and Preservation of Transitivity
Fixed-Point Characterisation of Winning Strategies in Impartial Games
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels
Boolean Logics with Relations
Polyadic Spaces and Profinite Monoids
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm
On the Completeness of Propositional Hoare Logic
Isolated Sublattices and Their Application to Counting Closure Operators
Dynamic fuzzy functional dependency
Greedy-Like Algorithms in Modal Kleene Algebra
Image, appearance and vanity in the use of media spaces and video conference systems
The effects of group composition on decision quality in a social production community
GROUP4Good: Exploring Positive Impacts of GROUP Research
The story of a working workflow management system
"Breaking the code", moving between private and public work in collaborative software development
Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995
Two peers are better than one: aggregating peer reviews for computing assignments is surprisingly accurate
Comparing tagging vocabularies among four enterprise tag-based services
Roles and relationships for unified activity management
Translating social support practices into online services for family caregivers
Personalized incremental users' engagement: driving contributions one step forward
A Hot Bot: Testing Effect of Temperature on Feelings of Closeness When Interacting With a Chatbot
Authenticating operation-based history in collaborative systems
Proceedings of the 2010 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2010, Sanibel Island, Florida, USA, November 6-10, 2010
Heterogeneity in harmony: diverse practice in a multimedia arts collective
An algorithm for selective undo of any operation in collaborative applications
Impression formation in online collaborative communities
Flag: an ambient awareness tool to support informal collaborative learning
The Collaborative Agile Knowledge Engine CAKE
Evaluating tagging behavior in social bookmarking systems: metrics and design heuristics
Recommendations in taste related domains: collaborative filtering vs. social filtering
A survey of personal and household scheduling
Towards a group recommender process model for ad-hoc groups and on-demand recommendations
Language and distributed system support for complex organizational services
But Where do We Begin? Guiding Improved Design for End-of-Life Data Planning Approaches
Perceptions of copyright compliance
Judging you by the company you keep: dating on social networking sites
The implications of enterprise-wide pipeline management tools for organizational relations and exchanges
Supporting social worlds with the community bar
Automated process support for organizational and personal processes
Carebit: A Privacy-Preserving "Step" Toward Remote Informal Caregiving
Decolonization through Technology and Decolonization of Technology
Multi-level specification and protocol design for distributed multimedia communication
Network analysis of trace data for the support of group work: activity patterns in a completely online course
Towards Card-based User Interfaces Workspaces for Group Mission Planning
Exploring the use of Wikis for information sharing in interdisciplinary design
Designing and Evaluating Decision Support Systems for Clinical Teams
Infrastructure management as cooperative work: implications for systems design
Toward integrated support of synchronous and asynchronous communication in cooperative work: an empirical study of real group communication
Incorporation of Generational Learning in Familiar Interfaces and Systems: A Design Fiction
Towards Re-Orienting the Big Data Rhetoric
An interface for navigating clustered document sets returned by queries
Augmenting recommender systems by embedding interfaces into practices
CIVIL: support geo-collaboration with information visualization
Digital Traces of Online Self-Organizing and Problem Solving in Disaster
Automatic generation of hypertext knowledge bases
The 2025 ACM International Conference on Supporting Group Work, GROUP Companion 2025, Hilton Head Island, SC, USA, January 12-15, 2025
Examining the Effects of Parenting Styles on Offline and Online Adolescent Peer Problems
Permutations of cooperative work practices: a study of two oncology clinics
Collaborative feed reading in a community
Team automata for groupware systems
Effects of Comment Curation and Opposition on Coherence in Online Policy Discussion
Data object creation and display techniques for the huge database of subscriber cable networks
Use of Virtual Science Park resource rooms to support group work in a learning environment
Petex - platform for e-learning and telemetric experimentation: a holistic approach for tele-operated live experiments in production engineering
TeamBox: an exploration of collaborative interoperability
User population and user contributions to virtual publics: a systems model
Chess as a Conversation: Artefact-Based Communication in Online Competitive Board Games
Enhancing workflows by web technology
Flexibility and control for dynamic workflows in the WORLDS environment
Understanding participant behavior trajectories in online health support groups using automatic extraction methods
Ad Empathy: A Design Fiction
The Morphing Organization: Rethinking Groupwork Systems in the Era of Crowdwork
Analysis of Human Nodding Behavior during Group Work for Designing Nodding Robots
Designing Meaningful Participation: Analyzing Contribution Patterns in an Alternate Reality Game
Alternate reality games and groupwork
Challenges of CI Initiatives in a Political Unstable Situation - Case Study of a Computer Club in a Refugee Camp
From local to global coordination: lessons from software reuse
Designed for unanticipated use: common artefacts as design principle for CSCW applications
Black Innovation: Creating and Appropriating Technology to Survive and Thrive
Media and Information Literacy Competences in the Workplace: Collaborative Practices and Workers' Empowerment
Open innovation and the solver community
Using Internet technology within the organization: a structurational analysis of intranets
Is Breaking Up Hard To Do?: Managing Relationship Boundaries on Social Networking Sites
Developing the cooperative mission development environment
Psychological Wellbeing as an Explanation of User Engagement in the Lifecycle of Online Community Participation
Show me a good time: using content to provide activity awareness to collaborators with activityspotter
Developing collaborative applications on the Web (tutorial)
Multi-user interfacefor group ranking: user-centered analysis
Priority workshops: springboard for user participation in redesign activities
Development of multiple media documents
An integrative framework for knowledge extraction in collaborative virtual environments
When Social Norms Fail
Integrating older adults into social networking sites through ambient intelligence
Practices of balancing privacy and publicness in social network services
A Personalized "Course Navigator" Based on Students' Goal Orientation
Supporting the shared care of diabetic patients
Examining the ways in which people learn in social groups in second life: an ethnographic study
The CDT mStar environment: scalable distributed teamwork in action
Shaping technology across social worlds: groupware adoption in a distributed organization
Structuring cross-organizational knowledge sharing
Collaboration support for novice team programming
Refugees & Technology: Determining the Role of HCI Research
Enhancing the Travel Experience for People with Visual Impairments through Multimodal Interaction: NaviGPT, A Real-Time AI-Driven Mobile Navigation System
Becoming Wikipedian: transformation of participation in a collaborative online encyclopedia
An investigation of the use of a wiki to support knowledge exchange in public health
Hierarchical conferencing architectures for inter-group multimedia collaboration
Intelligent design or felicitous evolution? sustaining order and activity in online communities
RoamWare: an integrated architecture for seamless interaction in between mobile meetings
Applying Human-Centered Data Science to Healthcare: Hyperlocal Modeling of COVID-19 Hospitalizations
Integrating synchronous multimedia collaboration into workflow management
Collaborative reflection at work: supporting informal learning at a healthcare workplace
Before the Tech Bit: Observations on the Workings of a Scottish Community Fridge
CampusPartner: An Assistive Technology for Mobility Impaired Pedestrians
Enhancing Visibility of Distance Learners To Promote Sense Of Community
Grounding interpersonal privacy in mediated settings
Growing an infrastructure: the role of gateway organizations in cultivating new communities of users
A tour through Tapestry
Supporting the Information Management Needs of People Helping Animals in Disasters
Engaging with Users and Stakeholders: The Emotional and the Personal
Eating alone, together: new forms of commensality
Compositional features for promoting awareness within and across cooperative applications
Integrating Signals of Online Harassment into Clinical Practices
Community, consensus, coercion, control: cs*w or how policy mediates mass participation
Augmenting classroom participation through public digital backchannels
Towards a Trajectory Analysis of Wheelchair in an Indian Context
FitAware: Promoting Group Fitness Awareness ThroughGlanceable Smartwatches
Human infrastructure as process and effect: its impact on individual scientists' participation in international collaboration
POST: A Machine Learning Based Paper Organization and Scheduling Tool
Suitable notification intensity: the dynamic awareness system
Formalization and Accountability in Surgery Planning
'Safety in numbers': calculation and document re-use in knowledge work
Valentine: an environment for home office worker providing informal communication and personal space
Simulation and analysis of business processes using GOLOG
Better understanding of human decision making can inform the design of sociotechnical systems that foster and support behavior modification
Is Wikipedia growing a longer tail?
Seeing the forest for the trees: hierarchical displays of hypertext structures
Collaboard: a remote collaboration groupware device featuring an embodiment-enriched shared workspace
Unpacking the social dimension of external interruptions
bumpy, caution with merging: an exploration of tagging in a geowiki
Alternative strategies to interpretative information systems
From description to requirements: an activity theoretic perspective
A framework and future direction for studying productive applications of social media / social networking sites
Information Fortification: An Online Citation Behavior
Virtual Community building for supporting women in developing and sustaining their professional identities
Supporting Collaborative Reflection at Work: A Comparative Case Analysis
Flexible specification of workflow compensation scopes
Access as a means of configuring cooperative interfaces
Using a planner to support office work
Towards Professionalization in an Online Community of Emerging Occupation: Discourses among UX Practitioners
Engaging Newcomers in Hybrid Communities
Measuring Gendered Communication Patterns on Enterprise Communication Platforms
Empathy & enjoyment in computer-mediated design work
Free software developers as an occupational community: resolving conflicts and fostering collaboration
Building boundaries and negotiating work at home
Collaborative virtual workspace
Symgroup: applying social agents in a group interaction system
A metrics framework for evaluating group formation
Using Stories to Understand Technology Needs and Technology Reuse by Rural Communities
Locating patient expertise in everyday life
The quest for quality tags
Cooperative Mixed Reality: An Analysis Tool
Televiewpointer: an integrated workspace awareness widget for real-time collaborative 3d design systems
Designing Everyday Family Technologies: Supporting Health and Wellbeing in Family-Food Interactions with Children
A review of patterns in collaborative work
The dissemination of knowledge management
On Being Actionable: Mythologies of Business Intelligence and Disconnects in Drill Downs
Supporting transitions in work: informing large display application design by understanding whiteboard use
Supporting collaborative software development through the visualization of socio-technical dependencies
The Emergence of High-Speed Interaction and Coordination in a (Formerly) Turn-based Groupware Game
Supporting dynamic interdependencies among collaborative activities
Third annual collaborative editing workshop
The Dream About the Magic Silver Bullet: the Complexity of Designing for Tablet-Mediated Learning
Cost benefit analysis of information systems: a survey of methodologies
Value tensions in design: the value sensitive design, development, and appropriation of a corporation's groupware system
"Let's see your search-tool!" - collaborative use of tailored artifacts in groupware
Willing Buyer, Willing Seller: Personal Data Trade as a Service
Identity and User Behavior in Online Communities
Supporting group decisions by mediating deliberation to improve information pooling
Organizational modelling and problem solving using object-oriented knowledge representation server and visual language
Building Mood, Building Community: Usage Patterns of an Interactive Art Installation
Optimizing User Experience through Implicit Content-aware Network Service in the Home Environment
Management and utilization of knowledge for the automatic improvement of workflow performance
ORDIT: a new methodology to assist in the process of eliciting and modelling organizational requirements
Coordination in innovative design and engineering: observations from a lunar robotics project
Customizing cooperative office procedures by planning
FrameDrops: a mobile VideoBlog for workgroups and virtual communities
Characterizing modes of coordination: a comparison between oral and artifact based coordination
Collaboratory use by peripheral scientists
Spreading the honey: a system for maintaining an online community
Intertwining perspectives and negotiation
Playing the language-games of design and use-on skill and participation
Group dynamics findings from coordination in problem solving and decision making meetings
Connecting families: new technologies, family communication, and the impact on domestic space
A web based enterprise workflow system
Comparing rankings of heterogeneous agents
The virtual home mode: photography & biography work