Bigraph (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Bigraph" in English language version.

refsWebsite

Global rank English rank

18doi.org

2^nd place

7semanticscholar.org

11^th place

8^th place

3tu-berlin.de

7,479^th place

9,681^st place

3worldcat.org

5^th place

3handle.net

102^nd place

76^th place

2acm.org

1,185^th place

840^th place

2springer.com

274^th place

309^th place

2sciencedirect.com

149^th place

178^th place

1web.archive.org

1^st place

1cam.ac.uk

670^th place

480^th place

1ed.ac.uk

1,871^st place

1,234^th place

1uniud.it

low place

1arxiv.org

69^th place

59^th place

1elsevier.com

610^th place

704^th place

1nottingham.ac.uk

4,422^nd place

2,579^th place

1gla.ac.uk

2,948^th place

1,879^th place

1nih.gov

4^th place

1harvard.edu

18^th place

17^th place

acm.org

dl.acm.org

Burco, Fabio; Miculan, Marino; Peressotti, Marco (2020-03-30). "Towards a formal model for composable container systems". Proceedings of the 35th Annual ACM Symposium on Applied Computing. Brno Czech Republic: ACM. pp. 173–175. arXiv:1912.01107. doi:10.1145/3341105.3374121. ISBN 978-1-4503-6866-7. S2CID 208547753.
Perrone, Gian; Debois, Søren; Hildebrandt, Thomas T. (2012). "A model checker for Bigraphs". Proceedings of the 27th Annual ACM Symposium on Applied Computing. Trento, Italy: ACM Press. pp. 1320–1325. doi:10.1145/2245276.2231985. ISBN 978-1-4503-0857-1. S2CID 15575008.

arxiv.org

Burco, Fabio; Miculan, Marino; Peressotti, Marco (2020-03-30). "Towards a formal model for composable container systems". Proceedings of the 35th Annual ACM Symposium on Applied Computing. Brno Czech Republic: ACM. pp. 173–175. arXiv:1912.01107. doi:10.1145/3341105.3374121. ISBN 978-1-4503-6866-7. S2CID 208547753.

cam.ac.uk

cl.cam.ac.uk

Milner, Robin. The Bigraphical Model, University of Cambridge Computer Laboratory, UK.

doi.org

Milner, Robin (2008). "Bigraphs and Their Algebra" (PDF). Electronic Notes in Theoretical Computer Science. 209: 5–19. doi:10.1016/j.entcs.2008.04.002.
Milner, Robin (2009). "Bigraphical Categories". CONCUR 2009 - Concurrency Theory. Lecture Notes in Computer Science. Vol. 5710. Springer-Verlag. pp. 30–36. doi:10.1007/978-3-642-04081-8_3.
Burco, Fabio; Miculan, Marino; Peressotti, Marco (2020-03-30). "Towards a formal model for composable container systems". Proceedings of the 35th Annual ACM Symposium on Applied Computing. Brno Czech Republic: ACM. pp. 173–175. arXiv:1912.01107. doi:10.1145/3341105.3374121. ISBN 978-1-4503-6866-7. S2CID 208547753.
Grohmann, Davide; Miculan, Marino (2007). "Directed Bigraphs". Electronic Notes in Theoretical Computer Science. 173: 121–137. doi:10.1016/j.entcs.2007.02.031. S2CID 15353215.
Grohmann, Davide (2008), Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele (eds.), "Security, Cryptography and Directed Bigraphs", Graph Transformations, Lecture Notes in Computer Science, vol. 5214, Berlin, Heidelberg: Springer, pp. 487–489, doi:10.1007/978-3-540-87405-8_41, ISBN 978-3-540-87404-1, retrieved 2021-01-11
Grohmann, Davide; Miculan, Marino (2008-07-13). "Controlling resource access in Directed Bigraphs". Electronic Communications of the EASST: Volume 10: Graph Transformation and Visual Modeling Techniques 2008. doi:10.14279/TUJ.ECEASST.10.142.
Sevegnani, Michele; Calder, Muffy (2015). "Bigraphs with sharing". Theoretical Computer Science. 577: 43–73. doi:10.1016/j.tcs.2015.02.011.
Calder, Muffy; Sevegnani, Michele (2014). "Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing". Formal Aspects of Computing. 26 (3): 537–561. doi:10.1007/s00165-012-0270-3.
Calder, Muffy; Koliousis, Alexandros; Sevegnani, Michele; Sventek, Joseph (2014). "Real-time verification of wireless home networks using bigraphs with sharing". Science of Computer Programming. 80: 288–310. doi:10.1016/j.scico.2013.08.004.
Benford, Steve; Calder, Muffy; Rodden, Tom; Sevegnani, Michele (2016-05-01). "On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces" (PDF). ACM Trans. Comput.-Hum. Interact. 23 (2): 9:1–9:56. doi:10.1145/2882784. ISSN 1073-0516. S2CID 16364443.
Sevegnani, Michele; Calder, Muffy (2016-07-17). Chaudhuri, Swarat; Farzan, Azadeh (eds.). Computer Aided Verification (PDF). Lecture Notes in Computer Science. Springer International Publishing. pp. 494–501. doi:10.1007/978-3-319-41540-6_27. ISBN 9783319415390.
Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2020). Gadducci, Fabio; Kehrer, Timo (eds.). "Computing Embeddings of Directed Bigraphs". Graph Transformation. Lecture Notes in Computer Science. 12150. Cham: Springer International Publishing: 38–56. doi:10.1007/978-3-030-51372-6_3. ISBN 978-3-030-51372-6. PMC 7314702.
Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2022-09-01). "Computing (optimal) embeddings of directed bigraphs". Science of Computer Programming. 221: 102842. doi:10.1016/j.scico.2022.102842. hdl:11390/1230764. ISSN 0167-6423. S2CID 251078299.
Perrone, Gian; Debois, Søren; Hildebrandt, Thomas T. (2012). "A model checker for Bigraphs". Proceedings of the 27th Annual ACM Symposium on Applied Computing. Trento, Italy: ACM Press. pp. 1320–1325. doi:10.1145/2245276.2231985. ISBN 978-1-4503-0857-1. S2CID 15575008.
Faithfull, Alexander John; Perrone, Gian; Hildebrandt, Thomas T. (2013-06-25). "Big Red: A Development Environment for Bigraphs". Electronic Communications of the EASST: Volume 61: Graph Computation Models 2012. doi:10.14279/TUJ.ECEASST.61.835.
Krivine, Jean; Milner, Robin; Troina, Angelo (2008-10-22). "Stochastic Bigraphs". Electronic Notes in Theoretical Computer Science. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218: 73–96. doi:10.1016/j.entcs.2008.10.006. hdl:20.500.11820/fa14f93c-411e-4fa1-93ee-c0be92033b78. ISSN 1571-0661. S2CID 35819217.
Mansutti, Alessio; Miculan, Marino; Peressotti, Marco (2015-09-06). "Distributed execution of bigraphical reactive systems". Electronic Communications of the EASST: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.
Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), "DBtk: A Toolkit for Directed Bigraphs", Algebra and Coalgebra in Computer Science, vol. 5728, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 413–422, Bibcode:2009LNCS.5728..413B, doi:10.1007/978-3-642-03741-2_28, hdl:11390/692597, ISBN 978-3-642-03740-5, retrieved 2021-01-18

