E-LIB Suche - Ergebnisse für: Yankelevich, Daniel

1

Development and Validation of a Prediction Rule for Growth ..:

Clément, Florencia ; Grinspon, Romina P. ; Yankelevich, Daniel...
Frontiers in Endocrinology. 11 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

2

You don't need to be rich to do research : you don't nee..:

, In: Proceedings of the 4th International Workshop on Software Engineering Research and Industrial Practice,

Yankelevich, Daniel - p. 31-33 , 2017

Link: https://dl.acm.org/doi/1..

3

Guest editorial:

Cortellessa, Vittorio ; Uchitel, Sebastian ; Yankelevich, Daniel
Journal of Systems and Software. 82 (2009) 1 - p. 1-2 , 2009

Link: https://doi.org/10.1016/..

4

Proceedings of the 6th international workshop on Software a..:

Majumdar, Shikharesh ; Cortellessa, Vittorio ; Uchitel, Sebastian. , 2007

Link: https://dl.acm.org/doi/1..

5

Static checking of system behaviors using derived component..:

Inverardi, Paola ; Wolf, Alexander L. ; Yankelevich, Daniel
ACM Transactions on Software Engineering and Methodology. 9 (2000) 3 - p. 239-272 , 2000

Link: https://doi.org/10.1145/..

6

Static checking of system behaviors using derived component..:

Inverardi, Paola ; Wolf, Alexander L. ; Yankelevich, Daniel
ACM Transactions on Software Engineering and Methodology (TOSEM). 9 (2000) 3 - p. 239-272 , 2000

Link: https://dl.acm.org/doi/1..

7

Modal Logic as a Design Notation:

, In: Proceedings of the 9th international workshop on Software specification and design,

Areces, Carlos ; Felder, Miguel ; Hirsch, Dan. - p. 150 ff. , 1998

Link: https://dl.acm.org/doi/1..

8

Relating CHAM Descriptions of Software Architectures:

, In: Proceedings of the 8th International Workshop on Software Specification and Design,

Inverardi, Paola ; Yankelevich, Daniel - p. 66 ff. , 1996

Link: https://dl.acm.org/doi/1..

9

Location equivalence in a parametric setting:

Montanari, Ugo ; Yankelevich, Daniel
Theoretical Computer Science. 149 (1995) 2 - p. 299-332 , 1995

Link: https://doi.org/10.1016/..

10

An operational framework for value-passing processes:

, In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Cleaveland, Rance ; Yankelevich, Daniel - p. 326-338 , 1994

Link: https://dl.acm.org/doi/1..

11

Automatizing Parametric Reasoning on Distributed Concurrent..:

Inverardi, Paola ; Priami, Corrado ; Yankelevich, Daniel
Formal Aspects of Computing. 6 (1994) 6 - p. 676-695 , 1994

Link: https://doi.org/10.1007/..

12

Axiomatizing CCS, nets and processes:

De Francesco, Nicoletta ; Montanari, Ugo ; Yankelevich, Daniel
Science of Computer Programming. 21 (1993) 3 - p. 225-261 , 1993

Link: https://doi.org/10.1016/..

13

Development and Validation of a Prediction Rule for Growth ..:

Clément, Florencia ; Grinspon, Romina P ; Yankelevich, Daniel...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7887303/. , 2021

Link: http://www.ncbi.nlm.nih...

14

Un caso de big data punta a punta: an\'alisis de datos de t..:

Melani, Camilo ; Echagüe, Juan V ; Zaffaroni, Joaquín Torre.
http://arxiv.org/abs/1609.01186. , 2016

Link: http://arxiv.org/abs/160..

15

Un caso de big data punta a punta: análisis de datos de tra..:

Melani, Camilo ; Echagüe, Juan Vicente ; Zaffaroni, Joaquín.
http://sedici.unlp.edu.ar/handle/10915/51953. , 2015

Link: http://sedici.unlp.edu.a..