Author of the publication

An environment for DSP system development with extended abstract types, and dimensional design (PADDE).

, , , , , , , , , , , and . ICASSP (1), page 449-452. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes., , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 263-279. Springer, (1997)An environment for DSP system development with extended abstract types, and dimensional design (PADDE)., , , , , , , , , and 2 other author(s). ICASSP (1), page 449-452. IEEE Computer Society, (1993)Integrating Formal Verification of Parallelization in the PADD/RALE Environment., , , , , and . JISBD, page 305-314. (2002)A design environment with simulation and formal verification (syr-padde)., , , , , , , , , and 5 other author(s). CAMAD, IEEE, (1994)Contemporary morality: Moral judgments in digital contexts., , , and . Comput. Hum. Behav., (2017)Towards a Quantum Probability Theory of Similarity Judgments., , , and . QI, volume 8951 of Lecture Notes in Computer Science, page 132-145. Springer, (2014)Diagnosticity: Some theoretical and empirical progress., , , and . CogSci, cognitivesciencesociety.org, (2015)The Refugees' Dilemma: not all deontological moral choices are of the same kind., and . CogSci, cognitivesciencesociety.org, (2017)Empirical constraints on computational level models of interference effects in human probabilistic judgements., , and . CogSci, cognitivesciencesociety.org, (2017)Modelling eye tracking dynamics with quantum theory., , , , , , and . CogSci, page 3561. cognitivesciencesociety.org, (2019)