ed.ac.uk

pure.ed.ac.uk

Milner, Robin (2008). "Bigraphs and Their Algebra" (PDF). Electronic Notes in Theoretical Computer Science. 209: 5–19. doi:10.1016/j.entcs.2008.04.002.

elsevier.com

linkinghub.elsevier.com

Grohmann, Davide; Miculan, Marino (2007). "Directed Bigraphs". Electronic Notes in Theoretical Computer Science. 173: 121–137. doi:10.1016/j.entcs.2007.02.031. S2CID 15353215.

gla.ac.uk

eprints.gla.ac.uk

Sevegnani, Michele; Calder, Muffy (2016-07-17). Chaudhuri, Swarat; Farzan, Azadeh (eds.). Computer Aided Verification (PDF). Lecture Notes in Computer Science. Springer International Publishing. pp. 494–501. doi:10.1007/978-3-319-41540-6_27. ISBN 9783319415390.

handle.net

hdl.handle.net

Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2022-09-01). "Computing (optimal) embeddings of directed bigraphs". Science of Computer Programming. 221: 102842. doi:10.1016/j.scico.2022.102842. hdl:11390/1230764. ISSN 0167-6423. S2CID 251078299.
Krivine, Jean; Milner, Robin; Troina, Angelo (2008-10-22). "Stochastic Bigraphs". Electronic Notes in Theoretical Computer Science. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218: 73–96. doi:10.1016/j.entcs.2008.10.006. hdl:20.500.11820/fa14f93c-411e-4fa1-93ee-c0be92033b78. ISSN 1571-0661. S2CID 35819217.
Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), "DBtk: A Toolkit for Directed Bigraphs", Algebra and Coalgebra in Computer Science, vol. 5728, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 413–422, Bibcode:2009LNCS.5728..413B, doi:10.1007/978-3-642-03741-2_28, hdl:11390/692597, ISBN 978-3-642-03740-5, retrieved 2021-01-18

