César Sánchez

2008
20	EE	César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619
2007
19	EE	César Sánchez, Henny B. Sipma, Zohar Manna: A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169
18	EE	Martin Leucker, César Sánchez: Regular Linear Temporal Logic. ICTAC 2007: 291-305
17	EE	César Sánchez, Henny B. Sipma, Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8
16	EE	Jorge Mateo Sotos, César Sánchez, Carlos Vayá, Raquel Cervigon Abad, José Joaquín Rieta: A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals. IWINAC (1) 2007: 377-386
2006
15	EE	César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill: Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20
14	EE	Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma: Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT 2006: 252-261
13	EE	José Joaquín Rieta, Fernando Hornero, César Sánchez, Carlos Vayá, David Moratal, Juan Manuel Sanchis: Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation. ICA 2006: 478-485
12	EE	César Sánchez, José Joaquín Rieta, Carlos Vayá, David Perez, Roberto Zangróniz, José Millet: Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis. ICA 2006: 486-494
11	EE	Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal: Performance Study of Convolutive BSS Algorithms Applied to the Electrocardiogram of Atrial Fibrillation. ICA 2006: 495-502
10	EE	César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill: On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006
9	EE	César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna: Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125
2005
8	EE	César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378
7	EE	César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173
6	EE	César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532
5	EE	Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174
2004
4	EE	José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis, Francisco Castells, José Millet: Mixing Matrix Pseudostationarity and ECG Preprocessing Impact on ICA-Based Atrial Fibrillation Analysis. ICA 2004: 1079-1086
3	EE	César Sánchez, José Joaquín Rieta, Francisco Castells, Raúl Alcaraz, José Millet: Wavelet Domain Blind Signal Separation to Analyze Supraventricular Arrhythmias from Holter Registers. ICA 2004: 1111-1117
2	EE	Francisco Castells, Cibeles Mora, José Millet, José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis: Multidimensional ICA for the Separation of Atrial and Ventricular Activities from Single Lead ECGs in Paroxysmal Atrial Fibrillation Episodes. ICA 2004: 1229-1236
2003
1	EE	César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339

Coauthor Index

1	Raquel Cervigon Abad	[16]
2	Raúl Alcaraz	[3]
3	Francisco Castells	[2] [3] [4]
4	Ben D'Angelo	[5]
5	David L. Dill	[1]
6	Bernd Finkbeiner	[5]
7	Christopher D. Gill	[7] [9] [10] [14] [15]
8	Fernando Hornero	[13]
9	Martin Leucker	[18]
10	Zohar Manna	[1] [5] [6] [7] [8] [9] [10] [15] [17] [19] [20]
11	Sandeep Mehrotra	[5]
12	José Millet	[2] [3] [4] [12]
13	Cibeles Mora	[2]
14	David Moratal	[11] [13]
15	David Perez	[12]
16	José Joaquín Rieta	[2] [3] [4] [11] [12] [13] [16]
17	Will Robinson	[5]
18	Juan Manuel Sanchis	[2] [4] [13]
19	Sriram Sankaranarayanan	[1] [5]
20	Henny B. Sipma (Henny Sipma)	[1] [5] [6] [7] [8] [9] [10] [14] [15] [17] [19] [20]
21	Matteo Slanina	[6] [8] [20]
22	Jorge Mateo Sotos	[16]
23	Venkita Subramonian	[7] [10] [14]
24	Carlos Vayá	[11] [12] [13] [16]
25	Roberto Zangróniz	[12]
26	Ting Zhang	[1]

Colors in the list of coauthors