2009 |
23 | EE | Vittorio Cortellessa,
Sebastián Uchitel,
Daniel Yankelevich:
Guest editorial.
Journal of Systems and Software 82(1): 1-2 (2009) |
2008 |
22 | EE | Daniel Yankelevich:
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.
Concurrency, Graphs and Models 2008: 806-808 |
2007 |
21 | | Vittorio Cortellessa,
Sebastián Uchitel,
Daniel Yankelevich:
Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007
ACM 2007 |
20 | EE | V. Cotik,
P. Lujan,
D. Scotton,
Daniel Yankelevich:
A Swiss army knife approach to DQ assessments.
IJIQ 1(2): 145-161 (2007) |
2001 |
19 | | Sabrina Vazquez Soler,
Daniel Yankelevich:
Quality Mining: A Data Mining Based Method for Data Quality Evaluation.
IQ 2001: 162-172 |
2000 |
18 | EE | Sebastián Uchitel,
Daniel Yankelevich:
Enhancing Architectural Mismatch Detection with Assumptions.
ECBS 2000: 138- |
17 | EE | Paola Inverardi,
Alexander L. Wolf,
Daniel Yankelevich:
Static checking of system behaviors using derived component assumptions.
ACM Trans. Softw. Eng. Methodol. 9(3): 239-272 (2000) |
1999 |
16 | EE | Dan Hirsch,
Sebastián Uchitel,
Daniel Yankelevich:
Towards a Periodic Table of Connectors.
COORDINATION 1999: 418 |
15 | | Monica Bobrowski,
Martina Marré,
Daniel Yankelevich:
A Homogeneous Framework to Measure Data Quality.
IQ 1999: 115-124 |
1997 |
14 | | Paola Inverardi,
Alexander L. Wolf,
Daniel Yankelevich:
Checking Assumptions in Component Dynamics as the Architectural Level.
COORDINATION 1997: 46-63 |
1996 |
13 | | Ugo Montanari,
Marco Pistore,
Daniel Yankelevich:
Efficient Minimization up to Location Equivalence.
ESOP 1996: 265-279 |
1995 |
12 | | Rance Cleaveland,
S. Purushothaman Iyer,
Daniel Yankelevich:
Optimality in Abstractions of Model Checking
SAS 1995: 51-63 |
11 | EE | Ugo Montanari,
Daniel Yankelevich:
Location Equivalence in Parametric Setting.
Theor. Comput. Sci. 149(2): 299-332 (1995) |
1994 |
10 | | Paolo Ciancarini,
Keld K. Jensen,
Daniel Yankelevich:
On the Operational Sematics of a Coordination Language.
ECOOP Workshop 1994: 77-106 |
9 | | Corrado Priami,
Daniel Yankelevich:
Read-Write Causality.
MFCS 1994: 567-576 |
8 | | Rance Cleaveland,
Daniel Yankelevich:
An Operational Framework for Value-Passing Processes.
POPL 1994: 326-338 |
7 | | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Asp. Comput. 6(6): 676-695 (1994) |
6 | | Ugo Montanari,
Daniel Yankelevich:
Combining CCS and Petri Nets Via Structural Axioms.
Fundam. Inform. 20(1/2/3): 193-229 (1994) |
1993 |
5 | | Paola Inverardi,
Corrado Priami,
Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation.
ICALP 1993: 558-569 |
4 | | Paola Inverardi,
Balachander Krishnamurthy,
Daniel Yankelevich:
Yeast: A Case Study for a Practical Use of Formal Methods.
TAPSOFT 1993: 105-120 |
3 | | Nicoletta De Francesco,
Ugo Montanari,
Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program. 21(3): 225-261 (1993) |
1992 |
2 | | Ugo Montanari,
Daniel Yankelevich:
A Parametric Approach to Localities.
ICALP 1992: 617-628 |
1989 |
1 | | Ugo Montanari,
Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
Category Theory and Computer Science 1989: 5-20 |