yusuke1997/dblp-id-title huggingface dataset:
A peculiar higher order differential of CLEFIA
Detailed evaluation of error floors of LDPC codes using the probabilistic algorithm
Index-less flash codes with arbitrary small slices
Make Seeds Expire in TOTP Authentication
An energy efficient coding scheme for the multiple access relay channel
Pulse interference mitigation techniques for QPSK and QAM using Viterbi decoding
A generalized write channel model for bit-patterned media recording
Computing polynomial functions of correlated sources: Inner bounds
Adaptive recursive MLD using ordered statistics for low rate codes
Exploring Quantum Supremacy in Access Structures of Secret Sharing by Coding Theory
Graph-based code construction for data storage
A design method for FIR filters with complex coefficients by Successive Projection method
Private similarity searchable encryption for Euclidean distance
Reed-Solomon based nonbinary LDPC codes
An implementation of steganography using construction of Huffman tree
Gaussian fuzzy commitment
Quantum Deletionllnsertion Errors in Optical Qubits due to Synchronization Error
Decoding Algorithm Correcting Single-Insertion Plus Single-Deletion for Non-binary Quantum Codes
Weighted sum-rate functional dependence bound for network coding capacity
A Remark on an Identity-Based Encryption Scheme with Non-interactive Opening
Embedded pilot and multi-size OFDM processing for jointly time and frequency selective channels
Simple channel sounders for underwater acoustic communications in the presence of double selective channel environments
Randomized Nested Polar Subcode Constructions for Privacy, Secrecy, and Storage
Construction and analysis of rank-modulation rewriting codes by the group of permutation matrices
One Bit-Flipping/Insertion/Deletion Correcting Code for Substrings of Binary Circular String
Necessary and Sufficient Conditions for Capacity-Achieving Private Information Retrieval and Its Construction Method
Error exponents of discrete memoryless channels and AWGN channels with noisy feedback
An improvement of approximate BP decoding
Fourier-based Verifiable Function Secret Sharing
Steganalysis of synthetic low-colour images
Position modulation code for non-binary Write-Once Memories
Hadamard-type Matrices on Finite Fields and Their Applications to Sequence Generation
Resolution conversion of a local time-frequency region by convolution of a Gaussian and Gabor spectrum
Optimality of LDGM-LDPC compound codes for lossy compression of binary erasure source
Formalization of the variable-length source coding theorem: Direct part
Minimal-rate description for multiple-access channels
Error performance and robustness of optimum quantum detection for MPSK signals in the presence of phase noise
User-relay duality in cyclic interference alignment for cascaded two-way relay networks
A further study on the encoding complexity of quantum stabilizer codes
Coupling effects between transmit and receive antennas in frequency offset amplify-and-forward relay
A Study on the Parameter of the Distinguished Point Method in Pollard's Rho Method for ECDLP
Regenerating codes with generalized conditions of reconstruction and regeneration
A construction of LDPC convolutional codes with close distance bounds
A New Algorithm for Computing $\alpha$-Capacity
Wireless relay networks using multiple frequency bands
A review study on the benefits of multi-reader heads in SMR and TDMR systems
Some properties of the maximum period on the logistic map over Z2n
Suboptimal quantizer design for outputs of discrete memoryless channels with a finite-input alphabet
Binary transmissions over Gaussian wiretap channel under soft/hard decision decoding
Write-margin evaluation of LDPC coding and iterative decoding system in BPM R/W channel with write-errors
A solution for privacy-preserving, remote access to sensitive data
Asymptotics of Bayesian estimation for nested models under misspecification
Signal analysis and classification of digital communication signal using higher order time-frequency analysis techniques
Toward securing tire pressure monitoring systems: A case of PRESENT-based implementation
Quantum key distribution using Mean King problem with modified measurement schemes
On Enumerating Distributions for Associated Vectors in the Entropy Space
Path estimation for multi-carrier CDMA system with two-way path-adapted array antennas
Some Girth-8 Linear Code is a 3-SEQ LRC
An audio watermarking method by using automatic music transcription information
Upper bounds on the capacity of 2-layer N-relay symmetric Gaussian network
Mobile Forensics for Cloud Storage Service on iOS Systems
Error-trellises for tailbiting convolutional codes
Threshold of overflow probability in terms of smooth max-entropy for variable-length compression allowing errors
Scalable Security in Interference Channels With Arbitrary Number of Users
Efficient coding for multi-source networks using Gács-Körner common information
Effective construction of compression-based feature space
NB-LDPC Codes with High Rates Achieving Low BER over the AWGN Channel with QAM Signaling
Coding Theorems on the Simple Capacity for Digital Fingerprinting Codes
New hybrid additive-multiplicative watermarking with better tradeoff between image quality and detection accuracy
Information reconciliation for QKD with rate-compatible non-binary LDPC codes
Latency-Energy Tradeoff with Realistic Hardware Models
Accuracy/Efficiency Trade-Off for Privacy-Preserving Division Protocol
Expected Error Rate of Probabilistic Network Codes over Gaussian Relay Network
On the existence of generalized rank weights
Bp Decoding and Sgrand for Partially Permuted Factor Graphs of Polar Codes
A comparison of serial and parallel LLR updates for LDPC coded massive MIMO detection with belief propagation
Capacity study of distributed beamforming in relation to constrained backbone communication
Finite-length analysis for secret random number generation and coding theorems
Transceiver optimization for MIMO multi-relay systems using projected gradient approach
On the maintenance of distributed storage systems with backup node for repair
A construction of non-binary WOM codes based on integer programming
Segmented Reverse Concatenation: A New Approach to Constrained ECC
A family of perfectness of the Levenshtein codes La(n;2n)
Performance characteristics of LSB steganalysis based on statistics of image difference signal
Formal Security Verification for Searchable Symmetric Encryption Using ProVerif
Secrecy coding for the binary multiplying wiretap channel
On the Decoding Radius Realized by Low-Complexity Decoded Non-Binary Irregular LDPC Codes
Analysis of Quasi-Cyclic LDPC codes under ML decoding over the erasure channel
Complexity-based steganalysis
A fast binary arithmetic coding using probability table of expanded symbols
Upper bound of the shortest vector coefficients and its applications
Lossy Source Coding of Binary Memoryless Source by Trained LDGM Encoder
Novel lifetime-aware bit and power allocation in OFDM systems
Comparison of Reed-Solomon and Raptor codes for the protection of video on-demand on the erasure channel
On secure communication over the multiple access channel
Maximization of average number of rewriting of ILIFC with inversion operation
Twisted polar codes
A new construction method of knapsack PKC using linear transformation and Chinese remainder theorem
Proof of Origin: Creating Data Authenticity by Biometric Information
An L1-method for designing FIR digital filters with complex coefficients
An Experimental Analysis on Lattice Attacks against Ring-LWE over Decomposition Fields
Generalized multiple-access relay channel with confidential messages
Coding theoretic study of secure network coding and quantum secret sharing
Formalization of statistical indistinguishability of probability distribution ensembles in Mizar
Fast Linear-Programming decoding of LDPC codes over GF(2 m )
Clarifying the specification of linear Piece In Hand matrix method
On the Optimal Construction of a Visual Cryptography Scheme for Multiple Secret Images
Improvement of 2-EPP using quantum error correcting codes and binary search
An Equivalent Expression for the Wyner-Ziv Source Coding Problem
Tree-based Secure Comparison of Secret Shared Data
Synergy and Redundancy Duality Between Gaussian Multiple Access and Broadcast Channels
Fixed-symbols-based synchronization for insertion/deletion/substitution channels
Multi-Terminal Codes Using Constrained-Random-Number Generators
A Bayes prediction algorithm for model class composed of several subclasses
Time domain feedback equalizer for fast fading channel in OFDM with scattered pilot
Computing the degree of a Boolean function from its support
On a universal antidictionary coding for stationary ergodic sources with finite alphabet
On an Alternative Approach to Congestion Detection in Ad Hoc Networks
Performance analysis of chaos based WSNs under jamming attack
Near-Optimal Designs of Hybrid Massive MIMO Systems from Lattice Decoding
Algebraic chase decoding of Reed-Solomon codes using module minimisation
A study on location tracking system using Kalman filter based on sensor information
A Channel Model of Transceivers for Multiterminal Secret Key Agreement
A Key Recovery Algorithm Using Random Key Leakage from AES Key Schedule
Adaptive quantization for low-density-parity-check decoders
Optimal reliability over a DMC with feedback via deterministic sequential coding
Further Results on the Error Correction Capability of Irregular LDPC Codes under the Gallager A Algorithm
A simple approximation of minimum error probability using trace distance
On the truncated path search for the maximum differential characteristic probability on a generalized Feistel-type block cipher
A novel synchronization scheme for Bi-orthogonal modulation using modified pseudo-ternary M-sequence
Granger causality for functional valued random processes
Improved rates and coding for the MIMO two-way relay channel
Finite length weight enumerator analysis of braided convolutional codes
An error probability estimation of the document classification using Markov model
Minimum Energy Analysis for Robust Gaussian Joint Source-Channel Coding with a Square-Law Profile
Decentralized Netting Protocol over Consortium Blockchain
Relationships between correlation of information stored on nodes and coding efficiency for cooperative regenerating codes
Fast and Secure Scalar Multiplication on Elliptic Curve GLS254
A Security Enhanced Data Transmission Scheme Using Sequences Generated by Non-Systematic Reed-Solomon Coding
Recursive Construction of k-Ary Uniquely Decodable Codes for Multiple-Access Adder Channel
Performance of Nonbinary Cubic Codes
Mean square error reduction by precoding of mixed Gaussian input
On the Power of Vector Linear Network Coding
Unified system of encoding and decoding erasures and errors for algebraic geometry codes
Structured Concatenation of Protograph LDPC Codes and Markers for Insertion/Deletion Channels
A scheme of digital watermarking for 3-D models using correlation method in polar coordinate system
On the Sphere Packing Error Exponent for Constant Subblock-Composition Codes
Card-based Cryptographic Protocols for Private Set Intersection
Alphabet-dependent upper bounds for locally repairable codes with joint locality
How to Certify Deletion with Constant-Length Verification Key
Cooperative MMSE OFDM receiver for half-duplex and multiple-relays system
Efficient space-time block codes for cooperative MIMO communications
A CDH-based ordered multisignature scheme in the standard model with better efficiency
Bayes Optimal Estimation and Its Approximation Algorithm for Difference with and without Treatment under URLC Model
On the stationary distribution of asymmetric numeral systems
An extended similarity distance for use with computable information estimators
A Class of Data Compression Where The Codeword Is a Computer Program Generating The Data
Pairing-based cryptography for homomorphic cryptography
Fundamental limits are achievable with countable alphabet
Algebraic List Decoding of Elliptic Codes Through Module Basis Reduction
A Capacity-achieving One-way Key Agreement with Improved Finite Blocklength Analysis
Relations between universal FV and FF source codes
Autoregressive Image Generative Models with Normal and t-distributed Noise and the Bayes Codes for Them
Time-Varying Variable-Length Error-Correcting Codes
On the Secrecy Capacity of 2-user Gaussian Interference Channel with Independent Secret Keys
A novel positioning estimation method with the correlation between sensors' data
Floating codes with good average performance
Proceedings of the International Symposium on Information Theory and its Applications, ISITA 2012, Honolulu, HI, USA, October 28-31, 2012
ARQ Schemes for Broadcast Channel with Random Feedback Delay
Direct biometric verification schemes with Gaussian data
Pure States in Quantum Deletion Error-Correction
An iterative decoding algorithm for rate-compatible punctured low-density parity-check codes of high coding rates
On the rate distortion region of Gaussian multiterminal source coding
On generalized constant-weight codes over GF(q) from a cyclic difference set and their properties
Combination network coding: Alphabet size and zigzag decoding
Sparse Multiple Access and Code Design with Near Channel Capacity Performance
Large system analysis of power minimization in multiuser MISO downlink with transmit-side channel correlation
Low-complexity quantization of discrete memoryless channels
Decoding for non-binary signature code
Estimation of Rényi entropy of order α based on the nearest neighbor distance
Private Information Delivery from Coded Storage against Byzantine and Eavesdropping Attacks
Study on a scheme for the right to be forgotten
Spatially "Mt. Fuji" coupled LDPC codes
Golay Complementary Sequences of All Sequence Lengths
DynAlloy as a Formal Method for the Analysis of Java Programs
Hybrid modeling and verification of Java based software
Enhancing Use Cases with Screen Designs
A CCS semantics for NIL
Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar
Formal Proof Systems for Program Equivalence
Correctness Proof of Programming Language Translations
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator
The use of action semantics
A Theory of Synchrony and Asynchrony
Denotational and operational semantics for PROLOG
Failures without chaos: a new process semantics for fair abstraction
Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986
Introduction to Program Verification
Timed Observations: A Semantic Model for Real-Time Concurrency
Developing Applications with Aspect-Oriented Change Realization
Refinement Concepts Formalized in Higher Order Logic
Verification of UML State Diagrams Using Concurrent State Machines
On the Problem of Achieving Adequacy of Concurrent Programs
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling
Reductive conditional term rewriting systems
HTCPNs-Based Tool for Web-Server Clusters Development
SMA - The Smyle Modeling Approach
Sematics-Driven Decompositions for the Verification of Distributed Programs
Meeting Organisational Needs and Quality Assurance through Balancing Agile and Formal Usability Testing Results
An Approach to Software Quality Specification and Evaluation (SPoQE)
Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments
Higher Type Recursion and Self-Application as Control Structures
Multidimensional Legacy Aspects of Modernizing Web Based Systems
The Semantics of Role-Based Trust Management Languages
Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation
In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings
Nondeterminism and the Correctness of Parallel Programs
Observational equivalences for concurrency models
Axiomatization of Declarations and the Formal Treatment of an Escape Construct
A Framework for QoS Contract Negotiation in Component-Based Applications
Automating Squiggol
Properties of Conceptual and External Database Schemas
On the Power of Applicative Languages
Minik: A Tool for Maintaining Proper Java Code Structure
Advanced mutation operators applicable in C# programs
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge
Crossing the Borderline - From Formal to Semi-Formal Specifications
Conditional axioms and α/β-calculus in process algebra
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware
An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy
PROLOG - II as an instance of the logic programming language scheme
Relational Semantics of Concurrent Programs (With Some Applications)
A Tool for Supporting Feature-Driven Development
Algorithms for Theorems
Integrated Approach to Modelling and Analysis using RTCP-nets
Mining Design Patterns from Existing Projects Using Static and Run-Time Analysis
A proof rule for process-creation
Equational Data Type Specifications and Recursive Program Schemes
Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989
Minimizing Test Execution Time During Test Generation
Exploratory Comparison of Expert and Novice Pair Programmers
Axiomatic definability of programming language semantics
Mobile Ambients in Aspect-Oriented Software Architectures
Formalization of Distributed, Concurrent, Reactive Systems
Session Discussion
State of the Practice in Software Effort Estimation: A Survey and Literature Review
Managing Data from Heterogeneous Data Sources Using Knowledge Layer
Global Control for Communicating Processes
Automated Generation of Implementation from Textual System Requirements
A Framework for Defect Prediction in Specific Software Project Contexts
Computation and Deductive Information Retrieval
From Hubs Via Holons to an Adaptive Meta-Architecture - the "AD-HOC" Approach
PX: a system extracting programs from proofs
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers
Abstract Semantic Algebras
Describing and Verifying Programs with Abstract Data Types
On Metamodel-Based Design of Software Metrics
Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982
Manifoldness of Variability Modeling - Considering the Potential for Further Integration
A model of data backup and recovery in a computer system for functional programming
A Practical Introduction to Denotational Semantics
Assessing the Quality of Quality Gate Reference Processes
UML Static Models in Formal Approach
Well-Formed Flow Charts for Concurrent Programming
Empirical Analysis of a Distributed Software Development Project
Code Generation for a Bi-dimensional Composition Mechanism
Deriving Denotational Models for Bisimulation from Structured Operational Semantics
Recursive Programs as Predicate Transformers
Linear Types can Change the World!
Transformational Design of Business Processes for SOA
A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles
Models of Hierarchical Machine Support
Scalable Store of Java Objects Using Range Partitioning
Information Systems Development Based on Visual Domain Specific Language BiLingva
On the Evolution of Component-Based Software
Recursive Decomposition Ordering
Query Processing Using Negative and Temporal Tuples in Stream Query Engines
Fairness Assumptions for CSP in a Temporal Logic Framework
An Operational Semantics for CSP
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning
Advanced Data Organization for Java-Powered Mobile Devices
Translating a Subset of Ada into CCS
A C++ Refactoring Browser and Method Extraction
A Proof Rule for Euclid Procedures
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus
Fixed PointTheory for Communication and Concurrency
Interleaving and partial orders in concurrency: a formal comparison
Testing of Heuristic Methods: A Case Study of Greedy Algorithm
Modeling of Requirements Tracing
j2eeprof - a tool for testing multitier applications
Polymorphic types, fixed-point combinators and continuous lambda-models
Refactoring the Documentation of Software Product Lines
Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing
Software Product Line Adoption - Guidelines from a Case Study
Integration of Application Business Logic and Business Rules with DSL and AOP
Static and Computational Semantics of a Definitional Language
The architecture of distributed systems driven by autonomic patterns
Control operators, the SECD-machine, and the λ-calculus
Reasoning About Interpretations in Qualitative λ-Models
Scenario-based Component Behavior Filtration
Platform-Independent Programming of Data-Intensive Applications Using UML
On the Algebraic Specification of Finitary Infinite
Agile Software Development at Scale
Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications
Static Determination of Dynamic Properties of Recursive Procedures
Inductive and Operational Semantics
Support for Cooperative Design of End-User Tailorable Software
Extending Software Architecting Processes with Decision-Making Activities
Automatic software validation process
Towards Use-Cases Benchmark
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications
Some Relationships Between Asynchronous Interpreters of a Dataflow Language
Information Loss in the Programming Logic TK
An evolutionary approach to project management process improvement for software-intensive projects
Extending GQM by Argument Structures
On Backtracking and Greatest Fixpoints
Mechanizing Unity
Issues in the Formal Specifications of Programming Languages
Formalisms in Software Engineering: Myths Versus Empirical Facts
Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
ATP: an Algebra for Timed Processes
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications
Type-free compiling of parametric types
Towards Mathematical Structured Programming
Towards Decision Centric Repository of Architectural Knowledge
Transforming Predicate Transformers
Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?
Actors and Continuous Functionals
Abstract Relational Specifications
The Refinement Theorem for ST-bisimulation Semantics
Functorial Hierarchies of Functional Languages
Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Estimation of mean response time of multi-agent systems
From Verifying Termination to Guaranteeing it: A Case Study
Denotational Models for Parallel Programs with Indeterminate Operators
Towards UML-Intensive Framework for Model-Driven Development
Measuring the Human Factor with the Rasch Model
Using LP to Debug Specifications
Labeled Event Structures: A Model for Observable Concurrency
A Uniform Logical Basis for the Description, Specification and Verification of Programs
Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management
Algebraic Reasoning for Probabilistic Concurrent Systems
Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming
Abstract Types and the Dot Notation