Douglas R. Troeger

Available identifiers

zbMath Open troeger.douglas-rMaRDI QIDQ797987

List of research outcomes

Publication	Date of Publication	Type
Challenge response password security using combinatorial group theory	2010-08-19	Paper
VIRTUAL PROPERTIES OF CYCLICALLY PINCHED ONE-RELATOR GROUPS	2009-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3614646	2009-03-09	Paper
Reflections on the residual finiteness of one-relator groups.	2008-02-22	Paper
Step bisimulation is pomset equivalence on a parallel language without explicit internal choice	1994-02-16	Paper
A logical characterization of observation equivalence	1985-01-01	Paper
Weak equivalence in a class of structured program schemes	1984-01-01	Paper
An axiomatization of D-scheme strong equivalence	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4741696	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4742978	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Douglas R. Troeger