Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
César Sánchez
2010 – today
- 2013
[j5]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013)- [i2]César Sánchez, Alejandro Sánchez: A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013)
- 2012
- [c31]
- [c30]César Sánchez, Julián Samborski-Forlese: How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC 2012: 30-45
- [c29]Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang: Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163
- [c28]César Sánchez, Julián Samborski-Forlese: Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME 2012: 13-20
- [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012)
- 2011
- [c27]Alejandro Sánchez, César Sánchez: A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods 2011: 343-358
- 2010
- [c26]Diego García-Saiz, César Sánchez, Raúl Alcaraz: Frequency Domain Analysis as Risk Predictor of Sudden Cardiac Death from Long-time ECG Recordings. BIOSIGNALS 2010: 424-427
- [c25]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez: Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307
- [c24]Alejandro Sánchez, César Sánchez: Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89
- [c23]
- [c22]
2000 – 2009
- 2009
- [j4]Raquel Cervigón, Javier Moreno, César Sánchez, Richard B. Reilly, Julián Villacastín, José Millet, Francisco Castells: Atrial fibrillation organization: quantification of propofol effects. Med. Biol. Engineering and Computing 47(3): 333-341 (2009)
- 2008
- [j3]Raquel Cervigón, Javier Moreno, Francisco Castells, J. Mateo, César Sánchez, Julián Pérez-Villacastín, José Millet: Anesthesia with propofol slows atrial fibrillation dominant frequencies. Comp. in Bio. and Med. 38(7): 792-798 (2008)
- [c21]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
- [c20]César Sánchez, Edwin Triana, Eduardo Romero: A flexible web oriented telehealth platform using a RIM-HL7 based model. EATIS 2008
- 2007
- [j2]Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal: Convolutive Blind Source Separation Algorithms Applied to the Electrocardiogram of Atrial Fibrillation: Study of Performance. IEEE Trans. Biomed. Engineering 54(8): 1530-1533 (2007)
- [c19]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
- [c18]
- [c17]César Sánchez, Henny B. Sipma, Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8
- [c16]Jorge Mateo Sotos, César Sánchez, Carlos Vayá, Raquel Cervigón Abad, José Joaquín Rieta: A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals. IWINAC (1) 2007: 377-386
- 2006
- [c15]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill: Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20
- [c14]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
- [c13]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
- [c12]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
- [c11]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
- [c10]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
- [c9]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
- [c8]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378
- [c7]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
- [c6]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532
- [c5]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
- [j1]José Joaquín Rieta, Francisco Castells, César Sánchez, Vicente Zarzoso, José Millet: Atrial activity extraction for atrial fibrillation analysis using blind source separation. IEEE Trans. Biomed. Engineering 51(7): 1176-1186 (2004)
- [c4]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
- [c3]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
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:26 CEST by the dblp team