| Publication | Date of Publication | Type |
|---|
| Fast Parallel Randomized QR with Column Pivoting Algorithms for Reliable Low-rank Matrix Approximations | 2018-04-13 | Paper |
| Spectrum-Revealing Cholesky Factorization for Kernel Methods | 2018-04-13 | Paper |
| Maxterm Covering for Satisfiability | 2017-07-12 | Paper |
| PARAMETRIC VIBRATION OF STAY CABLES UNDER AXIAL NARROW-BAND STOCHASTIC EXCITATION | 2017-04-07 | Paper |
| An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation | 2016-02-18 | Paper |
| Gaussian Elimination with Randomized Complete Pivoting | 2015-11-26 | Paper |
| Array theory of bounded elements and its applications | 2015-06-23 | Paper |
| Estimating the volume of solution space for satisfiability modulo linear real arithmetic | 2015-05-29 | Paper |
| A big data approach to analyzing market volatility | 2014-06-13 | Paper |
| Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems | 2013-11-26 | Paper |
| AN APPROXIMATION METHOD FOR COMPUTING THE DYNAMIC RESPONSES AND EQUIVALENT STATIC WIND LOADS OF LARGE-SPAN ROOF STRUCTURES | 2013-09-05 | Paper |
| Across-wind loads and effects of super-tall buildings and structures | 2012-06-07 | Paper |
| A novel fault diagnosis mechanism for wireless sensor networks | 2011-11-11 | Paper |
| Competent predicate abstraction in model checking | 2011-06-17 | Paper |
| Symbolic Model Checking the Knowledge in Herbivore Protocol | 2011-05-27 | Paper |
| Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing | 2011-05-19 | Paper |
| Equality detection for linear arithmetic constraints | 2011-02-02 | Paper |
| Temperature dependence of thermal resistance of a bare joint | 2010-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3640459 | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3640473 | 2009-11-11 | Paper |
| Modeling job shop scheduling with batches and setup times by timed Petri nets | 2009-07-20 | Paper |
| Probability model and solution on earthquake effects combination in along wind resistant design of tall-flexible buildings | 2008-09-17 | Paper |
| A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement | 2008-09-04 | Paper |
| Global minimization of rational functions and the nearest GCDs | 2008-04-09 | Paper |
| A combinatorial congestion estimation approach with generalized detours | 2008-03-11 | Paper |
| Applied Cryptography and Network Security | 2008-02-19 | Paper |
| Congestion estimation for hexagonal routing | 2007-02-15 | Paper |
| Dissections of \(p\colon q\) rectangles into 13 \(p\colon q\) rectangular elements | 2006-06-30 | Paper |
| Multiterminal net assignments by scatter search | 2006-02-06 | Paper |
| Information Security and Privacy | 2005-09-07 | Paper |
| A stochastic model for cellassignments in PCS networks | 2005-06-23 | Paper |
| A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition | 2005-04-05 | Paper |
| On synthesis of 3 × 3 reversible logic functions | 2005-03-07 | Paper |
| A comparative study on search strategies for cell assignments | 2005-01-14 | Paper |
| Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamics | 2005-01-04 | Paper |
| Numerical computation of the flow around two square cylinders arranged side-by-side | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3128933 | 1997-04-23 | Paper |
