|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 8 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Venansius Baryamureeba, John Ngubiri |
On Improvement of the Volcano Search and Optimization Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 839-846, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Giovanna D'Agostino, Albert Visser |
Finality regained: A coalgebraic study of Scott-sets and multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(3), pp. 267-298, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sanjeevi Krishnan |
A Convenient Category of Locally Preordered Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(5), pp. 445-466, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 54E99, 18F99, 18D15, 68Q85, 54F05 |
26 | Julia Padberg |
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(3), pp. 333-364, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42 |
26 | H. Peter Gumm |
On Minimal Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(3), pp. 313-332, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18B20, 68Q85, 16W30 |
26 | Karim Labadi |
A new stochastic Petri net model and its applications to logistics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 6(4), pp. 407-410, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MSC classification (2000) 68Q85, 90B05, 90B06, 93E03 |
26 | Martin Raussen |
Invariants of Directed Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 355-386, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30 |
26 | Marco Grandis |
Directed Algebraic Topology, Categories and Higher Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 341-353, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 55Pxx, 68Q85, 18D05 |
26 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 253-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85 |
26 | Alexander Bolotov, Artie Basukoski |
A clausal resolution method for branching-time logic ECTL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 235-263, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30 |
26 | Joe Kilian, Charles Rackoff, Erez Petrank |
Lower Bounds For Concurrent Zero Knowledge*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 25(2), pp. 217-249, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 68Q17, 68Q10, 68Q85 |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|