Robert Gold

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Dataflow semantics for Petri nets	2022-08-18	Paper
A fully abstract semantics for termination in Petri nets	2022-08-18	Paper
A UNIFORM APPROACH TO CONTROL FLOW GRAPHS OF PROGRAMS	2016-01-11	Paper
Control flow graphs and code coverage	2011-03-24	Paper
A compositional dataflow semantics for Petri nets	1995-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4842533	1995-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4032308	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3976036	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4205511	1989-01-01	Paper
Kida's Theorem for a Class of Nonnormal Extensions	1988-01-01	Paper
Class field towers of imaginary quadratic fields	1987-01-01	Paper
Zeros of p-adic L-functions	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3760629	1987-01-01	Paper
An application of a theorem of Deuring and Šafarevič	1986-01-01	Paper
Galois representations of Iwasawa modules	1986-01-01	Paper
Iwasawa invariants	1985-01-01	Paper
Rational Coates-Wiles series	1984-01-01	Paper
Some Applications of ABHYANKAR's Lemma	1978-01-01	Paper
Hilbert class fields and split extensions	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4146818	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159455	1977-01-01	Paper
Genera in normal extensions	1976-01-01	Paper
\(\mathbb{Z}_3\)-invariants of real and imaginary quadratic fields	1976-01-01	Paper
\(\Gamma\)-extensions of imaginary quadratic fields. II	1976-01-01	Paper
Genera in Abelian Extensions	1975-01-01	Paper
Examples of Iwasawa invariants, II	1975-01-01	Paper
The nontriviality of certain Z\(_l\)-extensions	1974-01-01	Paper
\(\Gamma\)-extensions of imaginary quadratic fields	1972-01-01	Paper
Maximal recursive sequences with 3-valued recursive cross-correlation functions (Corresp.)	1968-01-01	Paper
Optimal binary sequences for spread spectrum multiplexing (Corresp.)	1967-01-01	Paper
Characteristic Linear Sequences and Their Coset Functions	1966-01-01	Paper

Research outcomes over time

This page was built for person: Robert Gold