The following pages link to full work available at URL (P205):
Displaying 50 items.
- Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings (Q283648) (← links)
- Integration of AI and OR techniques in constraint programming. 13th international conference, CPAIOR 2016, Banff, AB, Canada, May 29 -- June 1, 2016. Proceedings (Q283649) (← links)
- Advances in artificial intelligence. 29th Canadian conference on artificial intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 -- June 3, 2016. Proceedings (Q283650) (← links)
- Denumerants of 3-numerical semigroups (Q283653) (← links)
- Recovering the conductances on grids (Q283654) (← links)
- On the ascending subgraph decomposition problem for bipartite graphs (Q283657) (← links)
- Closed formulae for the local metric dimension of corona product graphs (Q283660) (← links)
- Partial permutation decoding for binary linear Hadamard codes (Q283663) (← links)
- Combinatorial proof for a stability property of plethysm coefficients (Q283666) (← links)
- Rings of graphs (Q283670) (← links)
- Distortion of the hyperbolicity constant in minor graphs (Q283673) (← links)
- Dirichlet-to-Robin matrix on networks (Q283674) (← links)
- An enumerative algorithm for \#2SAT (Q283678) (← links)
- An approximate algorithm for the chromatic number of graphs (Q283679) (← links)
- Characterization of the hyperbolicity in the lexicographic product (Q283681) (← links)
- A problem of Shapozenko on Johnson graphs (Q283683) (← links)
- Potential theory on finite networks (Q283684) (← links)
- \(k\)-metric resolvability in graphs (Q283685) (← links)
- Laplacian matrix of a weighted graph with new pendant vertices (Q283686) (← links)
- Bounds on the hyperbolicity constant (Q283688) (← links)
- Monitoring maximal outerplanar graphs (Q283691) (← links)
- The graph distance game and some graph operations (Q283692) (← links)
- The number of empty four-gons in random point sets (Q283694) (← links)
- On the strong metric dimension of product graphs (Q283695) (← links)
- An algorithm to compute the primitive elements of an embedding dimension three numerical semigroup. (Q283697) (← links)
- Mixed Moore Cayley graphs (Q283700) (← links)
- On sufficient conditions for the RNIEP and their margins of realizability (Q283703) (← links)
- Linearly dependent vectorial decomposition of clutters (Q283705) (← links)
- The Kirchhoff index of unicycle weighted chains (Q283706) (← links)
- LD-graphs and global location-domination in bipartite graphs (Q283710) (← links)
- Searching for large multi-loop networks (Q283713) (← links)
- Simultaneous resolvability in graph families (Q283715) (← links)
- The numerical semigroup of the integers which are bounded by a submonoid of \(\mathbb N^2\). (Q283716) (← links)
- Isoperimetric inequalities in graphs and surfaces (Q283719) (← links)
- Graphs with small hyperbolicity constant (Q283721) (← links)
- Approximating degree sequences with regular graphic sequences (extended abstract) (Q283722) (← links)
- Relations between the differential and parameters in graphs (Q283724) (← links)
- About a class of Hadamard propelinear codes (Q283727) (← links)
- Efficient compression of distributed information in estimation fusion (Q283728) (← links)
- Estimation of noisy data: the case of partially missing information (Q283731) (← links)
- Distinctive power of the alliance polynomial for regular graphs (Q283733) (← links)
- On continuous nondeterminism and state minimality (Q283735) (← links)
- Coalgebraic update lenses (Q283736) (← links)
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Strategies as concurrent processes (Q283745) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Total maps of Turing categories (Q283751) (← links)
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- QRB, QFS, and the probabilistic powerdomain (Q283758) (← links)
