| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Christopher E. Kees, Cass T. Miller |
C++ implementations of numerical methods for solving differential-algebraic equations: design and optimization considerations.  |
ACM Trans. Math. Softw.  |
1999 |
DBLP DOI BibTeX RDF |
C++, FORTRAN 77, differential-algebraic equations |
| 3 | R. Hauber |
Numerical treatment of retarded differential-algebraic equations by collocation methods.  |
Adv. Comput. Math.  |
1997 |
DBLP DOI BibTeX RDF |
state-dependent lag, 34K05, collocation methods, delay differential equations, differential-algebraic equations, 65L05, 65Q05 |
| 2 | Satoru Iwata, Mizuyo Takamatsu |
Index minimization of differential-algebraic equations in hybrid analysis for circuit simulation.  |
Math. Program.  |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 15A22, 34A09, 65L80, 68Q25 |
| 2 | Eckhard Pflügel |
A rational decomposition-lemma for systems of linear differential-algebraic equations.  |
ISSAC  |
2008 |
DBLP DOI BibTeX RDF |
linear daes, splitting lemma, computer algebra, local reduction |
| 2 | Mohammad Mahdi Hosseini |
Numerical Solution of Linear High-Index DAEs.  |
ICCSA  |
2004 |
DBLP DOI BibTeX RDF |
Index reduction techniques, Domain decomposition, Differential-algebraic equations, pseudospectral method |
| 2 | Michael V. Bulatov |
Numerical Solution of Differential-Algebraic Equations by Block Methods.  |
International Conference on Computational Science  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Jens Hoefkens, Martin Berz, Kyoko Makino |
Computing Validated Solutions of Implicit Differential Equations.  |
Adv. Comput. Math.  |
2003 |
DBLP DOI BibTeX RDF |
Taylor model, self-validated methods, differential algebraic equations, interval methods |
| 2 | Gennady Y. Kulikov, Alexandra A. Korneva |
On Efficient Application of Implicit Runge-Kutta Methods to Large-Scale Systems of Index 1 Differential-Algebraic Equations.  |
International Conference on Computational Science  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Yao-Lin Jiang, Richard M. M. Chen, Omar Wing |
A waveform relaxation approach to determining periodic responses of linear differential-algebraic equations.  |
ISCAS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Siu-Long Lei, Xiao-Qing Jin |
Strang-Type Preconditioners for Differential-Algebraic Equations.  |
NAA  |
2000 |
DBLP DOI BibTeX RDF |
GMRES method, Strang-type block-circulant preconditioner, clustered spectrum, BVMs AMS(MOS) Subject Classifications: 65F10, 65N22, convergence rate, ODEs, 65F15, 65L05, 15A18, DAEs |
| 1 | Daniel Liberzon, Stephan Trenn |
Switched nonlinear differential algebraic equations: Solution theory, Lyapunov functions, and stability.  |
Automatica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Karimi Vanani, A. Aminataei |
Numerical solution of differential algebraic equations using a multiquadric approximation scheme.  |
Mathematical and Computer Modelling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisi D'Alfonso, Gabriela Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó |
A geometric index reduction method for implicit systems of differential algebraic equations.  |
J. Symb. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjiong Tian, Quanhong Yu, Jiaoxun Kuang |
Asymptotic Stability of Linear Neutral Delay Differential-Algebraic Equations and Linear Multistep Methods.  |
SIAM J. Numerical Analysis  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suat Gumussoy, Wim Michiels |
Fixed-Order H-Infinity Control for Interconnected Systems Using Delay Differential Algebraic Equations.  |
SIAM J. Control and Optimization  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi N. Methekar, Venkatasailanathan Ramadesigan, J. Carl Pirkle Jr., Venkat R. Subramanian |
A perturbation approach for consistent initialization of index-1 explicit differential-algebraic equations arising from battery model simulations.  |
Computers & Chemical Engineering  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhong-Zhi Bai, Xi Yang |
On convergence conditions of waveform relaxation methods for linear differential-algebraic equations.  |
J. Computational Applied Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wendi Bao, Yongzhong Song |
Two stage waveform relaxation method for the initial value problems of differential-algebraic equations.  |
J. Computational Applied Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vu Hoang Linh, Volker Mehrmann, Erik S. Van Vleck |
QR methods and error analysis for computing Lyapunov and Sacker-Sell spectral intervals for linear differential-algebraic equations.  |
Adv. Comput. Math.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Birol Ibis, Mustafa Bayram |
Numerical comparison of methods for solving fractional differential-algebraic equations (FDAEs).  |
Computers & Mathematics with Applications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li, Leping Sun, Quanhong Yu |
Stability of two-step Runge-Kutta methods for neutral delay differential-algebraic equations.  |
Int. J. Comput. Math.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy M. Zhuk |
Minimax state estimation for linear discrete-time differential-algebraic equations.  |
Automatica  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengjian Zhang, Hao Chen |
Asymptotic stability of block boundary value methods for delay differential-algebraic equations.  |
Mathematics and Computers in Simulation  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisi D'Alfonso, Gabriela Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó |
A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | M. Saravi, E. Babolian, R. England, M. Bromilow |
System of linear ordinary differential and differential-algebraic equations and pseudo-spectral method.  |
Computers & Mathematics with Applications  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaomei Qu, Chengming Huang, Chao Liu |
Convergence and stability of numerical solutions to a class of index 1 stochastic differential algebraic equations with time delay.  |
Applied Mathematics and Computation  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Soltanian, Mehdi Dehghan, S. M. Karbassi |
Solution of the differential algebraic equations via homotopy perturbation method and their engineering applications.  |
Int. J. Comput. Math.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao-Lin Jiang |
Convergence conditions on waveform relaxation of general differential-algebraic equations.  |
Int. J. Comput. Math.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneel Tanwani, Stephan Trenn |
On observability of switched differential-algebraic equations.  |
CDC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Trenn |
Regularity of distributional differential algebraic equations.  |
MCSS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rauh, Michael Brill, Clemens Günther |
A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP.  |
Applied Mathematics and Computer Science  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Swaroop Darbha, K. B. Nakshatrala, K. R. Rajagopal |
On the vibrations of lumped parameter systems governed by differential-algebraic equations  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Campbell, Vu Hoang Linh |
Stability criteria for differential-algebraic equations with multiple delays and their numerical solutions.  |
Applied Mathematics and Computation  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Liberzon, Stephan Trenn |
On stability of linear switched differential algebraic equations.  |
CDC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghuram Srinivasan, Harold W. Carter |
A taylor series methodology for analyzing the effects of process variation on circuit operation.  |
ACM Great Lakes Symposium on VLSI  |
2009 |
DBLP DOI BibTeX RDF |
circuit simulation |
| 1 | Peter Kunkel, Volker Mehrmann |
Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index.  |
MCSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Beardmore, K. Webster |
A Hopf bifurcation theorem for singular differential-algebraic equations.  |
Mathematics and Computers in Simulation  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Pulch |
Variational Methods for Solving Warped Multirate Partial Differential Algebraic Equations.  |
SIAM J. Scientific Computing  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nguyen Huu Du |
Stability radii of differential algebraic equations with structured perturbations.  |
Systems & Control Letters  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Campbell, Vu Hoang Linh, Linda Petzold |
Differential-algebraic equations.  |
Scholarpedia  |
2008 |
DBLP BibTeX RDF |
|
| 1 | R. Wang, Patrick Keast, P. H. Muir |
Algorithm 874: BACOLR - spatial and temporal error control software for PDEs based on high-order adaptive collocation.  |
ACM Trans. Math. Softw.  |
2008 |
DBLP DOI BibTeX RDF |
1-D PDEs, adaptive method-of-lines, spatial error control, Runge-Kutta methods, Numerical software, differential-algebraic equations |
| 1 | XiuTeng Ma, Li-Ping Chen, YunQing Zhang |
RATTLE Method for Dissipative Constrained Hamiltonian Systems.  |
ICIRA  |
2008 |
DBLP DOI BibTeX RDF |
Hamiltonian formulation, Dissipative constrained systems, Differential algebraic equations (DAEs), RATTLE method, Symplectic |
| 1 | Galina A. Kurina, Roswitha März |
Feedback solutions of optimal control problems with DAE constraints.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian M. Mitchell, Yoshihiko Susuki |
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics.  |
HSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang Duc Minh, Hans Georg Bock, Steffen Tischer, Olaf Deutschmann |
Fast Solution for Large-Scale 2-D Convection-Diffusion, Reacting Flows.  |
ICCSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Guglielmi, Ernst Hairer |
Computing breaking points in implicit delay differential equations.  |
Adv. Comput. Math.  |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) AMS(MOS): 65L20, CR: G1.9 |
| 1 | Jong-Shi Pang, David E. Stewart |
Differential variational inequalities.  |
Math. Program.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Gerdin, Thomas B. Schön, Torkel Glad, Fredrik Gustafsson, Lennart Ljung |
On parameter and state estimation for linear differential-algebraic equations.  |
Automatica  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Reis |
Consistent initialization and perturbation analysis for abstract differential-algebraic equations.  |
MCSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo L. Bottasso, Olivier A. Bauchau, Alberto Cardona |
Time-Step-Size-Independent Conditioning and Sensitivity to Perturbations in the Numerical Solution of Index Three Differential Algebraic Equations.  |
SIAM J. Scientific Computing  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Liu, Yongzhong Song |
Differential transform method applied to high index differential-algebraic equations.  |
Applied Mathematics and Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Gao, Yao-Lin Jiang |
An adaptive wavelet method for nonlinear differential-algebraic equations.  |
Applied Mathematics and Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bachmann, Peter Aronsson, Peter Fritzson |
Robust Initialization of Differential Algebraic Equations.  |
EOOLT  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frank Liu |
An efficient method for statistical circuit simulation.  |
ICCAD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Georg Brachtendorf, Angelika Bunse-Gerstner, Barbara Lang, Rainer Laur |
An inverse method of characteristics for analyzing circuits with widely separated time-scales.  |
ISCAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Changzhong Chen, Emad Gad, Natalie Nakhla, Ramachandra Achar |
Analysis of Frequency-Dependent Interconnects Using Integrated Congruence Transform.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda |
Foundations of a Compositional Interchange Format for Hybrid Systems.  |
HSCC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatyana Luzyanina, Dirk Roose |
Periodic Solutions of Differential Algebraic Equations with Time Delays: Computation and Stability Analysis.  |
I. J. Bifurcation and Chaos  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serban |
Sensitivity analysis of differential-algebraic equations and partial differential equations.  |
Computers & Chemical Engineering  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvana Ilie, Robert M. Corless, Greg Reid |
Numerical solutions of index-1 differential algebraic equations can be computed in polynomial time.  |
Numerical Algorithms  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Mahdi Hosseini |
Adomian decomposition method for solution of nonlinear differential algebraic equations.  |
Applied Mathematics and Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Liu, Yongzhong Song |
On a regularization of index 3 differential-algebraic equations.  |
Applied Mathematics and Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuran Guzel, Mustafa Bayram |
On the numerical solution of differential-algebraic equations with index-3.  |
Applied Mathematics and Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Basem S. Attili |
Continuation method for computing certain singular points for index-1 differential algebraic equations.  |
Applied Mathematics and Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent O. Jay |
Specialized Runge-Kutta methods for index 2 differential-algebraic equations.  |
Math. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ercan Çelik, Turgut Yeloglu |
Chebyshev series approximation for solving differential-algebraic equations (DAEs).  |
Int. J. Comput. Math.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Broman, Kaj Nyström, Peter Fritzson |
Determining over- and under-constrained systems of equations using structural constraint delta.  |
GPCE  |
2006 |
DBLP DOI BibTeX RDF |
equation-based, over-constrained, under-constrained, modeling, object-oriented, type checking, separate compilation |
| 1 | Mihai Iordache, Lucia Dumitriu, Florin Constantinescu, Miruna Nitescu |
A new steady-state analysis method for RF-IC circuits driven by multi-tone signals.  |
ISCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelios Rigopoulos |
Reduced Flame Kinetics Via Rate-Controlled Constrained Equilibrium.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kunkel, Volker Mehrmann, Ronald Stöver |
Multiple Shooting for Unstructured Nonlinear Differential-Algebraic Equations of Arbitrary Index.  |
SIAM J. Numerical Analysis  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao-Lin Jiang |
Steady-state Methods of Differential-algebraic Equations in Circuit Simulation.  |
Journal of Circuits, Systems, and Computers  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland England, Susana Gómez, René Lamour |
Expressing optimal control problems as differential algebraic equations.  |
Computers & Chemical Engineering  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. M. Hosseini |
Numerical solution of linear differential-algebraic equations.  |
Applied Mathematics and Computation  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Sun, Yao-Lin Jiang |
Runge-Kutta methods of dynamic iteration for index-2 differential-algebraic equations.  |
Applied Mathematics and Computation  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Zhao, Y. Xu, S. Y. Dong, M. Z. Liu |
Stability of the Rosenbrock methods for the neutral delay differential-algebraic equations.  |
Applied Mathematics and Computation  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao-Lin Jiang, Richard M. M. Chen |
Computing periodic solutions of linear differential-algebraic equations by waveform relaxation.  |
Math. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan C. Hindmarsh, Peter N. Brown, Keith E. Grant, Steven L. Lee, Radu Serban, Dan E. Shumaker, Carol S. Woodward |
SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers.  |
ACM Trans. Math. Softw.  |
2005 |
DBLP DOI BibTeX RDF |
sensitivity analysis, nonlinear systems, ODEs, DAEs |
| 1 | M. M. Hosseini |
Reducing index method for differential-algebraic equations with constraint singularities.  |
Applied Mathematics and Computation  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ercan Çelik |
On the numerical solution of differential-algebraic equations with index-2.  |
Applied Mathematics and Computation  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Ayaz |
Applications of differential transform method to differential-algebraic equations.  |
Applied Mathematics and Computation  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ercan Çelik |
On the numerical solution of chemical differential-algebraic equations by Pade series.  |
Applied Mathematics and Computation  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin A. Allan, Sophia Lefantzi, Jaideep Ray |
ODEPACK++: Refactoring the LSODE Fortran Library for Use in the CCA High Performance Component Software Architecture.  |
HIPS  |
2004 |
DBLP DOI BibTeX RDF |
parallel programming, object oriented, C++, FORTRAN, interface design, differential equations, software decomposition, common component architecture |
| 1 | Thao Dang, Alexandre Donzé, Oded Maler |
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.  |
FMCAD  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Chad Schmitke, John McPhee |
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems.  |
IWMM/GIAE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Farshad Rum, Brandon W. Gordon |
Simulation of Deformable Objects Using Sliding Mode Control with Application to Cloth Animation.  |
International Conference on Computational Science  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Mohamed El-Hawary, S. M. Mahmoud |
The numerical solution of higher index differential-algebraic equations by 4-point spline collocation methods.  |
Int. J. Comput. Math.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir K. Gorbunov, Igor V. Lutoshkin |
The Parameterization Method in Singular Differential-Algebraic Equations.  |
International Conference on Computational Science  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers |
Hybrid dynamic systems: relating Chi to hybrid automata.  |
Winter Simulation Conference  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel R. Phillips |
Projection-based approaches for model reduction of weakly nonlinear, time-varying systems.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni |
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.  |
CMSB  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda |
Formal Semantics of Hybrid Chi.  |
FORMATS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Schropp |
Geometric Properties of Runge-Kutta Discretizations for Index 2 Differential Algebraic Equations.  |
SIAM J. Numerical Analysis  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Minnie Kerr, Kevin Burrage |
New Multivalue Methods for Differential Algebraic Equations.  |
Numerical Algorithms  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gennady Y. Kulikov, Galina Ya. Benderskaya |
On Implementation of Vector Gauss Method for Solving Large-Scale Systems of Index 1 Differential-Algebraic Equations.  |
International Conference on Computational Science  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunther Reißig, Holger Boche, Paul I. Barton |
On inconsistent initial conditions for linear time-invariant differential-algebraic equations.  |
ISCAS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emad Gad, Michel S. Nakhla |
Efficient Model Reduction of Linear Time-Varying Systems via Compressed Transient System Function.  |
DATE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Popp, Joerg Oehmen, Lars Hedrich, Erich Barke |
Parameter Controlled Automatic Symbolic Analysis of Nonlinear Analog Circuits.  |
DATE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Mades, D. E. Schwarz, Manfred Glesner |
A discrete algorithm for the regularization of hierarchical VHDL-AMS models.  |
ISCAS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra |
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior.  |
HiPC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Hoefkens, Martin Berz |
Verification of Invertibility of Complicated Functions over Large Domains.  |
Reliable Computing  |
2002 |
DBLP DOI BibTeX RDF |
|