| Publication | Date of Publication | Type |
|---|
Fast methods for finding significant motifs on labelled multi-relational networks
Journal of Complex Networks | 2021-05-07 | Paper |
Fast analytical methods for finding significant labeled graph motifs
Data Mining and Knowledge Discovery | 2019-05-03 | Paper |
Efficient boundary values generation in general metric spaces for software component testing
Lecture Notes in Computer Science | 2010-03-23 | Paper |
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces
SIAM Journal on Optimization | 2006-05-30 | Paper |
Experimental and Efficient Algorithms
Lecture Notes in Computer Science | 2005-11-30 | Paper |
FAST CLUSTERING AND MINIMUM WEIGHT MATCHING ALGORITHMS FOR VERY LARGE MOBILE BACKBONE WIRELESS NETWORKS
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
Techniques of computable set theory with applications to proof verification
Communications on Pure and Applied Mathematics | 1996-12-05 | Paper |
scientific article; zbMATH DE number 50150 (Why is no real title available?)
| 1993-01-23 | Paper |
Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators
Journal of Automated Reasoning | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4132309 (Why is no real title available?)
| 1989-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae
Communications on Pure and Applied Mathematics | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4160161 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4162852 (Why is no real title available?)
| 1988-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Journal of Computer and System Sciences | 1987-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
Communications on Pure and Applied Mathematics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4091462 (Why is no real title available?)
| 1987-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}
Communications on Pure and Applied Mathematics | 1987-01-01 | Paper |
Decision algorithms for some fragments of analysis and related areas
Communications on Pure and Applied Mathematics | 1987-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Communications on Pure and Applied Mathematics | 1985-01-01 | Paper |
A note on the decidability of mls extended with the powerset operator
Communications on Pure and Applied Mathematics | 1985-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator
Advances in Applied Mathematics | 1984-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
Communications on Pure and Applied Mathematics | 1981-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
Communications on Pure and Applied Mathematics | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3715506 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3657800 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3702109 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3700800 (Why is no real title available?)
| 1978-01-01 | Paper |
