Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
73 | 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 |
50 | 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 |
50 | Andreas Brandstädt, Feodor F. Dragan, Hoàng-Oanh Le, Van Bang Le, Ryuhei Uehara |
Tree Spanners for Bipartite Graphs and Probe Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers, pp. 106-118, 2003, Springer, 3-540-20452-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Chordal bipartite graph, Interval bigraph, Probe interval graph, Tree spanner, NP-completeness |
50 | Zhiming Chang, XinJun Mao, Zhichang Qi |
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 118-123, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Evaluating iterative improvement heuristics for bigraph crossing minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (6) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 444-447, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Heuristics and Experimental Design for Bigraph Crossing Number Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALENEX ![In: Algorithm Engineering and Experimentation, International Workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999, Selected Papers, pp. 74-93, 1999, Springer, 3-540-66227-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Crossing number minimization in graphs, graph equivalence classes, design of experiments |
44 | Zhiming Chang, XinJun Mao, Zhichang Qi |
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 57-66, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Robin Milner |
Bigraphical Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 16-35, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Robin Milner |
Bigraphical Categories. ![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. 30-36, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bigraph, ubiquitous computing, process, category |
28 | 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 |
28 | Steve Paul, Nathan Maurer, Souma Chowdhury |
Bigraph Matching Weighted with Learnt Incentive Function for Multi-Robot Task Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07131, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Altarui, Marino Miculan, Matteo Paier |
DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITASEC ![In: Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Jiaxin Zhang 0006, Wei Yang |
Spatial Foreground Bigraph Matching for Generalizable Person Re-identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (3) ![In: Artificial Neural Networks and Machine Learning - ICANN 2022 - 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part III, pp. 273-285, 2022, Springer, 978-3-031-15933-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Alexandr V. Kostochka, Mikhail Lavrov, Ruth Luo, Dara Zirlin |
Conditions for a Bigraph to be Super-Cyclic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 28(1), pp. 1, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Gustavus J. Simmons |
Two related (?) 2-edge-Hamiltonian bigraph conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. ICA ![In: Bull. ICA 88, pp. 98-117, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Gustavus J. Simmons |
Two related (?) 2-edge-Hamiltonian bigraph conjectures addendum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. ICA ![In: Bull. ICA 89, pp. 102-103, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
A CSP implementation of the directed bigraph embedding problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.10209, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Dom Huh |
Hierarchical BiGraph Neural Network as Recommendation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.16000, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Jiawei Lu, Huan Zhou, Haotian Zhu, Yuanming Zhang, Qianhui Liang, Gang Xiao 0001 |
DCEM: A data cell evolution model for service composition based on bigraph theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 112, pp. 330-347, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Chaoze Lu, Guosun Zeng, Ying-jie Xie |
Bigraph specification of software architecture and evolution analysis in mobile computing environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 108, pp. 662-676, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Tim Pattison, Aaron Ceglar |
Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis - 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings, pp. 223-240, 2019, Springer, 978-3-030-21461-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Chaoze Lu, Guosun Zeng, Wen-Juan Liu |
Software Evolution Rules with Condition Constrains to Support Component Type Matching Based on Bigraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 28(10), pp. 1429-1453, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Hanzhou Wu |
Minimizing Embedding Distortion with Weighted Bigraph Matching in Reversible Data Hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.06240, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Ishu Gupta, Ashutosh Kumar Singh 0001 |
A Probability based Model for Data Leakage Detection using Bigraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCNS ![In: Proceedings of the 7th International Conference on Communication and Network Security, ICCNS 2017, Tokyo, Japan, November 24-26, 2017, pp. 1-5, 2017, ACM, 978-1-4503-5349-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui |
A bigraph-based framework for specification and analysis of context-aware systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 6(4), pp. 322-342, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Chris Stary, Dominik Wachholder |
System-of-systems support - A bigraph approach to interoperability and emergent behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 105, pp. 155-172, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | P. Hemalatha |
Evenly Partite Directed Bigraph Factorization of Wreath Product of Graphs. ![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. 83-89, 2016, Springer, 978-3-319-64418-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Kaustuv Chaudhuri, Giselle Reis |
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 146-161, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Dominik Wachholder, Chris Stary |
Enabling emergent behavior in systems-of-systems through bigraph-based modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 10th System of Systems Engineering Conference, SoSE 2015, San Antonio, TX, USA, May 17-20, 2015, pp. 334-339, 2015, IEEE, 978-1-4799-7611-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Marino Miculan, Marco Peressotti |
A CSP implementation of the bigraph embedding problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.1042, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Dominik Wachholder, Chris Stary |
Bigraph-Ensured Interoperability for System(-of-Systems) Emergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2014 Workshops - Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings, pp. 241-254, 2014, Springer, 978-3-662-45549-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Zakaria Benzadri, Chafia Bouanaka, Faiza Belala |
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014., pp. 165-170, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Lian Yu, Wei-Tek Tsai, Xin Wei, Jerry Zeyu Gao 0002, Thomas T. Hildebrandt, Xiao Qun Guo |
Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobileCloud ![In: 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2014, Oxford, United Kingdom, April 8-11, 2014, pp. 67-76, 2014, IEEE Computer Society, 978-1-4799-2504-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Taha Abdelmoutaleb Cherfia, Faiza Belala |
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings, pp. 340-343, 2013, Springer, 978-3-642-39030-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Changyun Li, Junfeng Man, Zhibing Wang |
An Improved Method for Transaction Footprints Stripping with Bigraph System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 7(9), pp. 2141-2148, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Lisa Walton, Michael F. Worboys |
A Qualitative Bigraph Model for Indoor Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIScience ![In: Geographic Information Science - 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedings, pp. 226-240, 2012, Springer, 978-3-642-33023-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Maxime Beauquier, Carsten Schürmann |
A Bigraph Relational Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 14-28, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Huawei Zhai, Weishi Zhang, Licheng Cui, Jinyu Shi, Hui Li |
Toward formal description to metro services mechanism based on bigraph models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCPaR ![In: Third International Conference of Soft Computing and Pattern Recognition, SoCPaR 2011, Dalian, China, October 14-16, 2011, pp. 285-289, 2011, IEEE, 978-1-4577-1195-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt |
Spatio-temporal Evolution as Bigraph Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory - 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings, pp. 148-167, 2011, Springer, 978-3-642-23195-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Nicole Portmann |
How Many Steps Are Necessary to Separate a Bigraph? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 84(1), pp. 126-129, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 6, pp. 8, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Kazuhiko Ushio |
Evenly partite bigraph-factorization of symmetric complete tripartite digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 21, pp. 245-250, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Kazuhiko Ushio |
Bigraph-factorization of symmetric complete bipartite multi-digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 20, pp. 261-266, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Dennis P. Geller, Anthony J. W. Hilton |
How to colour the lines of a bigraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networks ![In: Networks 4(3), pp. 281-282, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
22 | VinhTuan Thai, Siegfried Handschuh |
Enhanced navigation and focus on TileBars with barycenter heuristic-based reordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 349-352, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
TileBars, barycenter heuristic, text exploration, reordering |
22 | César de Pablo-Sánchez, Paloma Martínez |
Building a Graph of Names and Contextual Patterns for Named Entity Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings, pp. 530-537, 2009, Springer, 978-3-642-00957-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
|