default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniel Yankelevich
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c18]Daniel Yankelevich:
Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the World. SER&IP@ICSE 2017: 31-33- 2016
- [i1]Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich:
Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio. CoRR abs/1609.01186 (2016)
2000 – 2009
- 2009
- [j7]Vittorio Cortellessa, Sebastián Uchitel
, Daniel Yankelevich:
Guest editorial. J. Syst. Softw. 82(1): 1-2 (2009) - 2008
- [c17]Daniel Yankelevich:
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. Concurrency, Graphs and Models 2008: 806-808 - 2007
- [j6]Viviana Cotik, P. Lujan, D. Scotton, Daniel Yankelevich:
A Swiss army knife approach to DQ assessments. Int. J. Inf. Qual. 1(2): 145-161 (2007) - [e1]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, ISBN 1-59593-297-6 [contents] - 2002
- [p1]Monica Bobrowski, Martina Marré, Daniel Yankelevich:
A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology. Information and Database Quality 2002: 135-162 - 2001
- [c16]Sabrina Vazquez Soler, Daniel Yankelevich:
Quality Mining: A Data Mining Based Method for Data Quality Evaluation. IQ 2001: 162-172 - 2000
- [j5]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) - [c15]Sebastián Uchitel, Daniel Yankelevich:
Enhancing Architectural Mismatch Detection with Assumptions. ECBS 2000: 138-
1990 – 1999
- 1999
- [c14]Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich:
Towards a Periodic Table of Connectors. COORDINATION 1999: 418 - [c13]Monica Bobrowski, Martina Marré, Daniel Yankelevich:
A Homogeneous Framework to Measure Data Quality. IQ 1999: 115-124 - 1998
- [c12]Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich:
Modal Logic as a Design Notation. IWSSD 1998: 150-152 - 1997
- [c11]Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich:
Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION 1997: 46-63 - 1996
- [c10]Ugo Montanari, Marco Pistore, Daniel Yankelevich:
Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279 - [c9]Paola Inverardi, Daniel Yankelevich:
Relating CHAM Descriptions of Software Architectures. IWSSD 1996: 66-74 - 1995
- [j4]Ugo Montanari, Daniel Yankelevich:
Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149(2): 299-332 (1995) - [c8]Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich:
Optimality in Abstractions of Model Checking. SAS 1995: 51-63 - 1994
- [j3]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. 6(6): 676-695 (1994) - [j2]Ugo Montanari, Daniel Yankelevich:
Combining CCS and Petri Nets Via Structural Axioms. Fundam. Informaticae 20(1/2/3): 193-229 (1994) - [c7]Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich:
On the Operational Sematics of a Coordination Language. ECOOP Workshop 1994: 77-106 - [c6]Corrado Priami, Daniel Yankelevich:
Read-Write Causality. MFCS 1994: 567-576 - [c5]Rance Cleaveland, Daniel Yankelevich:
An Operational Framework for Value-Passing Processes. POPL 1994: 326-338 - 1993
- [j1]Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993) - [c4]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569 - [c3]Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich:
Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT 1993: 105-120 - 1992
- [c2]Ugo Montanari, Daniel Yankelevich:
A Parametric Approach to Localities. ICALP 1992: 617-628
1980 – 1989
- 1989
- [c1]Ugo Montanari, Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. Category Theory and Computer Science 1989: 5-20
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
