Search results for "Bigraphs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	On the Construction of Sorted Reactive Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
98	Mikkel Bundgaard, Vladimiro Sassone	Typed polyadic pi-calculus in bigraphs.	PPDP	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.	CALCO	2009	DBLP DOI BibTeX RDF
82	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
82	Davide Grohmann, Marino Miculan	Reactive Systems over Directed Bigraphs.	CONCUR	2007	DBLP DOI BibTeX RDF
82	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
62	Richard Garner, Tom Hirschowitz, Aurélien Pardon	Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.	CONCUR	2009	DBLP DOI BibTeX RDF
62	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
62	Davide Grohmann	Security, Cryptography and Directed Bigraphs.	ICGT	2008	DBLP DOI BibTeX RDF
62	Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone	Spatial Logics for Bigraphs.	ICALP	2005	DBLP DOI BibTeX RDF
62	Robin Milner	Bigraphs as a Model for Mobile Interaction.	ICGT	2002	DBLP DOI BibTeX RDF
45	Ashok Kumar Das, Indrajit Paul	Signed interval graphs and bigraphs: A generalization of interval graphs and bigraphs.	CoRR	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.	LATIN	2020	DBLP DOI BibTeX RDF
45	Ashok Kumar Das, Ritapa Chakraborty	New Characterizations of Proper Interval Bigraphs and Proper Circular Arc Bigraphs.	CALDAM	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.	COORDINATION	2008	DBLP DOI BibTeX RDF
42	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	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.	COSIT	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.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
23	Alessio Chiapperini, Marino Miculan, Marco Peressotti	Computing (optimal) embeddings of directed bigraphs.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
23	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Modelling and verifying BDI agents with bigraphs.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
23	Blair Archibald, Muffy Calder, Michele Sevegnani	Probabilistic Bigraphs.	Formal Aspects Comput.	2022	DBLP DOI BibTeX RDF
23	Arash Rafiey	Recognizing interval bigraphs by forbidden patterns.	J. Graph Theory	2022	DBLP DOI BibTeX RDF
23	Nicolas Nalpon, Cyril Allignol, Célia Picard	Towards a User Interface Description Language Based on Bigraphs.	ICTAC	2022	DBLP DOI BibTeX RDF
23	Dominik Grzelak, Uwe Aßmann	A Canonical String Encoding for Pure Bigraphs.	SN Comput. Sci.	2021	DBLP DOI BibTeX RDF
23	Martín D. Safe	Circularly Compatible Ones, D-Circularity, and Proper Circular-Arc Bigraphs.	SIAM J. Discret. Math.	2021	DBLP DOI BibTeX RDF
23	Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu	Modelling and Verifying BDI Agents with Bigraphs.	CoRR	2021	DBLP BibTeX RDF
23	Blair Archibald, Muffy Calder, Michele Sevegnani	Probablistic Bigraphs.	CoRR	2021	DBLP BibTeX RDF
23	Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani	Practical Bigraphs via Subgraph Isomorphism.	CP	2021	DBLP DOI BibTeX RDF
23	Dominik Grzelak, Barbara Priwitzer, Uwe Aßmann	Generating random bigraphs with preferential attachment.	CoRR	2020	DBLP BibTeX RDF
23	Edmilson Pereira da Cruz, Marina Groshaus, André Luiz Pires Guedes, Juan Pablo Puppo	Biclique graphs of interval bigraphs.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
23	Shantanu Prasad Burnwal, Mathukumalli Vidyasagar	Exact Completion of Rectangular Matrices Using Ramanujan Bigraphs.	ACC	2020	DBLP DOI BibTeX RDF
23	Shantanu Prasad Burnwal, Mathukumalli Vidyasagar	Deterministic Completion of Rectangular Matrices With Measurement Noise Using Unbalanced Ramanujan Bigraphs.	CDC	2020	DBLP DOI BibTeX RDF
23	Jan Gorzny, Jing Huang 0007	End-Vertices of AT-free Bigraphs.	COCOON	2020	DBLP DOI BibTeX RDF
23	Alessio Chiapperini, Marino Miculan, Marco Peressotti	Computing Embeddings of Directed Bigraphs.	ICGT	2020	DBLP DOI BibTeX RDF
23	Blair Archibald, Muffy Calder, Michele Sevegnani	Conditional Bigraphs.	ICGT	2020	DBLP DOI BibTeX RDF
23	Marina Groshaus, André Luiz Pires Guedes, Fabricio Schiavon Kolberg	Subclasses of Circular-Arc Bigraphs: Helly, Normal and Proper.	LAGOS	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.	Theor. Comput. Sci.	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.	CoRR	2019	DBLP BibTeX RDF
23	Martín D. Safe	Circularly compatible ones, D-circularity, and proper circular-arc bigraphs.	CoRR	2019	DBLP BibTeX RDF
23	Apostolos Syropoulos	Fuzzy Bigraphs: An Exercise in Fuzzy Communicating Agents.	CoRR	2019	DBLP BibTeX RDF
23	Fateh Latreche, Faiza Belala	Timed CTL checking of time critical cloud applications using timed bigraphs.	Int. J. Crit. Comput. Based Syst.	2019	DBLP DOI BibTeX RDF
23	Hamza Sahli, Thomas Ledoux, Éric Rutten	Modeling Self-adaptive Fog Systems Using Bigraphs.	SEFM Workshops	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.	FiCloud	2019	DBLP DOI BibTeX RDF
23	Jing Huang 0007	Non-edge orientation and vertex ordering characterizations of some classes of bigraphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
23	Ashok Kumar Das, Rajkamal Sahu	Mixed Unit Interval Bigraphs.	CALDAM	2018	DBLP DOI BibTeX RDF
23	Gustavus J. Simmons	On Edge Extremal Properties of Hamilton laceable bigraphs.	Bull. ICA	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.	CoRR	2017	DBLP BibTeX RDF
23	Jan Gorzny, Jing Huang 0007	End-vertices of LBFS of (AT-free) bigraphs.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
23	Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel	A tool for modeling SoS architectures using bigraphs.	SAC	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.	GD	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.	SOSE	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.	ACM Trans. Comput. Hum. Interact.	2016	DBLP DOI BibTeX RDF
23	Ralph J. Faudree, Jenö Lehel, Kiyoshi Yoshimoto	Locating Pairs of Vertices on a Hamiltonian Cycle in Bigraphs.	Graphs Comb.	2016	DBLP DOI BibTeX RDF
23	Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi	An EMOF-Compliant Abstract Syntax for Bigraphs.	GaM@ETAPS	2016	DBLP DOI BibTeX RDF
23	Ashok Kumar Das, Sandip Das 0001, Malay K. Sen	Forbidden substructure for interval digraphs/bigraphs.	Discret. Math.	2016	DBLP DOI BibTeX RDF
23	Michele Sevegnani, Muffy Calder	BigraphER: Rewriting and Analysis Engine for Bigraphs.	CAV (2)	2016	DBLP DOI BibTeX RDF
23	Ashok Kumar Das, Ritapa Chakraborty	Forbidden Subgraphs of Bigraphs of Ferrers Dimension 2.	ICTCSDM	2016	DBLP DOI BibTeX RDF
23	Michele Sevegnani, Muffy Calder	Bigraphs with sharing.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
23	Ashok Kumar Das, Ritapa Chakraborty	New characterizations of proper interval bigraphs.	AKCE Int. J. Graphs Comb.	2015	DBLP DOI BibTeX RDF
23	Jan Gorzny, Jing Huang 0007	End-vertices of LBFS of (AT-free) bigraphs.	CoRR	2015	DBLP BibTeX RDF
23	Gustavus J. Simmons	Cubic, edge critical, Hamilton laceable bigraphs.	Ars Comb.	2015	DBLP BibTeX RDF
23	Dong Xu, Jingjing Wang	Using Binding Bigraphs to Model Context-Aware Adaptive Applications.	COMPSAC Workshops	2015	DBLP DOI BibTeX RDF
23	Renan Krishna	Constructing runtime models with bigraphs to address ubiquitous computing service composition volatility.		2015	RDF
23	Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni	On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
23	Gustavus J. Simmons	A surprising regularity in the number of Hamilton paths in polygonal bigraphs.	Ars Comb.	2014	DBLP BibTeX RDF
23	Pranab K. Saha, Asim Basu, Malay K. Sen, Douglas B. West	Permutation bigraphs and interval containments.	Discret. Appl. Math.	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.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
23	Muffy Calder, Michele Sevegnani	Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.	Formal Aspects Comput.	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.	SERE	2014	DBLP DOI BibTeX RDF
23	Michael F. Worboys	Using bigraphs to model topological graphs embedded in orientable surfaces.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt	Big Red: A Development Environment for Bigraphs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
23	Gian Perrone, Søren Debois, Thomas T. Hildebrandt	A verification environment for bigraphs.	Innov. Syst. Softw. Eng.	2013	DBLP DOI BibTeX RDF
23	Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner	An inductive characterization of matching in binding bigraphs.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
23	Asim Basu, Sandip Das 0001, Shamik Ghosh, Malay K. Sen	Circular-Arc Bigraphs and Its Subclasses.	J. Graph Theory	2013	DBLP DOI BibTeX RDF
23	Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel	Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs.	ECSA	2013	DBLP DOI BibTeX RDF
23	Yoshio Okamoto, Yota Otachi, Ryuhei Uehara	On bipartite powers of bigraphs.	Discret. Math. Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
23	Arash Rafiey	Recognizing Interval Bigraphs by Forbidden Patterns	CoRR	2012	DBLP BibTeX RDF
23	Gian Perrone, Søren Debois, Thomas T. Hildebrandt	A model checker for Bigraphs.	SAC	2012	DBLP DOI BibTeX RDF
23	Michele Sevegnani	Bigraphs with sharing and applications in wireless networks.		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.	Int. J. Math. Math. Sci.	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.	Appl. Math. Lett.	2011	DBLP DOI BibTeX RDF
23	Clive Blackwell	Formally modeling the electricity grid with bigraphs.	CSIIRW	2011	DBLP DOI BibTeX RDF
23	Davide Grohmann, Marino Miculan	Graph Algebras for Bigraphs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
23	Michael Goldsmith, Sadie Creese	Refinement-Friendly Bigraphs and Spygraphs.	SEFM	2010	DBLP DOI BibTeX RDF
23	Richard Garner, Tom Hirschowitz, Aurélien Pardon	Variable binding, symmetric monoidal closed theories, and bigraphs	CoRR	2009	DBLP BibTeX RDF
23	David Richerby	Interval bigraphs are unit grid intersection graphs.	Discret. Math.	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.	J. Graph Theory	2009	DBLP DOI BibTeX RDF
23	Jean Krivine, Robin Milner, Angelo Troina	Stochastic Bigraphs.	MFPS	2008	DBLP DOI BibTeX RDF
23	Armen S. Asratian, Carl Johan Casselgren	On Path Factors of (3, 4)-Biregular Bigraphs.	Graphs Comb.	2008	DBLP DOI BibTeX RDF
23	Davide Grohmann, Marino Miculan	Controlling resource access in Directed Bigraphs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
23	Tom Hirschowitz, Aurélien Pardon	Binding bigraphs as symmetric monoidal closed theories	CoRR	2008	DBLP BibTeX RDF
23	Davide Grohmann, Marino Miculan	An Algebra for Directed Bigraphs.	TERMGRAPH@ETAPS	2007	DBLP DOI BibTeX RDF
23	Davide Grohmann, Marino Miculan	Directed Bigraphs.	MFPS	2007	DBLP DOI BibTeX RDF
23	Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner	Matching of Bigraphs.	GT-VC@CONCUR	2006	DBLP DOI BibTeX RDF
23	Robin Milner	Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).	EXPRESS	2006	DBLP DOI BibTeX RDF
23	Robin Milner	Bigraphs and Their Algebra.	LIX	2006	DBLP DOI BibTeX RDF
23	Shane Ó Conchúir	Kind Bigraphs.	MFCSIT	2006	DBLP DOI BibTeX RDF
23	Gregory Z. Gutin, Pavol Hell, Arash Rafiey, Anders Yeo	Minimum Cost Homomorphisms to Proper Interval Graphs and Bigraphs	CoRR	2006	DBLP BibTeX RDF
23	Troels Christoffer Damgaard, Lars Birkedal	Axiomatizing Binding Bigraphs.	Nord. J. Comput.	2006	DBLP BibTeX RDF
23	Robin Milner	Pure bigraphs: Structure and dynamics.	Inf. Comput.	2006	DBLP DOI BibTeX RDF