Giorgio Bacci

Publikationer

Publikationer pr. år 2006 2009 2013 2014 2015 2017 2018 2020 2021 2024

• 15 Konferenceartikel i proceeding
• 14 Konferenceartikel i tidsskrift
• 7 Tidsskriftartikel
• 4 Bidrag til bog/antologi
• 2 Mere
  • 1 Antologi
  • 1 Bidrag til rapport

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Dissimilarity for Linear Dynamical Systems

  Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Squillace, G., Tschaikowski, M. & Vandin, A., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Hillston, J. & Soudjani, S. (red.). Springer Lecture Notes in Computer Science (LNCS), Bind 14996. s. 125-142 (Lecture Notes in Computer Science (LNCS)).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang
• 2023

  Propositional Logics for the Lawvere Quantale

  Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 23 nov. 2023, I: Electronic Notes in Theoretical Informatics and Computer Science. 3, 18 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Propositional Variable 100%
  • Finite Set 100%
  • Quantale 100%
  • Preorder 50%
  • Transposition 50%
  11 Downloads (Pure)
• 2022

  Convex Lattice Equation Systems

  Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Equation System 100%
  • Lattices 100%
  • Lattice Equations 100%
  • Stochastic Game 50%
  • System Behavior 50%
  1 Citationer (Scopus)
• 2021

  Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

  Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2 feb. 2021, I: Logical Methods in Computer Science. 17, 1, s. 1-36 9.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Automaton 100%
  • Practical Solution 50%
  • Hausdorff Distance 50%
  • Policy Iteration 50%
  • Prove Termination 50%
  5 Citationer (Scopus)

• Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

  Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, s. 1-14 14 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Time Complexity 100%
  • Polynomial Time 100%
  • Case Study 100%
  • Dynamical System 100%
  • Markov Chain 100%
  4 Citationer (Scopus)

• Tensor of Quantitative Equational Theories

  Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 2021, I: Leibniz International Proceedings in Informatics. 211, s. 7:1-7:17 17 s., 7.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Monads 100%
  • Markov Process 100%
  • Markov Decision Process 100%
  • Axiomatization 66%
  • Free Monad 66%
  3 Citationer (Scopus)

  27 Downloads (Pure)
• 2020

  A faster-than relation for semi-Markov decision processes

  Pedersen, M. R., Bacci, G. & Larsen, K. G., 20 jan. 2020, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 312, s. 29-42 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Markov Decision Process 100%
  • Timing Anomalies 100%
  • Stepwise Refinement 50%
  • Non-Functional Requirement 50%
  • Cyber Physical Systems 50%
  3 Citationer (Scopus)

  84 Downloads (Pure)

• Approximating Euclidean by Imprecise Markov Decision Processes

  Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (red.). Springer, s. 275-289 15 s. (Lecture Notes in Computer Science, Bind 12476).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Infinite Models 100%
  • Finite State Approximation 100%
  • State Approximation 100%
  9 Citationer (Scopus)

• Quantitative Algebraic Reasoning: An overview

  Bacci, G., 27 aug. 2020, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  • Open Problem 100%
  • Algebraic Property 100%
  • Extended Metric Space 100%
  • Concludes 100%
  • Review 100%

• Quantitative Equational Reasoning

  Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., dec. 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J.-P. & Silva, A. (red.). Cambridge University Press, s. 333-360

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

  • Logic Equation 100%
  • Metric Space 50%
  • Approximates 50%
  • Probability Theory 50%
  • Real Number 50%
  3 Citationer (Scopus)
• 2019

  Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

  Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Policy Iteration 100%
  • Prove Termination 100%
  • Simple Stochastic Games 66%
  6 Citationer (Scopus)

  59 Downloads (Pure)

• Converging from branching to linear metrics on Markov chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I: Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Markov Chain 100%
  • Linear Time 100%
  • Linear Metric 100%
  • Time Metrics 100%
  • Branching Time 66%
  3 Citationer (Scopus)

  67 Downloads (Pure)
• 2018

  A complete quantitative deduction system for the bisimilarity distance on markov chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2018, I: Logical Methods in Computer Science. 14, 4, 15.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Markov Chain 100%
  • Axiomatization 100%
  • Labelled Markov Chains 100%
  • Bisimilarity Distances 100%
  • Deduction System 100%
  8 Citationer (Scopus)

