Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
73 | Lisa Walton, Michael F. Worboys |
An Algebraic Approach to Image Schemas for Geographic Space. |
COSIT |
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. |
WICSA |
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. |
WG |
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. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Evaluating iterative improvement heuristics for bigraph crossing minimization. |
ISCAS (6) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Heuristics and Experimental Design for Bigraph Crossing Number Minimization. |
ALENEX |
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. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Robin Milner |
Bigraphical Reactive Systems. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Robin Milner |
Bigraphical Categories. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
bigraph, ubiquitous computing, process, category |
28 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. |
POPL |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Altarui, Marino Miculan, Matteo Paier |
DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. |
ITASEC |
2023 |
DBLP BibTeX RDF |
|
28 | Jiaxin Zhang 0006, Wei Yang |
Spatial Foreground Bigraph Matching for Generalizable Person Re-identification. |
ICANN (3) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Alexandr V. Kostochka, Mikhail Lavrov, Ruth Luo, Dara Zirlin |
Conditions for a Bigraph to be Super-Cyclic. |
Electron. J. Comb. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Gustavus J. Simmons |
Two related (?) 2-edge-Hamiltonian bigraph conjectures. |
Bull. ICA |
2020 |
DBLP BibTeX RDF |
|
28 | Gustavus J. Simmons |
Two related (?) 2-edge-Hamiltonian bigraph conjectures addendum. |
Bull. ICA |
2020 |
DBLP BibTeX RDF |
|
28 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
A CSP implementation of the directed bigraph embedding problem. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
28 | Dom Huh |
Hierarchical BiGraph Neural Network as Recommendation Systems. |
CoRR |
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. |
Future Gener. Comput. Syst. |
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. |
Future Gener. Comput. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Tim Pattison, Aaron Ceglar |
Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph. |
ICFCA |
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. |
Int. J. Softw. Eng. Knowl. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Hanzhou Wu |
Minimizing Embedding Distortion with Weighted Bigraph Matching in Reversible Data Hiding. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
28 | Ishu Gupta, Ashutosh Kumar Singh 0001 |
A Probability based Model for Data Leakage Detection using Bigraph. |
ICCNS |
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. |
Int. J. Crit. Comput. Based Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Chris Stary, Dominik Wachholder |
System-of-systems support - A bigraph approach to interoperability and emergent behavior. |
Data Knowl. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | P. Hemalatha |
Evenly Partite Directed Bigraph Factorization of Wreath Product of Graphs. |
ICTCSDM |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Kaustuv Chaudhuri, Giselle Reis |
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Dominik Wachholder, Chris Stary |
Enabling emergent behavior in systems-of-systems through bigraph-based modeling. |
SoSE |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Marino Miculan, Marco Peressotti |
A CSP implementation of the bigraph embedding problem. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
28 | Dominik Wachholder, Chris Stary |
Bigraph-Ensured Interoperability for System(-of-Systems) Emergence. |
OTM Workshops |
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. |
ICAASE |
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. |
MobileCloud |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Taha Abdelmoutaleb Cherfia, Faiza Belala |
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. |
ECSA |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Changyun Li, Junfeng Man, Zhibing Wang |
An Improved Method for Transaction Footprints Stripping with Bigraph System. |
J. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Lisa Walton, Michael F. Worboys |
A Qualitative Bigraph Model for Indoor Space. |
GIScience |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Maxime Beauquier, Carsten Schürmann |
A Bigraph Relational Model |
LFMTP |
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. |
SoCPaR |
2011 |
DBLP DOI BibTeX RDF |
|
28 | John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt |
Spatio-temporal Evolution as Bigraph Dynamics. |
COSIT |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Nicole Portmann |
How Many Steps Are Necessary to Separate a Bigraph? |
J. Comb. Theory, Ser. B |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh |
Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization. |
ACM J. Exp. Algorithmics |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Kazuhiko Ushio |
Evenly partite bigraph-factorization of symmetric complete tripartite digraphs. |
Australas. J Comb. |
2000 |
DBLP BibTeX RDF |
|
28 | Kazuhiko Ushio |
Bigraph-factorization of symmetric complete bipartite multi-digraphs. |
Australas. J Comb. |
1999 |
DBLP BibTeX RDF |
|
28 | Dennis P. Geller, Anthony J. W. Hilton |
How to colour the lines of a bigraph. |
Networks |
1974 |
DBLP DOI BibTeX RDF |
|
22 | VinhTuan Thai, Siegfried Handschuh |
Enhanced navigation and focus on TileBars with barycenter heuristic-based reordering. |
AVI |
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. |
ECIR |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi |
Type Systems for Bigraphs. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|