Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dieter Sommer
A Formal Model of Identity Mixer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Secure Internet Phone
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
A Formal Model of Data Privacy
A Verified Formal Model of a VC Generator
2006 30th Annual IEEE/NASA Software Engineering Workshop
Ego Identity Status, Formal Operations, and Moral Development
Journal of Youth and Adolescence
Developmental
Education
Social Sciences
Educational Psychology
Social Psychology
Specifications for the Model 42 Snow Mixer
Developing a Formal Model of Argumentation-Based Dialogue
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
A Formal Security Model for Microprocessor Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Language Model of DNA Polymerase Enzymatic Activity
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science