harvard.edu

ui.adsabs.harvard.edu

Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), "DBtk: A Toolkit for Directed Bigraphs", Algebra and Coalgebra in Computer Science, vol. 5728, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 413–422, Bibcode:2009LNCS.5728..413B, doi:10.1007/978-3-642-03741-2_28, hdl:11390/692597, ISBN 978-3-642-03740-5, retrieved 2021-01-18

nih.gov

ncbi.nlm.nih.gov

Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2020). Gadducci, Fabio; Kehrer, Timo (eds.). "Computing Embeddings of Directed Bigraphs". Graph Transformation. Lecture Notes in Computer Science. 12150. Cham: Springer International Publishing: 38–56. doi:10.1007/978-3-030-51372-6_3. ISBN 978-3-030-51372-6. PMC 7314702.

nottingham.ac.uk

eprints.nottingham.ac.uk

Benford, Steve; Calder, Muffy; Rodden, Tom; Sevegnani, Michele (2016-05-01). "On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces" (PDF). ACM Trans. Comput.-Hum. Interact. 23 (2): 9:1–9:56. doi:10.1145/2882784. ISSN 1073-0516. S2CID 16364443.

sciencedirect.com

Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2022-09-01). "Computing (optimal) embeddings of directed bigraphs". Science of Computer Programming. 221: 102842. doi:10.1016/j.scico.2022.102842. hdl:11390/1230764. ISSN 0167-6423. S2CID 251078299.
Krivine, Jean; Milner, Robin; Troina, Angelo (2008-10-22). "Stochastic Bigraphs". Electronic Notes in Theoretical Computer Science. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218: 73–96. doi:10.1016/j.entcs.2008.10.006. hdl:20.500.11820/fa14f93c-411e-4fa1-93ee-c0be92033b78. ISSN 1571-0661. S2CID 35819217.

semanticscholar.org

api.semanticscholar.org

