Edward A. Lee

Available identifiers

zbMath Open lee.edward-ashfordMaRDI QIDQ1400470

List of research outcomes

Publication	Date of Publication	Type
Generalizing logical execution time	2023-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4992898	2021-06-10	Paper
Observation and interaction. Invited paper	2019-12-04	Paper
Models of timed systems	2018-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q5364938	2017-09-29	Paper
Requirements for hybrid cosimulation standards	2017-05-19	Paper
The fixed-point theory of strictly causal functions	2015-02-24	Paper
Constructive Collisions	2014-07-24	Paper
A modular formal semantics for Ptolemy	2013-08-26	Paper
On Fixed Points of Strictly Causal Functions	2013-08-16	Paper
On the Verification of Timed Discrete-Event Models	2013-08-16	Paper
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals	2013-08-16	Paper
Verifying hierarchical Ptolemy II discrete-event models using real-time maude	2013-06-06	Paper
From Transitions to Executions	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3400625	2010-02-05	Paper
Concurrent Semantics Without the Notions of State or State Transitions	2008-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5423300	2007-10-23	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
A behavioral type system and its application in Ptolemy II	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4473726	2004-08-04	Paper
The semantics and execution of a synchronous block-diagram language.	2003-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4418002	2003-07-30	Paper
Resynchronization for multiprocessor DSP systems	2002-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q2729064	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4343019	1997-06-25	Paper
Capacity penalty due to ideal zero-forcing decision-feedback equalization	1997-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4888827	1996-08-21	Paper
Generating compact code from dataflow specifications of multirate signal processing algorithms	1995-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3993138	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3997798	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3493355	1988-01-01	Paper
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing	1987-01-01	Paper

Research outcomes over time

This page was built for person: Edward A. Lee