Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
On the Construction of Sorted Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 218-232, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
98 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 1-12, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
82 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
DBtk: A Toolkit for Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 413-422, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
82 | Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi |
Type Systems for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers, pp. 126-140, 2008, Springer, 978-3-642-00944-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
82 | Davide Grohmann, Marino Miculan |
Reactive Systems over Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 380-394, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Robin Milner |
Bigraphs for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 686-701, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
62 | Richard Garner, Tom Hirschowitz, Aurélien Pardon |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 321-337, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
62 | Zhiming Chang, XinJun Mao, Zhichang Qi |
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 18-22 February 2008, Vancouver, BC, Canada, pp. 331-334, 2008, IEEE Computer Society, 978-0-7695-3092-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bigraph, Software Architecture, Reconfiguration |
62 | Davide Grohmann |
Security, Cryptography and Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 487-489, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |
Spatial Logics for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 766-778, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Robin Milner |
Bigraphs as a Model for Mobile Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 8-13, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Ashok Kumar Das, Indrajit Paul |
Signed interval graphs and bigraphs: A generalization of interval graphs and bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.05917, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
45 | Marina Groshaus, André Luiz Pires Guedes, Fabricio Schiavon Kolberg |
On the Helly Subclasses of Interval Bigraphs and Circular Arc Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2020: Theoretical Informatics - 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings, pp. 637-648, 2020, Springer, 978-3-030-61791-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
45 | Ashok Kumar Das, Ritapa Chakraborty |
New Characterizations of Proper Interval Bigraphs and Proper Circular Arc Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALDAM ![In: Algorithms and Discrete Applied Mathematics - First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings, pp. 117-125, 2015, Springer, 978-3-319-14973-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
42 | Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss |
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 83-99, 2008, Springer, 978-3-540-68264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 38-49, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
40 | Lisa Walton, Michael F. Worboys |
An Algebraic Approach to Image Schemas for Geographic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 357-370, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bigraph Models, Spatial Relations, Image Schemas, Built Environments |
23 | Ashok Kumar Das, Rajkamal Sahu |
A characterization of unit interval bigraphs of open and closed intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 342, pp. 231-243, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
Computing (optimal) embeddings of directed bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 221, pp. 102842, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Modelling and verifying BDI agents with bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 215, pp. 102760, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Probabilistic Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 34(2), pp. 1-27, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Arash Rafiey |
Recognizing interval bigraphs by forbidden patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 100(3), pp. 504-529, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Nicolas Nalpon, Cyril Allignol, Célia Picard |
Towards a User Interface Description Language Based on Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 360-368, 2022, Springer, 978-3-031-17714-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Dominik Grzelak, Uwe Aßmann |
A Canonical String Encoding for Pure Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 2(4), pp. 246, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Martín D. Safe |
Circularly Compatible Ones, D-Circularity, and Proper Circular-Arc Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 35(2), pp. 707-751, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Modelling and Verifying BDI Agents with Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02578, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Probablistic Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02559, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani |
Practical Bigraphs via Subgraph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., pp. 15:1-15:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-211-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Dominik Grzelak, Barbara Priwitzer, Uwe Aßmann |
Generating random bigraphs with preferential attachment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07448, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Edmilson Pereira da Cruz, Marina Groshaus, André Luiz Pires Guedes, Juan Pablo Puppo |
Biclique graphs of interval bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 281, pp. 134-143, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shantanu Prasad Burnwal, Mathukumalli Vidyasagar |
Exact Completion of Rectangular Matrices Using Ramanujan Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 2203-2206, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shantanu Prasad Burnwal, Mathukumalli Vidyasagar |
Deterministic Completion of Rectangular Matrices With Measurement Noise Using Unbalanced Ramanujan Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 3477-3480, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jan Gorzny, Jing Huang 0007 |
End-Vertices of AT-free Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020, Proceedings, pp. 52-63, 2020, Springer, 978-3-030-58149-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
Computing Embeddings of Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 38-56, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Conditional Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 3-19, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Marina Groshaus, André Luiz Pires Guedes, Fabricio Schiavon Kolberg |
Subclasses of Circular-Arc Bigraphs: Helly, Normal and Proper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2019, Belo Horizonte, Brazil, June 2-7, 2019, pp. 497-509, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Michael A. Bekos, Felice De Luca, Walter Didimo, Tamara Mchedlidze, Martin Nöllenburg, Antonios Symvonis, Ioannis G. Tollis |
Planar drawings of fixed-mobile bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 795, pp. 408-419, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Shantanu Prasad Burnwal, Mathukumalli Vidyasagar, Kaneenika Sinha |
Deterministic Completion of Rectangular Matrices Using Ramanujan Bigraphs - II: Explicit Constructions and Phase Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03937, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Martín D. Safe |
Circularly compatible ones, D-circularity, and proper circular-arc bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00321, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Apostolos Syropoulos |
Fuzzy Bigraphs: An Exercise in Fuzzy Communicating Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.03680, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Fateh Latreche, Faiza Belala |
Timed CTL checking of time critical cloud applications using timed bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 9(4), pp. 379-406, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Hamza Sahli, Thomas Ledoux, Éric Rutten |
Modeling Self-adaptive Fog Systems Using Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers, pp. 252-268, 2019, Springer, 978-3-030-57505-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala |
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FiCloud ![In: 7th International Conference on Future Internet of Things and Cloud, FiCloud 2019, Istanbul, Turkey, August 26-28, 2019, pp. 64-71, 2019, IEEE, 978-1-7281-2888-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jing Huang 0007 |
Non-edge orientation and vertex ordering characterizations of some classes of bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 245, pp. 190-193, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Ashok Kumar Das, Rajkamal Sahu |
Mixed Unit Interval Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALDAM ![In: Algorithms and Discrete Applied Mathematics - 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings, pp. 15-29, 2018, Springer, 978-3-319-74179-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Gustavus J. Simmons |
On Edge Extremal Properties of Hamilton laceable bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. ICA ![In: Bull. ICA 80, pp. 21-39, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Michael A. Bekos, Felice De Luca, Walter Didimo, Tamara Mchedlidze, Martin Nöllenburg, Antonios Symvonis, Ioannis G. Tollis |
Planar Drawings of Fixed-Mobile Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.09238, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Jan Gorzny, Jing Huang 0007 |
End-vertices of LBFS of (AT-free) bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 225, pp. 87-94, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
A tool for modeling SoS architectures using bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pp. 1787-1792, 2017, ACM, 978-1-4503-4486-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Michael A. Bekos, Felice De Luca, Walter Didimo, Tamara Mchedlidze, Martin Nöllenburg, Antonios Symvonis, Ioannis G. Tollis |
Planar Drawings of Fixed-Mobile Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers, pp. 426-439, 2017, Springer, 978-3-319-73914-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Lian Yu, Wei-Tek Tsai, Chenjian Hu, Baijie Li, Jian-bin Hu, Enyan Deng |
Modeling Context-aware Legal Computing with Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: 2017 IEEE Symposium on Service-Oriented System Engineering, SOSE 2017, San Francisco, CA, USA, April 6-9, 2017, pp. 145-152, 2017, IEEE Computer Society, 978-1-5090-6320-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani |
On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 23(2), pp. 9:1-9:56, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Ralph J. Faudree, Jenö Lehel, Kiyoshi Yoshimoto |
Locating Pairs of Vertices on a Hamiltonian Cycle in Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(3), pp. 963-986, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi |
An EMOF-Compliant Abstract Syntax for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 16-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Ashok Kumar Das, Sandip Das 0001, Malay K. Sen |
Forbidden substructure for interval digraphs/bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 339(2), pp. 1028-1051, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Michele Sevegnani, Muffy Calder |
BigraphER: Rewriting and Analysis Engine for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 494-501, 2016, Springer, 978-3-319-41539-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Ashok Kumar Das, Ritapa Chakraborty |
Forbidden Subgraphs of Bigraphs of Ferrers Dimension 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCSDM ![In: Theoretical Computer Science and Discrete Mathematics - First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers, pp. 38-49, 2016, Springer, 978-3-319-64418-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Michele Sevegnani, Muffy Calder |
Bigraphs with sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 577, pp. 43-73, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ashok Kumar Das, Ritapa Chakraborty |
New characterizations of proper interval bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AKCE Int. J. Graphs Comb. ![In: AKCE Int. J. Graphs Comb. 12(1), pp. 47-53, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jan Gorzny, Jing Huang 0007 |
End-vertices of LBFS of (AT-free) bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.01307, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Gustavus J. Simmons |
Cubic, edge critical, Hamilton laceable bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 123, pp. 291-302, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Dong Xu, Jingjing Wang |
Using Binding Bigraphs to Model Context-Aware Adaptive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015, pp. 656-657, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Renan Krishna |
Constructing runtime models with bigraphs to address ubiquitous computing service composition volatility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
23 | Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni |
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 134(3-4), pp. 287-317, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Gustavus J. Simmons |
A surprising regularity in the number of Hamilton paths in polygonal bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 115, pp. 335-341, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Pranab K. Saha, Asim Basu, Malay K. Sen, Douglas B. West |
Permutation bigraphs and interval containments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 175, pp. 71-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek |
Real-time verification of wireless home networks using bigraphs with sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 80, pp. 288-310, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Muffy Calder, Michele Sevegnani |
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 26(3), pp. 537-561, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Lian Yu, Wei-Tek Tsai, Yanbing Jiang, Jerry Gao 0002 |
Generating Test Cases for Context-Aware Applications Using Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE ![In: Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014, pp. 137-146, 2014, IEEE, 978-1-4799-4296-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Michael F. Worboys |
Using bigraphs to model topological graphs embedded in orientable surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 484, pp. 56-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt |
Big Red: A Development Environment for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt |
A verification environment for bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 9(2), pp. 95-104, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner |
An inductive characterization of matching in binding bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(2), pp. 257-288, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Asim Basu, Sandip Das 0001, Shamik Ghosh, Malay K. Sen |
Circular-Arc Bigraphs and Its Subclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 73(4), pp. 361-376, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings, pp. 122-129, 2013, Springer, 978-3-642-39030-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Yoshio Okamoto, Yota Otachi, Ryuhei Uehara |
On bipartite powers of bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 14(2), pp. 11-20, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Arash Rafiey |
Recognizing Interval Bigraphs by Forbidden Patterns ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.2662, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt |
A model checker for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1320-1325, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Michele Sevegnani |
Bigraphs with sharing and applications in wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
23 | J. Vernold Vivin, K. Kaliraj, M. M. Ali Akbar |
Equitable Coloring on Total Graph of Bigraphs and Central Graph of Cycles and Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2011, pp. 279246:1-279246:5, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Fan Yang 0074, Xiangwen Li |
Interval coloring of (3, 4)-biregular bigraphs having two (2, 3)-biregular bipartite subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 24(9), pp. 1574-1577, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Clive Blackwell |
Formally modeling the electricity grid with bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIIRW ![In: Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011, pp. 23, 2011, ACM, 978-1-4503-0945-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Davide Grohmann, Marino Miculan |
Graph Algebras for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Michael Goldsmith, Sadie Creese |
Refinement-Friendly Bigraphs and Spygraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 203-207, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Richard Garner, Tom Hirschowitz, Aurélien Pardon |
Variable binding, symmetric monoidal closed theories, and bigraphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.4200, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | David Richerby |
Interval bigraphs are unit grid intersection graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(6), pp. 1718-1719, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Armen S. Asratian, Carl Johan Casselgren, Jennifer Vandenbussche, Douglas B. West |
Proper path-factors and interval edge-coloring of (3, 4)-biregular bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 61(2), pp. 88-97, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Jean Krivine, Robin Milner, Angelo Troina |
Stochastic Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008, pp. 73-96, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Armen S. Asratian, Carl Johan Casselgren |
On Path Factors of (3, 4)-Biregular Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 24(5), pp. 405-411, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Davide Grohmann, Marino Miculan |
Controlling resource access in Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Tom Hirschowitz, Aurélien Pardon |
Binding bigraphs as symmetric monoidal closed theories ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0810.4419, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Davide Grohmann, Marino Miculan |
An Algebra for Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@ETAPS ![In: Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 49-63, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Davide Grohmann, Marino Miculan |
Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007, pp. 121-137, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner |
Matching of Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GT-VC@CONCUR ![In: Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006, pp. 3-19, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Robin Milner |
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006, pp. 65-73, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Robin Milner |
Bigraphs and Their Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LIX ![In: Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006, pp. 5-19, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Shane Ó Conchúir |
Kind Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006, pp. 361-377, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Gregory Z. Gutin, Pavol Hell, Arash Rafiey, Anders Yeo |
Minimum Cost Homomorphisms to Proper Interval Graphs and Bigraphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0602038, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Troels Christoffer Damgaard, Lars Birkedal |
Axiomatizing Binding Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 13(1-2), pp. 58-77, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Robin Milner |
Pure bigraphs: Structure and dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 204(1), pp. 60-122, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|