| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4623450 | 2019-02-15 | Paper |
| A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”. | 2013-04-19 | Paper |
| Computational Logic and Set Theory | 2011-08-08 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629625 | 2009-06-02 | Paper |
| Discrete thoughts. Essays on mathematics, science, and philosophy. Revised and corrected edition with the assistance of Peter Renz | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3437734 | 2007-05-09 | Paper |
| Do the integers exist? The unknowability of arithmetic consistency | 2005-09-26 | Paper |
| A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case | 2005-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707766 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756725 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385513 | 1998-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687973 | 1997-01-05 | Paper |
| \(T\)-theorem proving. I | 1996-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281682 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039882 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039883 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039884 | 1993-06-05 | Paper |
| Finding effective ``Force targets for two-dimensional, multifinger frictional grips | 1992-08-13 | Paper |
| Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs | 1991-01-01 | Paper |
| On the two-dimensional Davenport-Schinzel problem | 1990-01-01 | Paper |
| A survey of motion planning and related geometric algorithms | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3489977 | 1988-01-01 | Paper |
| Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028378 | 1987-01-01 | Paper |
| Decision algorithms for some fragments of analysis and related areas | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832091 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728849 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741005 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724471 | 1986-01-01 | Paper |
| Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator | 1985-01-01 | Paper |
| On the piano movers' problem: V. The case of a rod moving in three-dimensional space amidst polyhedral obstacles | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682458 | 1984-01-01 | Paper |
| On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds | 1983-01-01 | Paper |
| On the “piano movers'” problem I. The case of a two-dimensional rigid polygonal body moving amidst polygonal barriers | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721314 | 1983-01-01 | Paper |
| Experience with the SETL Optimizer | 1983-01-01 | Paper |
| An Automatic Technique for Selection of Data Representations in SETL Programs | 1981-01-01 | Paper |
| Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions | 1981-01-01 | Paper |
| Fast Probabilistic Algorithms for Verification of Polynomial Identities | 1980-01-01 | Paper |
| Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905254 | 1980-01-01 | Paper |
| Ultracomputers | 1980-01-01 | Paper |
| Metamathematical extensibility for theorem verifiers and proof-checkers | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3862391 | 1979-01-01 | Paper |
| Programming by Refinement, as Exemplified by the SETL Representation Sublanguage | 1979-01-01 | Paper |
| A note on monte carlo primality tests and algorithmic information theory | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124291 | 1977-01-01 | Paper |
| A Fast Switch | 1976-01-01 | Paper |
| An introduction to the set theoretical language SETL | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069751 | 1975-01-01 | Paper |
| Automatic data structure choice in a language of very high level | 1975-01-01 | Paper |
| Optimization of very high level languages—I | 1975-01-01 | Paper |
| Optimization of very high level languages—II. Deducing relationships of inclusion and membership | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136499 | 1975-01-01 | Paper |
| Semantic and syntactic issues in programming | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4080710 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769500 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180362 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5680985 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672142 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684255 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654646 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5182693 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5592105 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5657644 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573106 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5601742 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5581280 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5587145 | 1968-01-01 | Paper |
| Representations of the algebra of all operators in hilbert space, and related analytic function algebras | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577921 | 1967-01-01 | Paper |
| Large Parallel Computers | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5523220 | 1966-01-01 | Paper |
| A remark on morse theory | 1966-01-01 | Paper |
| Generalizing the Lusternik‐Schnirelman theory of critical points | 1964-01-01 | Paper |
| Non‐isomorphism of a pair of factors of type III | 1963-01-01 | Paper |
| Compact analytic mappings of B‐spaces and a theorem of Jane Cronin | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5336643 | 1963-01-01 | Paper |
| Two finite, non‐hyperfinite, non‐isomorphic factors | 1963-01-01 | Paper |
| Type II factors in a central decomposition | 1963-01-01 | Paper |
| On Generators of the Banach Algebras l 1 and L 1 (0, ∞) | 1963-01-01 | Paper |
| On spectral operators in Hilbert space with compact imaginary part | 1962-01-01 | Paper |
| Subdiagonalization of operators in Hilbert space with compact imaginary part | 1962-01-01 | Paper |
| Some results on the spectra and spectral resolutions of a class of singular integral operators | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343291 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732232 | 1961-01-01 | Paper |
| Some non-selfadjoint operators II. A family of operators yielding to Friedrichs' method | 1961-01-01 | Paper |
| Free Quantized Lorentzian Fields | 1961-01-01 | Paper |
| A remark on inequalities of Calderon-Zygmund type for vector-valued functions | 1961-01-01 | Paper |
| Compact positive mappings in Lebesgue spaces | 1961-01-01 | Paper |
| Some non-selfadjoint operators | 1960-01-01 | Paper |
| On Nash's implicit functional theorem | 1960-01-01 | Paper |
| Another proof of E. Hopf's ergodic lemma | 1959-01-01 | Paper |
| A Vector-Valued Random Ergodic Theorem | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3254057 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3264436 | 1957-01-01 | Paper |
| ON MAUTNER'S EIGENFUNCTION EXPANSION | 1956-01-01 | Paper |
| Riemann’s method in the theory of special functions | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240490 | 1956-01-01 | Paper |
| De Rham's Theorem for Arbitrary Spaces | 1955-01-01 | Paper |
| CONVERGENCE ALMOST EVERYWHERE OF OPERATOR AVERAGES | 1955-01-01 | Paper |
| Two perturbation formulae | 1955-01-01 | Paper |
| Weak Compactness and Vector Measures | 1955-01-01 | Paper |
| The Formula for Change in Variables in a Multiple Integral | 1954-01-01 | Paper |
| Perturbations of spectral operators, and applications. I. Bounded perturbations | 1954-01-01 | Paper |
| A Note on the Space L ∗ p | 1951-01-01 | Paper |
