|
|
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. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Giovanna D'Agostino, Albert Visser |
Finality regained: A coalgebraic study of Scott-sets and multisets. |
Arch. Math. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sanjeevi Krishnan |
A Convenient Category of Locally Preordered Spaces. |
Appl. Categorical Struct. |
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. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42 |
26 | H. Peter Gumm |
On Minimal Coalgebras. |
Appl. Categorical Struct. |
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. |
4OR |
2008 |
DBLP DOI BibTeX RDF |
MSC classification (2000) 68Q85, 90B05, 90B06, 93E03 |
26 | Martin Raussen |
Invariants of Directed Spaces. |
Appl. Categorical Struct. |
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. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 55Pxx, 68Q85, 18D05 |
26 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. |
Ann. Math. Artif. Intell. |
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+. |
Ann. Math. Artif. Intell. |
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*. |
Comb. |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 68Q17, 68Q10, 68Q85 |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|