• A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

  Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 sep. 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (red.). Springer, s. 339-355 17 s. (Lecture Notes in Computer Science, Bind 11024).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Semi-Markov Decision Process 100%
  • Hemimetric 100%
  • Markov Decision Process 100%
  • Continuous-time Markov Decision Process (CTMDP) 33%
  • Atomic Proposition 33%
  2 Citationer (Scopus)

  120 Downloads (Pure)

• An Algebraic Theory of Markov Processes

  Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 jul. 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Markov Process 100%
  • Algebraic Theory 100%
  • Fundamental Model 25%
  • Contractive 25%
  • Logic Equation 25%
  16 Citationer (Scopus)

  196 Downloads (Pure)

• Boolean-valued semantics for the stochastic Lambda-calculus

  Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 jul. 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, s. 669-678 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Random Variable 100%
  • Syntactics 100%
  • Theoretic Model 100%
  • Valued Semantics 100%
  • lambda-calculus 100%
  9 Citationer (Scopus)

• Complete Axiomatization for the Total Variation Distance of Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Total Variation Distance 100%
  • Markov Chain 100%
  • Distributivity 50%
  • Representation Theorem 33%
  6 Citationer (Scopus)

  191 Downloads (Pure)

• Timed Comparisons of Semi-Markov Processes

  Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Markov Process 100%
  • Semi-Markov Process 100%
  • Automaton 20%
  • Dependent Behavior 20%
  • Approximation Algorithms 20%
  1 Citationer (Scopus)

  183 Downloads (Pure)
• 2017

  A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Axiomatization 100%
  • Markov Chain 100%
  • Deduction System 100%
  • Kleene 50%
  • Equational System 33%

• Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

  Aceto, L. (Redaktør), Bacci, G. (Redaktør), Bacci, G. (Redaktør), Ingolfsdottir, A. (Redaktør), Larsen, K. G. (Redaktør), Legay, A. (Redaktør) & Mardare, R. I. (Redaktør), 2017, Springer. 1 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 10460).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• On-the-Fly Computation of Bisimilarity Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I: Logical Methods in Computer Science. 13, 2

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Linear Program 100%
  • On-the-fly Computation 100%
  • Continuous Time 80%
  • Time Markov Chain 80%
  • State Space 40%
  6 Citationer (Scopus)

  93 Downloads (Pure)

• On the Metric-Based Approximate Minimization of Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  • Numerical Minimization 100%
  • Approximates 100%
  • Markov Chain 100%
  • Bilinear Programming 66%
  • Behavioural Metrics 33%
  8 Citationer (Scopus)
• 2016

  Complete Axiomatization for the Bisimilarity Distance on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  • Bisimilarity Distances 100%
  • Axiomatization 100%
  • Markov Chain 100%
  • Labelled Markov Chains 50%
  • Deductive System 50%
  6 Citationer (Scopus)
• 2015

  Converging from Branching to Linear Metrics on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Markov Chain 100%
  • Linear Metric 100%
  • Approximant 66%
  • Linear Time 66%
  • Time Metrics 66%
  16 Citationer (Scopus)

• On the Total Variation Distance of Semi-Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Total Variation Distance 100%
  • Markov Chain 100%
  • Semi-Markov Chain 100%
  • Total Variation 100%
  • Decidability 25%
  12 Citationer (Scopus)

• Structural Operational Semantics for Continuous State Stochastic Transition Systems

  Bacci, G. & Miculan, M., aug. 2015, I: Journal of Computer and System Sciences. 81, 5, s. 834–858

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Calculus 100%
  • Finite Measure 100%
  • Stochastic Transition 100%
  • Stochastic Process 100%
  • Measurable Space 100%
  10 Citationer (Scopus)
