yusuke1997/dblp-id-title huggingface dataset:
Revisiting BBS Signatures
Resource-Restricted Indifferentiability
A Provable-Security Treatment of the Key-Wrap Problem
Smart Cards and Conditional Access
Anonymous IBE, Leakage Resilience and Circular Security from New Assumptions
Abuse Resistant Law Enforcement Access Systems
Fair Encryption of RSA Keys
A Chosen Messages Attack on the ISO/IEC 9796-1 Signature Scheme
Perfectly Secure Message Transmission Revisited
Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings
Binding ElGamal: A Fraud-Detectable Alternative to Key-Escrow Proposals
Multi-party Computation of Polynomials and Branching Programs without Simultaneous Interaction
Could the Smart Card Be Dumb
Floating-Point LLL Revisited
New Techniques for Preimage Sampling: Improved NIZKs and More from LWE
Does Encryption with Redundancy Provide Authenticity?
Unifying Leakage Models: From Probing Attacks to Noisy Leakage
Advances in Cryptology - EUROCRYPT '89, Workshop on the Theory and Application of of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989, Proceedings
SPRINT: High-Throughput Robust Distributed Schnorr Signatures
Computational Integrity with a Public Random String from Quasi-Linear PCPs
Lattice Enumeration Using Extreme Pruning
Trapdoor Memory-Hard Functions
Enumerating Nondegenerate Permutations
Improving NFS for the Discrete Logarithm Problem in Non-prime Finite Fields
Modeling for Three-Subset Division Property Without Unknown Subset - Improved Cube Attacks Against Trivium and Grain-128AEAD
Advances in Cryptology - EUROCRYPT '90, Workshop on the Theory and Application of of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990, Proceedings
Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol
Exploiting Non-full Key Additions: Full-Fledged Automatic Demirci-Selçuk Meet-in-the-Middle Cryptanalysis of SKINNY
Generic Attack on Duplex-Based AEAD Modes Using Random Function Statistics
Hashing Garbled Circuits for Free
The NPL Intelligent Token and its Application
The Maximum Order Complexity of Sequence Ensembles
Non Supersingular Elliptic Curves for Public Key Cryptosystems
One-Hot Conversion: Towards Faster Table-Based A2B Conversion
Generic-Group Delay Functions Require Hidden-Order Groups
A New Identification Scheme Based on the Perceptrons Problem
Round-Optimal Blind Signatures in the Plain Model from Classical and Quantum Standard Assumptions
VICTOR an Efficient RSA Hardware Implementation
Blaze: Fast SNARKs from Interleaved RAA Codes
Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III
Equivalence of Counting the Number of Points on Elliptic Curve over the Ring Z n and Factoring n
Blind Synchronization of m-Sequnces with Even Span
Public Key Encryption and Signature Schemes Based on Polynomials over Zn
Heuristic Design of Cryptographically Strong Balanced Boolean Functions
How to Break a "Secure" Oblivious Transfer Protocol
Towards Fast Correlation Attacks on Irregularly Clocked Shift Registers
Robust Threshold DSS Signatures
Deciphering Bronze Age Scripts of Crete - The Case of Linear A
Linear Recurring m-Arrays
Simple Schemes in the Bounded Storage Model
Cryptanalysis on HMAC/NMAC-MD5 and MD5-MAC
Threshold and Revocation Cryptosystems via Extractable Hash Proofs
Smashing SQUASH-0
Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
Effective and Efficient Masking with Low Noise Using Small-Mersenne-Prime Ciphers
Evolving Ramp Secret Sharing with a Small Gap
Advanced Lattice Sieving on GPUs, with Tensor Cores
Witness-Succinct Universally-Composable SNARKs
New Hash Functions For Message Authentication
Improved Cryptanalysis of RC5
Designated-Verifier Pseudorandom Generators, and Their Applications
Unconditional Sender and Recipient Untraceability in Spite of Active Attacks
Improved Cryptanalysis of ChaCha: Beating PNBs with Bit Puncturing
Detection of Disrupters in the DC Protocol
Improved Bootstrapping for Approximate Homomorphic Encryption
Homomorphic Secret Sharing from Lattices Without FHE
Self-Certified Public Keys
High-Performance Interface Architectures for Cryptographic Hardware
Revisiting AES-GCM-SIV: Multi-user Security, Faster Key Derivation, and Better Bounds
Linear Cryptanalysis Method for DES Cipher
The Sum of PRPs Is a Secure PRF
Efficient FHEW Bootstrapping with Small Evaluation Keys, and Applications to Threshold Homomorphic Encryption
Oblivous Transfer Protecting Secrecy
Adaptively Attribute-Hiding (Hierarchical) Inner Product Encryption
On the Ideal Shortest Vector Problem over Random Rational Primes
Finding Many Collisions via Reusable Quantum Walks - Application to Lattice Sieving
How Intractable Is the Discrete Logarithm for a General Finite Group?
Differential Cryptanalysis Mod 2^32 with Applications to MD5
Efficient Detection of High Probability Statistical Properties of Cryptosystems via Surrogate Differentiation
Session Resumption Protocols and Efficient Forward Security for TLS 1.3 0-RTT
Finding Secure Curves with the Satoh-FGH Algorithm and an Early-Abort Strategy
Weakness of a Public-Key Cryptosystem Based on Factorizations of Finite Groups
On the Security of Schnorr's Pseudo Random Generator
Compact Adaptively Secure ABE from k-Lin: Beyond NC 1 and Towards NL
Indifferentiability of Confusion-Diffusion Networks
Cryptanalysis of an Identification Scheme Based on the Permuted Perceptron Problem
Symbolic Encryption with Pseudorandom Keys
How to Improve an Exponentiation Black-Box
Speak Much, Remember Little: Cryptography in the Bounded Storage Model, Revisited
Leap: A Fast, Lattice-Based OPRF with Application to Private Set Intersection
The Supersingular Endomorphism Ring and One Endomorphism Problems are Equivalent
Faster ABE for Turing Machines from Circular Evasive LWE
Optimum Secret Sharing Scheme Secure against Cheating
Lossy Codes and a New Variant of the Learning-With-Errors Problem
Transparent SNARKs from DARK Compilers
Linear Complexity Profiles and Continued Fractions
Counting the Number of Points on Elliptic Curves over Finite Fields: Strategies and Performance
M&M'S: Mix and Match Attacks on Schnorr-Type Blind Signatures with Repetition
Towards a Better Understanding of One-Wayness: Facing Linear Permutations
How to Share a Secret?
Batch Bootstrapping II: - Bootstrapping in Polynomial Modulus only Requires Õ(1) FHE Multiplications in Amortization
A Note on Perfect Correctness by Derandomization
Cube Attacks and Cube-Attack-Like Cryptanalysis on the Round-Reduced Keccak Sponge Function
Plinko: Single-Server PIR with Efficient Updates via Invertible PRFs
Short Discrete Proofs
Finding Small Roots of Bivariate Integer Polynomial Equations Revisited
OPAQUE: An Asymmetric PAKE Protocol Secure Against Pre-computation Attacks
Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings
Factorization of Large Integers on a Massively Parallel Computer
Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields
Standard Security Does Not Imply Security against Selective-Opening
Information-Theoretic Bounds for Authentication Frauds
A New Framework for Quantum Oblivious Transfer
Efficient Multiparty Computations Secure Against an Adaptive Adversary
Honey Encryption Beyond Message Recovery Security
Stronger Security Proofs for RSA and Rabin Bits
Fast RSA-Hardware: Dream or Reality?
Secure and Efficient Metering
Propagation Characteristics and Correlation-Immunity of Highly Nonlinear Boolean Functions
Concurrent Signatures
The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free
How Secure Are Elliptic Curves over Composite Extension Fields?
A Protocol to Set Up Shared Secret Schemes Without the Assistance of a Mutualy Trusted Party
A Cryptosystem Based on Non-maximal Imaginary Quadratic Orders with Fast Decryption
A Provably Secure Oblivious Transfer Protocol
Three Third Generation Attacks on the Format Preserving Encryption Scheme FF3
10-Round Feistel is Indifferentiable from an Ideal Cipher
Immunizing Encryption Schemes from Decryption Errors
The MD4 Message Digest Algorithm (Abstract)
An Improved Protocol for Demonstrating Possession of Discrete Logarithms and Some Generalizations
Structural Evaluation by Generalized Integral Property
Unbounded Dynamic Predicate Compositions in Attribute-Based Encryption
Integral Matrix Gram Root and Lattice Gaussian Sampling Without Floats
Toward a Rigorous Variation of Coppersmith's Algorithm on Three Variables
Random Sampling Revisited: Lattice Enumeration with Discrete Pruning
Single Term Off-Line Coins
On Perfect and Adaptive Security in Exposure-Resilient Cryptography
Exponentiating Faster with Addition Chains
Decentralized Anonymous Micropayments
Large Scale, Actively Secure Computation from LPN and Free-XOR Garbled Circuits
Non-Interactive Circuit Based Proofs and Non-Interactive Perfect Zero-knowledge with Proprocessing
Elementary Proof of Rueppel's Linear Complexity Conjecture
More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries
Double-Base Chains for Scalar Multiplications on Elliptic Curves
Fair Secure Two-Party Computation
Rubato: Noisy Ciphers for Approximate Homomorphic Encryption
Secure Computation of the k th-Ranked Element
On the Soundness of Algebraic Attacks Against Code-Based Assumptions
High-Precision Bootstrapping for Approximate Homomorphic Encryption by Error Variance Minimization
Constructing Verifiable Random Functions with Large Input Spaces
Combinatorial Bounds for Broadcast Encryption
Homomorphic SIM ^2 D Operations: Single Instruction Much More Data
Correlation via Linear Sequential Circuit Approximation of Combiners with memory
The Size of a Share Must Be Large
Tightly-Secure Authenticated Key Exchange, Revisited
On Ideal Lattices and Learning with Errors over Rings
Lucky Microseconds: A Timing Attack on Amazon's s2n Implementation of TLS
Unbiasable Verifiable Random Functions
Optimal Security Proofs for PSS and Other Signature Schemes
Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption
Glacius: Threshold Schnorr Signatures from DDH with Full Adaptive Security
An Algebraic Approach to Maliciously Secure Private Set Intersection
On the Exact Round Complexity of Self-composable Two-Party Computation
Multi-Key Homomorphic Secret Sharing
Fast Elliptic Curve Algorithm Combining Frobenius Map and Table Reference to Adapt to Higher Characteristic
Toward Malicious Constant-Rate 2PC via Arithmetic Garbling
Concurrently Composable Security with Shielded Super-Polynomial Simulators
Synchronized Aggregate Signatures from the RSA Assumption
KDM-CCA Security from RKA Secure Authenticated Encryption
Non-wafer-Scale Sieving Hardware for the NFS: Another Attempt to Cope with 1024-Bit
On the Linear Complexity of Products of Shift-Register Sequences
Partial Key Exposure Attacks on RSA up to Full Size Exponents
Composition Implies Adaptive Security in Minicrypt
Trapdoors in Knapsack Cryptosystems
Improved Cryptanalysis of SNOVA
The Function Field Sieve in the Medium Prime Case
Mathematics and Cryptography: A Marriage of Convenience? - Invited Talk
Efficient Circuit-Based PSI via Cuckoo Hashing
Fast RSA-type Schemes Based on Singular Cubic Curves y 2 +axy=m³(mod n)
Non-interactive Proofs for Integer Multiplication
Adaptively Secure Identity-Based Encryption from Lattices with Asymptotically Shorter Public Parameters
Modifying an Enciphering Scheme After Deployment
Parallel Divertibility of Proofs of Knowledge (Extended Abstract)
Cryptography without (Hardly Any) Secrets ?
Finding Good Random Elliptic Curves for Cryptosystems Defined over F 2 n
Ciphers for MPC and FHE
Efficient Multiparty Private Simultaneous Messages for Symmetric Functions
Updatable Encryption with Post-Compromise Security
How to Construct Pseudorandom Permutations from Single Pseudorandom Functions
Group to Group Commitments Do Not Shrink
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability
A European Call For Cryptographic Algorithms: Ripe; Race Integrity Primitives Evaluation
Advances in Cryptology - EUROCRYPT 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
Cryptanalysis of SFLASH with Slightly Modified Parameters
Tag-KEM/DEM: A New Framework for Hybrid Encryption and A New Analysis of Kurosawa-Desmedt KEM
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
Do Not Disturb a Sleeping Falcon - Floating-Point Error Sensitivity of the Falcon Sampler and Its Consequences
Efficient Identification and Signatures for Smart Cards (Abstract)
Signatures with Memory-Tight Security in the Quantum Random Oracle Model
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II
Round-Optimal Black-Box Protocol Compilers
A Note On Sequences Generated by Clock Controlled Shift Registers
Enhanced Trapdoor Hashing from DDH and DCR
A Noisy Clock-Controlled Shift Register Cryptanalysis Concept Based on Sequence Comparion Approach
Optimal Single-Server Private Information Retrieval
Practical Threshold RSA Signatures without a Trusted Dealer
Compact, Efficient and UC-Secure Isogeny-Based Oblivious Transfer
Tactical Configurations and Threshold Schemes
Cryptanalysis of F.E.A.L
A Secret Key Cryptosystem by Iterating a Chaotic Map
The Automated Cryptanalysis of Analog Speech Scramblers
Group Signatures with Efficient Concurrent Join
Provably Robust Sponge-Based PRNGs and KDFs
Advances in Cryptology - EUROCRYPT '94, Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994, Proceedings
Garbled RAM Revisited
Lower-Bounds on Public-Key Operations in PIR
Sublinear-Communication Secure Multiparty Computation Does Not Require FHE
On the Indifferentiability of the Sponge Construction
Distributional Collision Resistance Beyond One-Way Functions
Just How Hard Are Rotations of $\mathbb {Z}^n$? Algorithms and Cryptography with the Simplest Lattice
Blackbox Secret Sharing Revisited: A Coding-Theoretic Approach with Application to Expansionless Near-Threshold Schemes
Batch Verification of Short Signatures
Efficient Concurrent Zero-Knowledge in the Auxiliary String Model
A Construction for Super Pseudorandom Permutations from A Single Pseudorandom Function
Symplectic Lattice Reduction and NTRU
Information-Combining Differential Fault Attacks on DEFAULT
Boolean Functions Satisfying a Higher Order Strict Avalanche Criterion
Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging
On the Security of Joint Signature and Encryption
Function Secret Sharing
Practical, Predictable Lattice Basis Reduction
Weakness of Undeniable Signature Schemes (Extended Abstract)
Traitor Tracing with Constant Transmission Rate
Detection of Algebraic Manipulation with Applications to Robust Secret Sharing and Fuzzy Extractors
Revocable Quantum Timed-Release Encryption
Polynomial-Time Cryptanalysis of the Subspace Flooding Assumption for Post-quantum i풪
Circular Chosen-Ciphertext Security with Compact Ciphertexts
In Memoriam Tore Herlestam (1929 - 1986)
Partial Fairness in Secure Two-Party Computation
Efficient Multi-party Computation over Rings
Advances in Spatial Data Handling and GIS - 14th International Symposium on Spatial Data Handling, Hong Kong, China, 26-28 May 2010
Combining Heterogeneous Spatial Data From Distributed Sources
Perceptual Sketch Interpretation
Clustering Algorithm for Network Constraint Trajectories
Developments in Spatial Data Handling, 11th International Symposium on Spatial Data Handling, Leicester, UK, August 23-25, 2004
Determining Optimal Critical Junctions for Real- time Traffic Monitoring for Transport GIS
Sandbox Geography - To learn from children the form of spatial concepts
Characterization and Detection of Building Patterns in Cartographic Data: Two Algorithms
Double Vagueness: Effect of Scale on the Modelling of Fuzzy Spatial Objects
Digital Image Processing for Spatial Object Recognition via Integration of Nonlinear Wavelet-Based Denoising and Clustering-Based Segmentation
An Algorithm for Icon Labelling on a Real-Time Map
A New Approach for Mountain Areas Cartography
Spatial Support and Spatial Confidence for Spatial Association Rules
Street Centreline Generation with an Approximated Area Voronoi Diagram
The Po-tree: a Real-time Spatiotemporal Data Indexing Structure
Integrating structured descriptions of processes in geographical metadata
Semantically Correct 2.5D GIS Data - the Integration of a DTM and Topographic Vector Data
Empirical Study on Location Indeterminacy of Localities
Using Spatially Adaptive Filters to Map Late Stage Colorectal Cancer Incidence in Iowa
Integrating computational and visual analysis for the exploration of health statistics
Improving the Reusability of Spatiotemporal Simulation Models: Using MDE to Implement Cellular Automata
Implementation of Building Reconstruction Algorithm Using Real World LIDAR Data
Interactive Geovisualization and Geometric Modelling of 3D Data - A Case Study from the Åknes Rockslide Site, Norway
Formalization and Data Enrichment for Automated Evaluation of Building Pattern Preservation
Progressive Transmission of Vector Data Based on Changes Accumulation Model
Towards a Classification of Route Selection Criteria for Route Planning Tools
The Shape Cognition and Query Supported by Fourier Transform
Where is the Terraced House? On the Use of Ontologies for Recognition of Urban Concepts in Cartographic Databases
Vague Topological Predicates for Crisp Regions through Metric Refinements
Impact of a Change of Support on the Assessment of Biodiversity with Shannon Entropy
Information Processes Produce Imperfections in Data-The Information Infrastructure Compensates for Them
A Decision Support Framework for the Risk Assessment of Coastal Erosion in the Yangtze Delta
The Application of the Concept of Indicative Neighbourhood on Landsat ETM + Images and Orthophotos Using Circular and Annulus Kernels
A Primer of Picture-Aided Navigation in Mobile Systems
Modeling Topological Properties of a Raster Region for Spatial Optimization
A Flexible Competitive Neural Network for Eliciting User's Preferences in Web Urban Spaces
Toward Comparing Maps as Spatial Processes
A Framework for Conceptual Modeling of Geographic Data Quality
An Image Analysis and Photogrammetric Engineering Integrated Shadow Detection Model
Data Matching - a Matter of Belief
Fuzzy Modeling of Sparse Data
Evaluation of Automatically Extracted Landmarks for Future Driver Assistance Systems
An Approach to Discovering Spatial-Temporal Patterns in Geographical Processes
Moving from Pixels to Parcels: the Use of Possibility Theory to Explore the Uncertainty Associated object Oriented Remote Sensing
Sensitivity of the C-band SRTM DEM Vertical Accuracy to Terrain Characteristics and Spatial Resolution
Spatial Simulation of Agricultural Practices using a Robust Extension of Randomized Classification Tree Algorithms
Representing, Manipulating and Reasoning with Geographic Semantics within a Knowledge Framework
CCSSM: A Toolkit for Information Extraction from Remotely Sensed Imagery
Combining Three Multi-agent Based Generalisation Models: AGENT, CartACom and GAEL
Support Vector Machines for Spatiotemporal Analysis in Geosensor Networks
An Interoperable Web Service Architecture to Provide Base Maps Empowered by Automated Generalisation
Spatial Rules Generate Urban Patterns: Emergence of the Small-World Network
Distributed Ranking Methods for Geographic Information Retrieval
Temporally Adaptive A* Algorithm on Time-Dependent Transportation Network
A Discrete Model for Topological Relationships between Uncertain Spatial Objects
Implicit Spatial Information Extraction from Remote Sensing Images
Continuous Generalization for Visualization on Small Mobile Devices
Consistency Assessment Between Multiple Representations of Geographical Databases: a Specification-Based Approach
FieldGML: An Alternative Representation For Fields
The IGN-E Case: Integrating Through a Hidden Ontology
Registration of Remote Sensing Image with Measurement Errors and Error Propagation
Exploratory Spatial Data Analysis of Regional Economic Disparities in Beijing During 2001-2007
Marine GIS: Progress in 3D Visualization for Dynamic GIS
Toward a Method to Generally Describe Physical Spatial Processes
Automatic Generation and Application of Landmarks in Navigation Data Sets
Estimating Ice Thickness in South Georgia from SRTM Elevation Data
Road Network Model for Vehicle Navigation using Traffic Direction Approach
Comparing and Combining Different Expert Relations of How Land Cover Ontologies Relate
Explore Multivariable Spatio-Temporal Data with the Time Wave: Case Study on Meteorological Data
An Optimised Cellular Automata Model Based on Adaptive Genetic Algorithm for Urban Growth Simulation
Handling Spatial Data Uncertainty Using a Fuzzy Geostatistical Approach for Modelling Methane Emissions at the Island of Java
About Invalid, Valid and Clean Polygons
Evaluation of Online Itinerary Planner and Investigation of Possible Enhancement Features
Slope Accuracy and Path Planning on Compressed Terrain
Headway in Spatial Data Handling, 13th International Symposium on Spatial Data Handling, Montpellier, France, 23-25 July 2008
Evaluating Methods for Interpolating Continuous Surfaces from Irregular Data: a Case Study
Flooding Triangulated Terrain
Clusters in Aggregated Health Data
Security for GIS N-tier Architecture
A Visualization Environment for the Space-Time-Cube
Area, Perimeter and Shape of Fuzzy Geographical Entities
Contour Smoothing Based on Weighted Smoothing Splines
Shape-Aware Line Generalisation With Weighted Effective Area
Representing Topological Relationships between Complex Regions by F-Histograms
Processing 3D Geo-Information for Augmenting Georeferenced and Oriented Photographs with Text Labels
Generalization of integrated terrain elevation and 2D object models
A Study on how Humans Describe Relative Positions of Image Objects
Deriving Topological Relationships Between Simple Regions with Holes
Why and How Evaluating Generalised Data ?
A Data Model for Multi-scale Topographical Data
Finding REMO - Detecting Relative Motion Patterns in Geospatial Lifelines
Graph Based Recognition of Grid Pattern in Street Networks
Conceptual Neighborhoods of Topological Relations Between Lines
All Roads Lead to Rome - Geospatial Modeling of Hungarian Street Names with Destination Reference
Collaborative Decision Support for Spatial Planning and Asset Management: IIUM Total Spatial Information System
Classification of Landslide Susceptibility in the Development of Early Warning Systems
Introducing a Reasoning System Based on Ternary Projective Relations
Deriving Space-Time Variograms from Space-Time Autoregressive (STAR) Model Specifications
Road Network Generalization Based on Connection Analysis
Spatial Hoarding: A Hoarding Strategy for Location-Dependent Systems
Sampling Survey of Heavy Metal in Soil Using SSSI
3D Geographic Visualization: The Marine GIS
Understanding Taxonomies of Ecosystems: a Case Study
Normalizing Spatial Information to Improve Geographical Information Indexing and Retrieval in Digital Libraries
An Efficient Natural Neighbour Interpolation Algorithm for Geoscientific Modelling
Local Knowledge Doesn't Grow on Trees: Community-Integrated Geographic Information Systems and Rural Community Self-Definition
A Requirement-Based Approach to Test Product Families
Architectural Evolution of Legacy Product Families
Different Aspects of Product Family Adoption
Multi-view Variation Modeling for Scenario Analysis
ProjectLeader: A Constraint-Based Process Support for the Distributed Design of Component-Based Products
A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families
A Meta-model for Representing Variability in Product Family Development