Searching for authors named "Jesus Martinez" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
EVA: An Interactive Environment for Personalized Collaborative Learning
- … Sheremetov, Jesus Martinez Unidad Profesional “Adolfo López Mateos”, Zacatenco, Av. Juan de Dios Bátiz s…
- Add To MetaCart
-
Integration of Reliability and Performance Analyses for Active Network Services
- ….elsevier.com/locate/entcs Integration of Reliability and Performance Analyses for Active Network Services María del Mar Gallardo, Jesús…
- Add To MetaCart
-
αSPIN: A tool for abstract model checking
- …10009-003-0122-9 αSPIN: A tool for abstract model checking María del Mar Gallardo, Jesús Martínez, Pedro…
- Add To MetaCart
-
αSPIN: Extending SPIN with Abstraction
- …αSPIN: Extending SPIN with Abstraction María del Mar Gallardo, Jesús Martínez, Pedro Merino…
- Add To MetaCart
-
aSpin: Extending spin with abstraction
- …αSPIN: Extending SPIN with Abstraction Maria del Mar Gallardo, Jesus Martinez, Pedro Merino…
- Cited by 4 (1 self) – Add To MetaCart
-
Model checking active networks with SPIN
- …Abstract Model checking active networks with SPIN * María del Mar Gallardo*, Jesús Martínez, Pedro…
- Cited by 1 (1 self) – Add To MetaCart
-
A Realistic (Non-Associative) Interval Logic And How Interval Computations Help In Proving Results About It
- …@(email omitted); Vladik Kreinovich, Jesus Martinez, and Reginaldo Gonzalez Computer Science Department, University…
- Add To MetaCart
-
A Realistic (Non-Associative) Logic And a Possible Explanations of 7±2 Law
- …;2 , Vladik Kreinovich 1 , I. R. Goodman 3 , Jesus Martinez 1 , and Reginaldo Gonzalez 1 1 Department…
- Cited by 5 (4 self) – Add To MetaCart
-
Towards More Realistic (e.g., Non-Associative) And- And Or-Operations In Fuzzy Logic
- … MARTINEZ, LEOPOLDO MACIAS, AMMAR ESPER JESUS CHAPARRO, VICK ALVARADO, SCOTT A. STARKS, and VLADIK…
- Cited by 5 (3 self) – Add To MetaCart
-
A Realistic (Non-Associative) Logic And a Possible Explanations of 7
- …;2 , Vladik Kreinovich 1 , I. R. Goodman 3 , Jesus Martinez 1 , and Reginaldo Gonzalez 1 1 Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
