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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Edward A. Lee