| Publication | Date of Publication | Type |
|---|
Property-preserving Petri net process algebra in software engineering
| 2011-06-23 | Paper |
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
Structure and behavior preservation by Petri-net-based refinements in system design
Theoretical Computer Science | 2005-01-11 | Paper |
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 2088663 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1941201 (Why is no real title available?)
| 2003-06-29 | Paper |
Approximation Algorithms for Directed Steiner Problems
Journal of Algorithms | 2000-05-28 | Paper |
scientific article; zbMATH DE number 1303557 (Why is no real title available?)
| 1999-06-17 | Paper |
A fault-detection approach to the conformance testing of nondeterministic systems
Journal of Parallel and Distributed Computing | 1995-09-24 | Paper |
Recognizing different types of beta-cycles in a database scheme
Theoretical Computer Science | 1991-01-01 | Paper |
On the projection method for protocol verification
IEEE Transactions on Software Engineering | 1986-01-01 | Paper |
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
A Method for Equijoin Queries in Distributed Relational Databases
IEEE Transactions on Computers | 1982-01-01 | Paper |
A statistical model for estimating the number of records in a relational database
Information Processing Letters | 1982-01-01 | Paper |
Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach
ACM Transactions on Mathematical Software | 1980-01-01 | Paper |
Computational Comparison of Eight Methods for the Maximum Network Flow Problem
ACM Transactions on Mathematical Software | 1980-01-01 | Paper |
Newton's method for nonlinear ordinary and partial differential equations
Journal of Mathematical Analysis and Applications | 1979-01-01 | Paper |
Recent Developments in the Numerical Solution of Partial Differential Equations by Linear Programming
SIAM Review | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3672010 (Why is no real title available?)
| 1978-01-01 | Paper |
A Note on Minimum Cost Networks with Nonlinear Costs
SIAM Journal on Applied Mathematics | 1978-01-01 | Paper |
Three Nonlinear Initial Value Problems of the Hyperbolic Type
SIAM Journal on Numerical Analysis | 1977-01-01 | Paper |
Approximate Solutions and Error Bounds for Quasi-Linear Hyperbolic Initial Boundary Value Problems
SIAM Journal on Numerical Analysis | 1975-01-01 | Paper |
An interactive graphic display for region partitioning by linear programming
Communications of the ACM | 1974-01-01 | Paper |
Approximate solutions and error bounds for quasilinear elliptic boundary value problems
Journal of Computer and System Sciences | 1973-01-01 | Paper |
Quasilinear Parabolic Boundary Value Problems. Approximate Solutions and Error Bounds by Linear Programming
SIAM Journal on Numerical Analysis | 1973-01-01 | Paper |
