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
The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices	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