| Publication | Date of Publication | Type |
|---|
Dataflow semantics for Petri nets
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
A fully abstract semantics for termination in Petri nets
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
A uniform approach to control flow graphs of programs
Far East Journal of Applied Mathematics | 2016-01-11 | Paper |
Control flow graphs and code coverage
International Journal of Applied Mathematics and Computer Science | 2011-03-24 | Paper |
A compositional dataflow semantics for Petri nets
Acta Informatica | 1995-11-20 | Paper |
scientific article; zbMATH DE number 785044 (Why is no real title available?)
| 1995-08-14 | Paper |
scientific article; zbMATH DE number 149517 (Why is no real title available?)
| 1993-04-01 | Paper |
scientific article; zbMATH DE number 18633 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 4125501 (Why is no real title available?)
| 1989-01-01 | Paper |
Kida's Theorem for a Class of Nonnormal Extensions
Proceedings of the American Mathematical Society | 1988-01-01 | Paper |
Class field towers of imaginary quadratic fields
Manuscripta Mathematica | 1987-01-01 | Paper |
Zeros of p-adic L-functions
Acta Arithmetica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4010633 (Why is no real title available?)
| 1987-01-01 | Paper |
Galois representations of Iwasawa modules
Acta Arithmetica | 1986-01-01 | Paper |
An application of a theorem of Deuring and Šafarevič
Mathematische Zeitschrift | 1986-01-01 | Paper |
Iwasawa invariants
Communications in Algebra | 1985-01-01 | Paper |
Rational Coates-Wiles series
Illinois Journal of Mathematics | 1984-01-01 | Paper |
Some Applications of ABHYANKAR's Lemma
Mathematische Nachrichten | 1978-01-01 | Paper |
Hilbert class fields and split extensions
Illinois Journal of Mathematics | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3590375 (Why is no real title available?)
Indiana University Mathematics Journal | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3577324 (Why is no real title available?)
| 1977-01-01 | Paper |
Genera in normal extensions
Pacific Journal of Mathematics | 1976-01-01 | Paper |
\(\mathbb{Z}_3\)-invariants of real and imaginary quadratic fields
Journal of Number Theory | 1976-01-01 | Paper |
\(\Gamma\)-extensions of imaginary quadratic fields. II
Journal of Number Theory | 1976-01-01 | Paper |
Examples of Iwasawa invariants, II
Acta Arithmetica | 1975-01-01 | Paper |
Genera in Abelian Extensions
| 1975-01-01 | Paper |
The nontriviality of certain Z\(_l\)-extensions
Journal of Number Theory | 1974-01-01 | Paper |
\(\Gamma\)-extensions of imaginary quadratic fields
Pacific Journal of Mathematics | 1972-01-01 | Paper |
Maximal recursive sequences with 3-valued recursive cross-correlation functions (Corresp.)
IEEE Transactions on Information Theory | 1968-01-01 | Paper |
Optimal binary sequences for spread spectrum multiplexing (Corresp.)
IEEE Transactions on Information Theory | 1967-01-01 | Paper |
Characteristic Linear Sequences and Their Coset Functions
SIAM Journal on Applied Mathematics | 1966-01-01 | Paper |
