`Travelled to:`

1 × France

1 × Germany

6 × USA

`Collaborated with:`

M.Altun J.Bruck J.D.Backes W.Qian H.Jiang K.K.Parhi C.Neuhauser B.Fett N.Saraf K.Bazargan D.J.Lilja

`Talks about:`

stochast (3) comput (3) synthesi (2) arithmet (2) use (2) molecular (1) synchron (1) sequenti (1) reaction (1) reachabl (1)

## Person: Marc D. Riedel

### DBLP: Riedel:Marc_D=

### Contributed to:

### Wrote 8 papers:

- DATE-2014-SarafBLR #probability #using
- IIR filters using stochastic arithmetic (NS, KB, DJL, MDR), pp. 1–6.
- DATE-2013-BackesR #reachability #using
- Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
- DAC-2011-JiangRP
- Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
- DAC-2010-AltunR
- Lattice-based computation of Boolean functions (MA, MDR), pp. 609–612.
- DAC-2009-AltunRN
- Nanoscale digital computation through percolation (MA, MDR, CN), pp. 615–616.
- DAC-2008-QianR #logic #polynomial #probability #robust #synthesis
- The synthesis of robust polynomial arithmetic with stochastic logic (WQ, MDR), pp. 648–653.
- DAC-2007-FettBR
- Synthesizing Stochasticity in Biochemical Systems (BF, JB, MDR), pp. 640–645.
- DAC-2003-RiedelB #synthesis
- The synthesis of cyclic combinational circuits (MDR, JB), pp. 163–168.