• 2014

  Bisimulation on Markov Processes over Arbitrary Measurable Spaces

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (red.). Springer Publishing Company, Bind 8464. s. 76-95 (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Markov Process 100%
  • Measurable Space 100%
  • Coincides 66%
  • Sufficient Condition 33%
  • Probability Measure 33%
  3 Citationer (Scopus)

• Finding a Forest in a Tree: the matching problem for wide reactive systems

  Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (red.). Springer Publishing Company, Bind 8902. s. 17-33 (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Reactive System 100%
  • Reaction Rules 100%
  • Matching Problem 100%
  • Remote Procedure Call 50%
  • Exponential Explosion 50%
  4 Citationer (Scopus)

• The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (red.). Microsoft Research, s. 15-26

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til rapport › Forskning › peer review
• 2013

  Computing Behavioral Distances, Compositionally

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind 8087. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  25 Citationer (Scopus)

• On-the-Fly Exact Computation of Bisimilarity Distances

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (red.). Springer Publishing Company, Bind 7795. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  36 Citationer (Scopus)

• The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (red.). Springer Publishing Company, Bind 8054. s. 278-281 4 s. (Lecture Notes in Computer Science, Bind 8054).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  8 Citationer (Scopus)
• 2012

  Measurable Stochastic for Brane Calculus

  Bacci, G. & Miculan, M., maj 2012, I: Theoretical Computer Science. 431, s. 117-136

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Transition System 100%
  • Syntactics 100%
  • Markov Process 100%
  • Brane Calculus 100%
  • Branes 33%
  7 Citationer (Scopus)

  96 Downloads (Pure)

• Structural Operational Semantics for Continuous State Probabilistic Processes

  Bacci, G. & Miculan, M., 2012, I: Lecture Notes in Computer Science. 7399, s. 71-89

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Probabilistic Processes 100%
  • Continuous States 100%
  • Continuous Data 100%
  • coalgebra 100%
  • Abstract Universal 33%
  8 Citationer (Scopus)

  158 Downloads (Pure)
• 2011

  On the statistical thermodynamics of communicating processes

  Bacci, G., Danos, V. & Kammar, O., 2011, I: Lecture Notes in Computer Science. 6859, s. 1-18

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Metropolis-Hasting Algorithm 100%
  • Time Average 100%
  • Grand Canonical Ensemble 100%
  • Equilibrium State 100%
  • Communicating Processes 100%
  15 Citationer (Scopus)

  310 Downloads (Pure)
• 2010

  Measurable Stochastic for Brane Calculus

  Bacci, G. & Miculan, M., 2010, I: Electronic Proceedings in Theoretical Computer Science. 40, s. 6-22

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Calculus 100%
  • Branes 100%
  • Stochastics 100%
  • Transition System 100%
  • Syntactics 100%
  95 Downloads (Pure)

• On Decidability of Bigraphical Sortings

  Bacci, G. & Grohmann, D., 2010, CTIT Workshop Proceedings WP 2010-05. s. 33-47

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Computational Modeling 100%
  • Expressive Power 100%
  • Decidability Problems 16%
  • Communicating Systems 16%
  • Homomorphic Sorting 16%
  250 Downloads (Pure)
• 2009

  A framework for protein and membrane interactions

  Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Electronic Proceedings in Theoretical Computer Science. 11

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Membrane Interaction 100%
  • Reactive System 100%
  • Interaction Membrane 100%
  • Transition System 50%
  • Allowed Interaction 50%
  2 Citationer (Scopus)

  304 Downloads (Pure)

• Bigraphical models for protein and membrane interactions

  Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Electronic Proceedings in Theoretical Computer Science. 11, s. 3-18

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Reactive System 100%
  • Interaction Membrane 100%
  • Biological System 100%
  • Bigraphical Model 100%
  • Calculus 100%
  11 Citationer (Scopus)

  325 Downloads (Pure)

• DBtk: a Toolkit for Directed Bigraphs

  Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Lecture Notes in Computer Science. 5728, s. 413-422

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Textual Language 100%
  • Text Linguistics 25%
  • Simulator Tools 25%
  20 Citationer (Scopus)

  110 Downloads (Pure)
• 2008

  Undecidability of Model checking in Brane Logic

  Bacci, G. & Miculan, M., 10 nov. 2008, I: Electronic Notes in Theoretical Computer Science. 192, 3, s. 23-37

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Model Checking 100%
  • Biological Membranes 50%
  • Constructors 25%
  89 Downloads (Pure)
• 2006

  Modal Logics for Brane Calculus

  Bacci, G. & Miculan, M., 2006, I: Lecture Notes in Computer Science. 4210, s. 1-16

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Fil

  • Proof System 100%
  • model checker 100%
  • Temporal Modalities 25%
  • Transport Machinery 25%
  • Mobile Processes 25%
  12 Citationer (Scopus)

  109 Downloads (Pure)