Burco, Fabio; Miculan, Marino; Peressotti, Marco (2020-03-30). "Towards a formal model for composable container systems". Proceedings of the 35th Annual ACM Symposium on Applied Computing. Brno Czech Republic: ACM. pp. 173–175. arXiv:1912.01107. doi:10.1145/3341105.3374121. ISBN 978-1-4503-6866-7. S2CID 208547753.
Grohmann, Davide; Miculan, Marino (2007). "Directed Bigraphs". Electronic Notes in Theoretical Computer Science. 173: 121–137. doi:10.1016/j.entcs.2007.02.031. S2CID 15353215.
Benford, Steve; Calder, Muffy; Rodden, Tom; Sevegnani, Michele (2016-05-01). "On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces" (PDF). ACM Trans. Comput.-Hum. Interact. 23 (2): 9:1–9:56. doi:10.1145/2882784. ISSN 1073-0516. S2CID 16364443.
Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2022-09-01). "Computing (optimal) embeddings of directed bigraphs". Science of Computer Programming. 221: 102842. doi:10.1016/j.scico.2022.102842. hdl:11390/1230764. ISSN 0167-6423. S2CID 251078299.
Perrone, Gian; Debois, Søren; Hildebrandt, Thomas T. (2012). "A model checker for Bigraphs". Proceedings of the 27th Annual ACM Symposium on Applied Computing. Trento, Italy: ACM Press. pp. 1320–1325. doi:10.1145/2245276.2231985. ISBN 978-1-4503-0857-1. S2CID 15575008.
Krivine, Jean; Milner, Robin; Troina, Angelo (2008-10-22). "Stochastic Bigraphs". Electronic Notes in Theoretical Computer Science. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218: 73–96. doi:10.1016/j.entcs.2008.10.006. hdl:20.500.11820/fa14f93c-411e-4fa1-93ee-c0be92033b78. ISSN 1571-0661. S2CID 35819217.
Mansutti, Alessio; Miculan, Marino; Peressotti, Marco (2015-09-06). "Distributed execution of bigraphical reactive systems". Electronic Communications of the EASST: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.

springer.com

link.springer.com

Grohmann, Davide (2008), Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele (eds.), "Security, Cryptography and Directed Bigraphs", Graph Transformations, Lecture Notes in Computer Science, vol. 5214, Berlin, Heidelberg: Springer, pp. 487–489, doi:10.1007/978-3-540-87405-8_41, ISBN 978-3-540-87404-1, retrieved 2021-01-11
Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), "DBtk: A Toolkit for Directed Bigraphs", Algebra and Coalgebra in Computer Science, vol. 5728, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 413–422, Bibcode:2009LNCS.5728..413B, doi:10.1007/978-3-642-03741-2_28, hdl:11390/692597, ISBN 978-3-642-03740-5, retrieved 2021-01-18

tu-berlin.de

journal.ub.tu-berlin.de

Grohmann, Davide; Miculan, Marino (2008-07-13). "Controlling resource access in Directed Bigraphs". Electronic Communications of the EASST: Volume 10: Graph Transformation and Visual Modeling Techniques 2008. doi:10.14279/TUJ.ECEASST.10.142.
Faithfull, Alexander John; Perrone, Gian; Hildebrandt, Thomas T. (2013-06-25). "Big Red: A Development Environment for Bigraphs". Electronic Communications of the EASST: Volume 61: Graph Computation Models 2012. doi:10.14279/TUJ.ECEASST.61.835.
Mansutti, Alessio; Miculan, Marino; Peressotti, Marco (2015-09-06). "Distributed execution of bigraphical reactive systems". Electronic Communications of the EASST: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.

uniud.it

users.dimi.uniud.it

Miculan, Marino; Peressotti, Marco (2013). Bigraphs reloaded: a presheaf presentation (PDF).

web.archive.org

A Brief Introduction To Bigraphs, IT University of Copenhagen, Denmark.

worldcat.org

search.worldcat.org

Benford, Steve; Calder, Muffy; Rodden, Tom; Sevegnani, Michele (2016-05-01). "On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces" (PDF). ACM Trans. Comput.-Hum. Interact. 23 (2): 9:1–9:56. doi:10.1145/2882784. ISSN 1073-0516. S2CID 16364443.
Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2022-09-01). "Computing (optimal) embeddings of directed bigraphs". Science of Computer Programming. 221: 102842. doi:10.1016/j.scico.2022.102842. hdl:11390/1230764. ISSN 0167-6423. S2CID 251078299.
Krivine, Jean; Milner, Robin; Troina, Angelo (2008-10-22). "Stochastic Bigraphs". Electronic Notes in Theoretical Computer Science. Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218: 73–96. doi:10.1016/j.entcs.2008.10.006. hdl:20.500.11820/fa14f93c-411e-4fa1-93ee-c0be92033b78. ISSN 1571-0661. S2CID 35819217.