Bigraph (English Wikipedia)

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

Last modified: 16:36:18, 22 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

1918doi.org

2^nd place

87semanticscholar.org

15^th place

8^th place

33tu-berlin.de

8,273^rd place

low place

33worldcat.org

4^th place

33hdl.handle.net

66^th place

34^th place

32web.archive.org

1^st place

32acm.org

1,200^th place

821^st place

22springer.com

182^nd place

172^nd place

21cam.ac.uk

569^th place

354^th place

21arxiv.org

49^th place

31^st place

11ed.ac.uk

1,867^th place

1,129^th place

11uniud.it

low place

11nottingham.ac.uk

3,505^th place

1,837^th place

11gla.ac.uk

2,504^th place

1,408^th place

11nih.gov

5^th place

11adsabs.harvard.edu

14^th place

9^th place

acm.org (Global: 1,200^th place; English: 821^st place)

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.

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ui.adsabs.harvard.edu

Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), "DBtk: A Toolkit for Directed Bigraphs", in Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), 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

arxiv.org (Global: 49^th place; English: 31^st place)

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 (Global: 569^th place; English: 354^th place)

cl.cam.ac.uk

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

doi.org (Global: 2^nd place; English: 2^nd place)

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), "Security, Cryptography and Directed Bigraphs", in Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele (eds.), 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. 10: 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. Archived from the original (PDF) on 2017-11-07. Retrieved 2017-11-06.
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 978-3-319-41539-0.
Chiapperini, Alessio; Miculan, Marino; Peressotti, Marco (2020). "Computing Embeddings of Directed Bigraphs". In Gadducci, Fabio; Kehrer, Timo (eds.). Graph Transformation. Lecture Notes in Computer Science. Vol. 12150. Cham: Springer International Publishing. pp. 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. 61: 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. 71: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.
Bacci, Giorgio; Grohmann, Davide; Miculan, Marino (2009), "DBtk: A Toolkit for Directed Bigraphs", in Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), 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 (Global: 1,867^th place; English: 1,129^th place)

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.

gla.ac.uk (Global: 2,504^th place; English: 1,408^th place)

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 978-3-319-41539-0.

hdl.handle.net (Global: 66^th place; English: 34^th place)

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), "DBtk: A Toolkit for Directed Bigraphs", in Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), 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 (Global: 5^th place; English: 5^th place)

ncbi.nlm.nih.gov

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

nottingham.ac.uk (Global: 3,505^th place; English: 1,837^th place)

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. Archived from the original (PDF) on 2017-11-07. Retrieved 2017-11-06.

semanticscholar.org (Global: 15^th place; English: 8^th place)

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. Archived from the original (PDF) on 2017-11-07. Retrieved 2017-11-06.
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. 71: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Grohmann, Davide (2008), "Security, Cryptography and Directed Bigraphs", in Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele (eds.), 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), "DBtk: A Toolkit for Directed Bigraphs", in Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (eds.), 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 (Global: 8,273^rd place; English: low place)

journal.ub.tu-berlin.de

Grohmann, Davide; Miculan, Marino (2008-07-13). "Controlling resource access in Directed Bigraphs". Electronic Communications of the EASST. 10: 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. 61: 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. 71: Volume 71: Graph Computation Models 2014. doi:10.14279/TUJ.ECEASST.71.994. S2CID 243909.

uniud.it (Global: low place; English: low place)

users.dimi.uniud.it

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

web.archive.org (Global: 1^st place; English: 1^st place)

A Brief Introduction To Bigraphs, IT University of Copenhagen, Denmark.
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. Archived from the original (PDF) on 2017-11-07. Retrieved 2017-11-06.

worldcat.org (Global: 4^th place; English: 4^th place)

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. Archived from the original (PDF) on 2017-11-07. Retrieved 2017-11-06.
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.

Bigraph (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

arxiv.org (Global: 49th place; English: 31st place)

cam.ac.uk (Global: 569th place; English: 354th place)