Author of the publication

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

, , , , , and . Fundam. Informaticae, 99 (1): 95-124 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Architectural Connectors for UML., and . Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 352-369. Springer, (2005)Architectural Connectors for Sequence Diagrams., and . PROLE, volume 206 of Electronic Notes in Theoretical Computer Science, page 111-131. Elsevier, (2007)JBioWH: an open-source Java framework for bioinformatics data integration., , , , , and . Database J. Biol. Databases Curation, (2013)A geometric approach to dense Cayley digraphs of finite Abelian groups., , and . Electron. Notes Discret. Math., (2016)Deactivation of Ru-benzylidene Grubbs catalysts active in olefin metathesis., , , , , , and . ICCS, volume 4 of Procedia Computer Science, page 1222-1229. Elsevier, (2011)Abelian Cayley Digraphs with Asymptotically Large Order for Any Given Degree., , and . Electron. J. Comb., 23 (2): 2 (2016)On the computation of singularities of parametrized ruled surfaces., and . Adv. Appl. Math., (2019)A new approach for computing the asymptotes of a parametric curve., and . J. Comput. Appl. Math., (2020)Parametrization of translational surfaces., and . SNC, page 128-129. ACM, (2014)smoothROCtime: an R package for time-dependent ROC curve estimation., , and . Comput. Stat., 35 (3): 1231-1251 (2020)