|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Wayne Hayes, Mart L. Molle |
Solving capture in switched two-node Ethernets by changing only one node. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 387-395, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
telecommunication switching, Ethernet medium access control protocol, switched two-node Ethernets, short-term unfairness, heavily loaded Ethernets, capture avoidance binary exponential back-off, two-node collision domain, equal time round-robin scheme, modified node, attempts counter, aggressively persistent system, completely passive system, low delay shared channel access, fair shared channel access, round-robin shared channel access, local area networks, access protocols, capture effect, active nodes |
33 | Murdoch James Gabbay, Aad Mathijssen |
Capture-avoiding substitution as a nominal algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 451-479, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution |
18 | Huanhui Cao, Zhiyuan Cai, Hairuo Wei, Wenjie Lu, Lin Zhang, Hao Xiong 0004 |
Safe Reinforcement Learning for a Robot Being Pursued but with Objectives Covering More Than Capture-avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.00842, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Nico Ritschel, Sebastian Erdweg |
Modular capture avoidance for program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015, pp. 59-70, 2015, ACM, 978-1-4503-3686-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
10 | Murdoch Gabbay, Aad Mathijssen |
A Formal Calculus for Informal Equality with Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 162-176, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Christine Röckl, Daniel Hirschkoff, Stefan Berghofer |
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 364-378, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|