yusuke1997/dblp-id-title huggingface dataset:
Delving into the Dark Side of Artificial Intelligence in Green Marketing
Changes in Global Virtual Team Conflict Over Time: The Role of Openness to Linguistic Diversity
Technological Change and Future Skill-Shortages in Engineering and Architecture Education: Lessons from Lebanon
Women in ICT: The Case of Croatia Within European Union
Investigating Travelers' Dilemma in Managing Their Online/Offline Presence on Travel Experience
What makes opinion leaders share brand content on professional networking sites (e.g LinkedIn, Viadeo, Xing, SkilledAfricans...)
Digital Economy. Emerging Technologies and Business Innovation - Second International Conference, ICDEc 2017, Sidi Bou Said, Tunisia, May 4-6, 2017, Proceedings
Intermediation and Decision Support System for the Management of Unemployment: The Simulator of Duration
Digital Servitization as a New Research Stream: A Bibliometric Analysis
Success Factors for the Use of Open Educational Resources - A Quantitative Survey with Students
Student-Centered Design and Evaluation of a Learning Analytics Dashboard
The Return on Investment of Professional Social Networks
Digital Business Model Innovation in SMEs - Case Studies with DIH Support from Brandenburg (Germany)
Toward Information Overload: Measuring Visual Activity in Teaching Materials Production
E-Government and Social Media in Tunisia: An Empirical Analysis
«Man-Machine» Interaction: The Determinants of the Untact Service's Use
Clustering of Social Media Data and Marketing Decisions
Transparency in the E-Journals Market: Controlled Preferences and Altered Rational Choices
Digitalisation, Productivity, and Measurability of Digital Economy: Evidence from BRICS
A New Spark Based K-Means Clustering with Data Removing Strategy
Seamless Payment Through Artificial Intelligence in Food Retail: Factors Influencing Purchase Intent
Overview of E-commerce Technologies, Data Analysis Capabilities and Marketing Knowledge
The Strategic Values of Omnichannel Behavior in the Age of Covid-19
Capturing Leading Factors Contributing to Consumer Engagement in Online Packaging Co-design Platform: A Focus Group Study and a Research Model Proposal
Is There a Relationship Between Shadow Economy, Digitalization and Sustainable Development? Insights from a National and Regional Bibliometric Analysis
Virtual Communities and Wellbeing: A Systematic Literature Review and Recommendations for Future Research
AI-Based Business Models in Healthcare: An Empirical Study of Clinical Decision Support Systems
Does Digital Financial Inclusion Affect Economic Growth? New Insights from MENA Region
Overlapping Community Detection Method for Social Networks
Assessment the Company's Readiness for Digital Transformation: Clarifying the Issue
A Trust-Based Clustering Approach for Identifying Grey Sheep Users
Consumer Experience and Augmented Reality Wine Label Application
Technological Digitalization Model for Medium-Sized Pig Farms in Mexico
Relationship Between Culture and User Behavior in the Context of Information Security Systems: A Qualitative Study in SMEs
The Practices of Nonprofit Organizations in the New Age of Social Media: A Qualitative Study of Donors' Receptiveness
A Trusted Group-Based Revocation Process for Intelligent Transportation System
Testing the Applicability of Digital Decision Support on a Nationwide EHR
Multi-sided Platforms in the Sharing Economy - A Case Study Analysis for the Development of a Generic Platform
The Symmetric and Asymmetric Effects of Digitalization on Economic Growth in African Countries: Evidence from Linear and Non-Linear ARDL Models
Risk management for spam over IP telephony using optimal countermeasure
Unlocking Success in Social Media Across the Customer Journey: An Integrated Marketing Communication Perspective
Consumer Satisfaction Using Fitness Technology Innovation
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
Exponential Decay in Quantum Mechanics
Reductio ad Absurdum: Planning Proofs by Contradiction
Pregroups: A New Algebraic Approach to Sentence Structure
Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman
Domain Endurants - An Analysis and Description Process Model
Aggregating Inductive Expertise on Partial Recursive Functions
Perceptual Context in Cognitive Hierarchies
Social Consequence of Information and Communication, Technologies and the European Union : Policy Links
Conditional Lower Bounds for String Matching in Labelled Graphs
Improving Automatic Complexity Analysis of Integer Programs
Refactoring of LCMsim: A Lightweight Julia Package for Mould Filling Simulations in Liquid Composite Moulding
Reverse Engineering Using Graph Queries
The Finite Values Property
On Universal Finite Automata and a-Transducers
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence
Logic Programming in DataLog: A Long Tour from Theory to Practice
Regular Model Checking Revisited
Fast Sort Computations for Order-Sorted Matching and Unification
Condolence on Adjunct Professor Da Ruan
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision
Fuzzy Clustering/Co-clustering and Probabilistic Mixture Models-Induced Algorithms
Remarks on SASL and the Verification of Functional Programming Languages
Organisational Change: Using Health Informatics Education as a Change Agent
Formal Methods in Designing Critical Cyber-Physical Systems
The Ontological Level: Revisiting 30 Years of Knowledge Representation
Do we have problems with Arens' law? A new look at the sentence-word relation
Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th Birthday
Earley's Parsing Algorithm and k-Petri Net Controlled Grammars
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations
Quantitative Analysis of Interval Markov Chains
What Is Negation as Failure?
The Role of Validation in Refinement-Based Formal Software Development
Much Ado about Zero
An Algebraic Approach to Regular Sets
Specifying and Reasoning About Shared-Variable Concurrency
Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification
Living in an Uncertain Universe
Analysis of Mobile Networks' Protocols Based on Abstract State Machine
Computational Intelligence Methods in Personalized Pharmacotherapy
Polygon Clipping: Analysis and Experiences
Eelco Visser Commemorative Symposium, EVCS 2023, Delft, The Netherlands, April 5, 2023
Superimposed Codes and Threshold Group Testing
A New OFNBee Method as an Example of Fuzzy Observance Applied for ABC Optimization
Equilibrium in Supergames
Phasing Data from Genotype Queries via the μ-PBWT
Agents with Exact Foreknowledge
Translating Testing Theories for Concurrent Systems
On the Length of Words
Automating Verification of Cooperation, Control, and Design in Traffic Applications
DNA Tree Structures
Supplemental Access Control (PACE v2): Security Analysis of PACE Integrated Mapping
Euclidean Representations of Quantum States
Petri Nets, Event Structures and Algebra
On the Synthesis of Zero-Safe Nets
Proving Nonmembership in Certain Families of Context Free Languages
A Distributed Ledger Technology Based on Shared Write-Once Objects
Featured Message Sequence Graphs
Toward a Theory of Self-explaining Computation
On Fuzziness and the Interpretability-Accuracy Trade-Off: A Personal View
The Lexical Population of Semantic Types in Hanks?s PDEV
Approximating Behaviors in Embedded System Design
Towards Agile Verification
Statistical Inference for Rényi Entropy Functionals
Trellis languages
My Friend Joseph Goguen
Specifying and Analysing SOC Applications with COWS
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
The Computer Scientist Nightmare - My Favorite Bug
Hardware-Enforced Protection Against Buffer Overflow Using Masked Program Counter
Modus Tollens on Fuzzy Implication Functions Derived from Uninorms
Effectiveness of Hindman's Theorem for Bounded Sums
Institut für Programmierung und Reaktive Systeme
Optimal Rate Region of Two-Hop Multiple Access Channel via Amplify-and-Forward Scheme
A Compositional Approach to the Verification of Hybrid Systems
Effective Query Answering with Ontologies and DBoxes
Everlasting Challenges with the OBJ Language Family
Detecting Events in Online Social Networks: Definitions, Trends and Challenges
Compressed Sensing in Cyber Physical Social Systems
A Taxonomy and Reductions for Common Register Automata Formalisms
Parameterized Parallel Computing and First-Order Logic
Clarifying Assumptions
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops
An Action Semantics Based on Two Combinators
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects
The Development of the Strategic Behavior of Peer Designed Agents
A Computational Algorithm for Scoliosis Assessment from a Noninvasive 3D Body Scanner
Order, Topology, and Recursion Induction in CSP
A Brief History of Security Protocols
Parallel Communicating Grammar Systems with Communication by Signals
Translating General Game Descriptions into an Action Language
Generate & Check Method for Verifying Transition Systems in CafeOBJ
The Essence and Role of Nurses in the Future of Biomedical and Health Informatics
New Algorithms and Approaches for 1-Dimensional Layout Compaction
The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, University of Pennsylvania, Philadelphia, PA, USA, May 24-25, 2024
Application of Model Checking to Fault Tolerance Analysis
Model-Driven Development with Mechatronic UML
On Conjectures in t-Norm Based Fuzzy Logics
The Turing O-Machine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing
A brief scientific biography of Robin Milner
Hans Bodlaender and the Theory of Kernelization Lower Bounds
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation
The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence
On the Meaning of Fuzziness
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
On First-Order Model-Based Reasoning
Die elektronische Justiz - Aufgaben für den Gesetzgeber
Vertex Cover, Dominating Set and My Encounters with Parameterized Complexity and Mike Fellows
A Final Coalgebra for k-regular Sequences
Applying Decision Graphs in the Context of Automated Driving
Finding Intruder Knowledge with Cap-Matching
Efficient Coroutine Generation of Constrained Gray Sequences
Advances in Exploratory Pattern Analytics on Ubiquitous Data and Social Media
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed
Key Length Motifs in Czech and Arabic Texts
Randomness as an Invariant for Number Representations
Scope Dominance with Generalized Quantifiers
I don't care, I don't know ... I know too much! On Incompleteness and Undecidedness in Abstract Argumentation
Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings
Computation of Unirational Fields
Algebraic Representation of Regular Array Languages on Cayley Graphs
Log-gain Principles for Metabolic P Systems
Centralized Versions of Jumping Finite Automata
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
An Insertion into the Chomsky Hierarchy?
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years
Quantum Finite Automata: A Modern Introduction
On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System
A Fresh Breeze of Excellence in Jaén
Upside-Down Preference Reversal: How to Override Ceteris-Paribus Preferences?
Textbook Examples of Recursion
On Partially Wellfounded Generic Ultrapowers
The Perils of Polynucleotides Revisited
Polytopal Stochastic Games
Comprehensive Security Assurance Measures for Virtualized Server Environments
Compositional Reasoning for Probabilistic Finite-State Behaviors
Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
Combinatorial Problems for Horn Clauses
From i* to the User Requirements Notation
On the Expressiveness of Synchronization in Component Deployment
Compositionality: Ontology and Mereology of Domains
Generic Algorithms for Factoring Strings
Engineering the Development of Embedded Systems
Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation
On the Prediction of Smart Contracts' Behaviours
Search for Sparse Active Inputs: A Review
Abstraction as the Key for Invariant Verification
On the Construction of Elastic Degenerate Strings
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
Information Retrieval and Question Answering for Assisting Readers of the Late Antique to Medieval Corpora of the Aggadic Midrash
Translation in History
On Solving Solved Problems
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents
A Note on the Incomparability of the EOL Family with Certain Families of Languages Generated by Cooperating Grammar Systems
A Symmetric Approach to Compilation and Decompilation
A Triptych Software Development Paradigm: Domain, Requirements and Software
Collaborative Caching Strategy in Content-Centric Networking
Black-Box Protocol Testing Using Rebeca and Automata Learning
On the Value of Multiple Read/Write Streams for Data Compression
Some Notes on Models and Modelling
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches
On Inverting the Burrows-Wheeler Transform
Quantum Complexity of Boolean Matrix Multiplication and Related Problems
Logical Abstract Domains and Interpretations
Amortized Analysis of Leftist Heaps
OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling
Indexing a Dictionary for Subset Matching Queries
That Most Important Intersection
Syntactic Calculus and Pregroups
Automatic Compositional Checking of Multi-object TypeState Properties of Software
Meanings of Model Checking
Heterogeneity in Model Management: A Meta Modeling Approach
Negative Variables and the Essence of Object-Oriented Programming
Local Finiteness in T-Norm Based Bimonoides
Around the BISC Roundtable
Evolution of a Parallel Task Combinator
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality
Carrying Goals to Newcastle: A Tribute to Brian Randell
A Dynamic Distributed Data Structure for Top-k and k-Select Queries
On Iterated Sequential Transducers
Assertion-Based Reasoning Method for Calculus of Wireless System
Models and Software Model Checking of a Distributed File Replication System
On Computing the Importance of Associations in Large Conceptual Schemas
Automata arrays and context-free languages
Combining Sets with Elements
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
On Pumping Constants and Smallest Grammars for Context-Free Languages
Data Management Support for Notification Services
Formal Methods for the International Space Station ISS
Malware Forensics: Legacy Solutions, Recent Advances, and Future Challenges
In Memoriam EUSFLAT Board Member Da Ruan: Obituary
What about Constraints in RDF?
Viribus Quantitatis
Mental Models - General Introduction and Review of Their Application to Human-Centred Security
Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction
Superposition for Bounded Domains
Modelling Cyber-Physical Systems for Verification and Synthesis
Computer Simulation of Communication in Bacterial Populations under External Impact of Signal-Degrading Enzymes
Effectively Existentially-Atomic Structures
Artificial Intelligence in RoboCup
Efficient Decision Tree Re-alignment for Clustering Time-Changing Data Streams
L-Identification for Uniformly Distributed Sources and the q-ary Identification Entropy of Second Order
Algebraic Systems and Pushdown Automata
Reichenbach, Prior and Montague: A Semantic Get-together
Single and Bulk Updates in Stratified Trees: An Amortized and Worst-Case Analysis
Solving the Elliptic Curve Discrete Logarithm Problem Using Semaev Polynomials, Weil Descent and Gröbner Basis Methods - An Experimental Study
A Peer-to-Peer Content Distribution Network
Existential Fixed-Point Logic
The Internet: New principles of political right, new social contract
List of Braverman's Papers Published in the "Avtomatika i telemekhanika" Journal, Moscow, Russia, and Translated to English as "Automation and Remote Control" Journal
The Reduction Power of Simple Operations for Gene Assembly in Ciliates
Model Theory of Lattice Products
Bare Nouns in Predicate Position in French
Combinatories of Standard Sturmian Words
From the Internet of Computers to the Internet of Things
Die Dynamisierung des Informationsbegriffes
Approximating the Volume of General Pfaffian Bodies
Descriptional Complexity of Input-Driven Pushdown Automata
On the Intuitionistic Fuzzy Sets of n-th Type
Formal Modelling to Improve Safety and Security
On the Generative Capacity of Parallel Communicating Extended Lindenmayer Systems
Alice and Bob Meet Equational Theories
Explicit Fair Scheduling for Dynamic Control
Shuffle-like Operations on omega-words
Have a Break - Have a Security Centre: From DZI to CASED
On Some Combinatorial Properties of Random Intersection Graphs
Fictive Motion Down Under: The Locative-Allative Case Alternation in Some Australian Indigenous Languages
On Ranges of Bottom-up Tree Transducers
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
Meta-information for Multimedia eLearning
Program Verification: To Err is Human
Grammar Systems with Counting Derivation and Dynamical Priorities
Techniques for Construction and Integration of Rule Bases
Das informationswissenschaftliche Ausbildungsangebot für Information Professionals in der Schweiz
Characterizations for Some Classes of Codes Defined by Binary Relations
Structure and Complexity of Some Subregular Language Families
Feature Selection Ensemble
AutoML for Explainable Anomaly Detection (XAD)
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
A Concurrent Language for Argumentation: Preliminary Notes
Crossing-Over on Languages: A Formal Representation of Chromosomes Recombination
Towards Verification of a Denotational Semantics of Inheritance
A Grammar Characterization of Logarithmic-Space Computation
Computing itpre * for General Context Free Grammars
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Using i* to Analyze Ethicality Requirements Following Ontology-Based Requirements Engineering
Objective Bayesian Nets
Guiding Chinese Scientists to Germany
On Teaching the Basics of Complexity Theory
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus
Linguistic numerology
Moving Toward Evidence-Based Software Production
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words
Some Strengths of Nonmonotonic Reasoning
One-Way Finite Automata with Quantum and Classical States
War of Eyeballs - Design in der Mediengesellschaft
Benutzermodelle im intelligenten Dialog-System MALBOT - ein Anwendungsbeispiel
Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification
An Elementary Algorithmic Problem from an Advanced Standpoint
ASSISTECH: An Accidental Journey into Assistive Technology
Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata
A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
Galois Connections for Recursive Types
An Essay on Sabotage and Obstruction
When COSTA Met KeY: Verified Cost Bounds
Coverability in Well-Formed Free-Choice Petri Nets
Multiset Rewriting Systems and String Driven Computations
Infinitary Normalization
Seven Things I Know About Them
Social Modeling Using the i* Framework: Essays in Honour of Eric Yu
Logicism and the Development of Computer Science
Knowledge Discovery in databases - An Inductive Logic Programming Approach
Analyzing Boolean Networks Through Unsupervised Learning
Three Ways of Proving Termination of Loops
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude
A Remark on Trace Equations
Participatory Search in Evolutionary Fuzzy Modeling
Covert Movement in Logical Grammar
Modelling Interactive, Three-Dimensional Information Visualizations
Towards the Verifying Compiler
Probleme mit der elektronischen Signatur bei Einführung eines E-Government-Verfahrens
GPU Accelerating Statistical Model Checking for Extended Timed Automata
The Cerny Conjecture for Automata with Blocking States
Division by Zero in Common Meadows
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge
Graph Automata: The Algebraic Properties of Abelian Relational Graphoids
Old and New Results on Alphabetic Codes
Computer Storage Fragmentation: Pioneering Work of Brian Randell
On Evolutionary Approximation of Logic Circuits
Formal Modelling of Peercoin and Proof-of-Stake Protocols
Comparative Evaluation of Cross-language Information Retrieval Systems
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention
Teams in Grammar Systems: Sub-Context-Free Cases
A Reduced Distributed Splicing System for RE Languages
Post-Quantum Cryptography: State of the Art
Using CSP to Develop Quality Concurrent Software
Resource Allocation in Satellite Networks - From Physical to Virtualized Network Functions
From Chaos to Undefinedness
Deontic Logic for Human Reasoning
On Effective Convergence in Fekete's Lemma and Related Combinatorial Problems in Information Theory
Decomposing the Verification of Interlocking Systems
Distributed Control Synthesis
Ten Reasons to Metamodel ASMs
Static Timing Analysis - What is Special?
On Some Biologically Motivated Control Devices for Parallel Rewriting
Correct Real-Time Software for Programmable Logic Controllers
The Single Parameter Family of Gini Bonferroni Welfare Functions and the Binomial Decomposition, Transfer Sensitivity and Positional Transfer Sensitivity
DNA Is a Puzzle Enthusiast
Stability of Approximation Algorithms and the Knapsack Problem
Anchored Concatenation of MSCs
On Isomorphic Representations of Monotone Tree and Nondeterministic Tree
Complexity with Rod
Computer Science: A Historical Perspective and a Current Assessment
Multicriteria Genetic Optimization Procedure for Trajectory Tracking by the Interacting Multiple Model Algorithm
On Fatou properties of rational languages
Capacity Development to Leverage Advances in Health Informatics for All