Skip to contents Heckel, Reiko [Author] Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 Gebler, Daniel [Author]; Tini, Simone [Author] ; Daniel Gebler and Simone Tini [Contributor] SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Tofan, Bogdan [Author] ; Reif, Wolfgang [Degree supervisor] Compositional Concurrent Program Verification with RGITL Books View online Schließen > Access https://d-nb.info/1077704569/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Augsburg: Universität Augsburg, 2014 Lamercerie, Aurélien [Author] ; Rennes 1 [Contributor]; Caillaud, Benoît [Contributor]; Foret, Annie [Contributor] Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification ; Semantic transducer for interface theories Thesis View online Schließen > Links http://www.theses.fr/2021REN1S029/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2021-04-08 Tofan, Bogdan [Author] Compositional Concurrent Program Verification with RGITL Thesis View online Schließen > Links https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2855 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Augsburg University Publication Server (OPUS), 2014-10-07 Greenacre, Michael J. [Author] Compositional data analysis : linear algebra, visualization and interpretation Books View online Schließen > Access https://econ-papers.upf.edu/papers/1805.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Barcelona: Universitat Pompeu Fabra, Department of Economics and Business, November 2021 Published in: Universitat Pompeu Fabra: Working papers ; 1805 Ter-Gabrielyan, Arshavir [Author]; id_orcid0 000-0003-0292-7750 [Author] ; Müller, Peter [Contributor]; Vechev, Martin [Contributor]; Wies, Thomas [Contributor] Compositional Verification of Rich Program Properties in Separation Logic Thesis View online Schließen > Links https://hdl.handle.net/20.500.11850/542001 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zurich, 2021 Ashlock, Daniel A. Compositional attractors and enumeration of permutation polynomials over finite fields Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1992 Published in: Journal of Pure and Applied Algebra de Francesco Albasini, Luisa; Sabadini, Nicoletta; Walters, Robert F. C. The Compositional Construction of Markov Processes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: Applied Categorical Structures Monich, Yury V.; Nechipurenko, Yury D. Correlations in Compositional Data without Log Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2023 Published in: Axioms Trakhtenbrot, B.A. COMPOSITIONAL PROOFS FOR NETWORKS OF PROCESSES Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1994 Published in: Fundamenta Informaticae Linares-Mustarós, Salvador; Farreras-Noguer, Maria Àngels; Arimany-Serrat, Núria; Coenders, Germà New Financial Ratios Based on the Compositional Data Methodology Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2022 Published in: Axioms Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone CospanSpan(Graph): a Compositional Description of the Heart System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2019 Published in: Fundamenta Informaticae Paduraru, Ciprian Ionut; Stefanescu, Gheorghe Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,† Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2020 Published in: Fundamenta Informaticae Chen, Jiajia; Zhang, Xiaoqin; Li, Shengjia A kernel density approach for replacing rounded zeros in compositional data sets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hacettepe University, 2018 Published in: Hacettepe Journal of Mathematics and Statistics Trakhtenbrot, B.A. On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1997 Published in: Fundamenta Informaticae Trakhtenbrot, B.A. On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1996 Published in: Fundamenta Informaticae Bohnenkamp, Henrik [Author] Compositional solution of stochastic process algebra models Books View online Schließen > Access https://edocs.tib.eu/files/e01dd10/358566843.pdf http://darwin.bth.rwth-aachen.de/opus3/volltexte/2002/410/pdf/Bohnenkamp_Henrik.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2002 Andersen, Jacob; Brabrand, Claus; Christiansen, David Raymond Banana Algebra: Compositional syntactic language extension Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2013 Published in: Science of Computer Programming Dimovski, Aleksandar; Lazić, Ranko Compositional software verification based on game semantics and process algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2007 Published in: International Journal on Software Tools for Technology Transfer
Heckel, Reiko [Author] Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998
Gebler, Daniel [Author]; Tini, Simone [Author] ; Daniel Gebler and Simone Tini [Contributor] SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Tofan, Bogdan [Author] ; Reif, Wolfgang [Degree supervisor] Compositional Concurrent Program Verification with RGITL Books View online Schließen > Access https://d-nb.info/1077704569/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Augsburg: Universität Augsburg, 2014
Lamercerie, Aurélien [Author] ; Rennes 1 [Contributor]; Caillaud, Benoît [Contributor]; Foret, Annie [Contributor] Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification ; Semantic transducer for interface theories Thesis View online Schließen > Links http://www.theses.fr/2021REN1S029/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2021-04-08
Tofan, Bogdan [Author] Compositional Concurrent Program Verification with RGITL Thesis View online Schließen > Links https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2855 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Augsburg University Publication Server (OPUS), 2014-10-07
> Links https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2855 Show more show less
Greenacre, Michael J. [Author] Compositional data analysis : linear algebra, visualization and interpretation Books View online Schließen > Access https://econ-papers.upf.edu/papers/1805.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Barcelona: Universitat Pompeu Fabra, Department of Economics and Business, November 2021 Published in: Universitat Pompeu Fabra: Working papers ; 1805
Ter-Gabrielyan, Arshavir [Author]; id_orcid0 000-0003-0292-7750 [Author] ; Müller, Peter [Contributor]; Vechev, Martin [Contributor]; Wies, Thomas [Contributor] Compositional Verification of Rich Program Properties in Separation Logic Thesis View online Schließen > Links https://hdl.handle.net/20.500.11850/542001 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zurich, 2021
Ashlock, Daniel A. Compositional attractors and enumeration of permutation polynomials over finite fields Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1992 Published in: Journal of Pure and Applied Algebra
de Francesco Albasini, Luisa; Sabadini, Nicoletta; Walters, Robert F. C. The Compositional Construction of Markov Processes Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: Applied Categorical Structures
Monich, Yury V.; Nechipurenko, Yury D. Correlations in Compositional Data without Log Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2023 Published in: Axioms
Trakhtenbrot, B.A. COMPOSITIONAL PROOFS FOR NETWORKS OF PROCESSES Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1994 Published in: Fundamenta Informaticae
Linares-Mustarós, Salvador; Farreras-Noguer, Maria Àngels; Arimany-Serrat, Núria; Coenders, Germà New Financial Ratios Based on the Compositional Data Methodology Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2022 Published in: Axioms
Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone CospanSpan(Graph): a Compositional Description of the Heart System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2019 Published in: Fundamenta Informaticae
Paduraru, Ciprian Ionut; Stefanescu, Gheorghe Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,† Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2020 Published in: Fundamenta Informaticae
Chen, Jiajia; Zhang, Xiaoqin; Li, Shengjia A kernel density approach for replacing rounded zeros in compositional data sets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hacettepe University, 2018 Published in: Hacettepe Journal of Mathematics and Statistics
Trakhtenbrot, B.A. On the Power of Compositional Proofs for Nets: Relationships Between Completenesess and Modularity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1997 Published in: Fundamenta Informaticae
Trakhtenbrot, B.A. On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 1996 Published in: Fundamenta Informaticae
Bohnenkamp, Henrik [Author] Compositional solution of stochastic process algebra models Books View online Schließen > Access https://edocs.tib.eu/files/e01dd10/358566843.pdf http://darwin.bth.rwth-aachen.de/opus3/volltexte/2002/410/pdf/Bohnenkamp_Henrik.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2002
> Access https://edocs.tib.eu/files/e01dd10/358566843.pdf http://darwin.bth.rwth-aachen.de/opus3/volltexte/2002/410/pdf/Bohnenkamp_Henrik.pdf Show more show less
Andersen, Jacob; Brabrand, Claus; Christiansen, David Raymond Banana Algebra: Compositional syntactic language extension Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2013 Published in: Science of Computer Programming
Dimovski, Aleksandar; Lazić, Ranko Compositional software verification based on game semantics and process algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2007 Published in: International Journal on Software Tools for Technology Transfer
> Media type Skip to next facet Articles (16) Wert ausschließen Books (4) Wert ausschließen Thesis (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (13) Wert ausschließen Without Specification (9) Wert ausschließen Show more show less
> Language Skip to next facet English (15) Wert ausschließen Not determined (7) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (14) Wert ausschließen Mathmatics (11) Wert ausschließen Physics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Trakhtenbrot, B.A. (3) Wert ausschließen Sabadini, Nicoletta (2) Wert ausschließen Tini, Simone (2) Wert ausschließen Tofan, Bogdan (2) Wert ausschließen Aguado, Joaquín (1) Wert ausschließen Andersen, Jacob (1) Wert ausschließen Arimany-Serrat, Núria (1) Wert ausschließen Ashlock, Daniel A. (1) Wert ausschließen Bodin, Bruno (1) Wert ausschließen Bohnenkamp, Henrik (1) Wert ausschließen Bortolussi, Luca (1) Wert ausschließen Brabrand, Claus (1) Wert ausschließen Brogi, Antonio (1) Wert ausschließen Caillaud, Benoît (1) Wert ausschließen Chen, Jiajia (1) Wert ausschließen Christiansen, David Raymond (1) Wert ausschließen Coenders, Germà (1) Wert ausschließen Daniel Gebler and Simone Tini (1) Wert ausschließen Dimovski, Aleksandar (1) Wert ausschließen Farreras-Noguer, Maria Àngels (1) Wert ausschließen Foret, Annie (1) Wert ausschließen Galpin, Vashti (1) Wert ausschließen Gebler, Daniel (1) Wert ausschließen Gianola, Alessandro (1) Wert ausschließen Greenacre, Michael J. (1) Wert ausschließen Heckel, Reiko (1) Wert ausschließen Hillston, Jane (1) Wert ausschließen Kasangian, Stefano (1) Wert ausschließen Lamercerie, Aurélien (1) Wert ausschließen Lazić, Ranko (1) Wert ausschließen Li, Shengjia (1) Wert ausschließen Linares-Mustarós, Salvador (1) Wert ausschließen Manicardi, Desiree (1) Wert ausschließen Mendler, Michael (1) Wert ausschließen Monich, Yury V. (1) Wert ausschließen Müller, Peter (1) Wert ausschließen Nechipurenko, Yury D. (1) Wert ausschließen Paduraru, Ciprian Ionut (1) Wert ausschließen Reif, Wolfgang (1) Wert ausschließen Rennes 1 (1) Wert ausschließen Roop, Partha (1) Wert ausschließen Schiavio, Filippo (1) Wert ausschließen Stefanescu, Gheorghe (1) Wert ausschließen Ter-Gabrielyan, Arshavir (1) Wert ausschließen Turini, Franco (1) Wert ausschließen Vechev, Martin (1) Wert ausschließen Walters, Robert F. C. (1) Wert ausschließen Wies, Thomas (1) Wert ausschließen Zhang, Xiaoqin (1) Wert ausschließen de Francesco Albasini, Luisa (1) Wert ausschließen id_orcid0 000-0003-0292-7750 (1) Wert ausschließen von Hanxleden, Reinhard (1) Wert ausschließen Show more show less
> Collection Skip to next facet IOS Press (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (4) Wert ausschließen Elsevier BV (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen MDPI AG (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Diss online (1) Wert ausschließen ETH Zürich Research Collection (1) Wert ausschließen Hacettepe University (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less