|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26213 occurrences of 9204 keywords
|
|
|
Results
Found 38991 publication records. Showing 38991 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré |
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 47-64, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Security Games, Computational Soundness of Formal Methods, Provable Security, Probabilistic Encryption |
21 | Johannes Borgström, Olga Grinchtein, Simon Kramer 0001 |
Timed Calculus of Cryptographic Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 16-30, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Applied process calculi, timed cryptographic protocols, model-based specification and verification, formal modelling |
21 | Ilaria Matteucci |
A Tool for the Synthesis of Controller Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 112-126, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi |
A Classification of Delegation Schemes for Attribute Authority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 158-169, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ravi Janardan, Michiel H. M. Smid, Debasis Dutta (eds.) |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, October 7-9, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing ![DIMACS/AMS, 0-8218-3628-5 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Edgar H. Callaway Jr. |
Low Power Consumption Features of the IEEE 802.15.4 WPAN Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 575-586, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Honghai Zhang, Jennifer C. Hou |
Maintaining Sensing Coverage and Connectivity in Large Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 453-474, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Rimon Barr, Zygmunt J. Haas, Robbert van Renesse |
Scalable Wireless Ad Hoc Network Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 297-316, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Douglas M. Blough, Mauro Leoncini, Giovanni Resta, Paolo Santi |
Comparison of Cell-Based and Topology-Control-Based Energy Conservation in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 507-528, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dongsheng Li 0001, Xicheng Lu, Chuanfu Xu |
Topology Construction and Resource Discovery in Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 733-752, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ivan Stojmenovic |
Geocasting in Ad Hoc and Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 79-98, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | B. S. Manoj 0001, C. Siva Ram Murthy |
On Using Ad Hoc Relaying in Next-Generation Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 251-266, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Montemanni, Luca Maria Gambardella, Arindam Kumar Das |
Models and Algorithms for the MPSCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 133-146, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ashraf Wadaa, Kennie H. Jones, Stephan Olariu, Larry Wilson, Mohamed Eltoweissy |
A Scalable Solution for Securing Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 547-560, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jakob Eriksson, Srikanth V. Krishnamurthy, Michalis Faloutsos |
Routing Scalability in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 17-34, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Zhengnan Shi, Pradip K. Srimani |
Self-Stabilizing Distributed Systems and Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 393-402, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Moscibroda, Roger Wattenhofer |
How to Structure Chaos: Initializing Ad Hoc and Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 347-368, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Yi Zou, Krishnendu Chakrabarty |
Advances in Target Tracking and Active Surveillance Using Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 475-490, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mehran Abolhasan, Tadeusz A. Wysocki |
Ad Hoc Networks: A Flexible and Robust Data Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 267-282, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | James Aspnes, Gauri Shah |
Distributed Data Structures for Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 685-700, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jelena V. Misic, Vojislav B. Misic |
Adaptive Cycle-Controlled E-Limited Polling in Bluetooth Piconets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 283-296, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Weimin Zheng, Xuezheng Liu, Shuming Shi, Jinfeng Hu, Haitao Dong |
Peer-to-Peer: A Technical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 591-616, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Xiao Chen 0001, Jian Shen 0005 |
Maximum Necessary Hop Count for Packet Routing in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 43-52, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Y. Charlie Hu, Saumitra M. Das, Himabindu Pucha |
Peer-to-Peer Overlay Abstractions in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 845-864, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Yingwu Zhu, Yiming Hu |
Semantic Search in Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 643-664, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Sameh El-Ansary, Seif Haridi |
An Overview of Structured P2P Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 665-684, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Gruia Calinescu, Ophir Frieder, Peng-Jun Wan |
A Survey of Algorithms for Power Assignment in Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 147-158, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Caimu Tang, Cauligi S. Raghavendra |
Energy-Efficient Detection Algorithms for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 491-506, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jang-Ping Sheu, Yuh-Shyan Chen, Chih-Yung Chang |
Energy Conservation for Broadcast and Multicast Routings in Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 159-176, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Chien-Chung Shen, Zhuochuan Huang |
Topology Control for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 99-114, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Hung-Chang Hsiao, Chung-Ta King |
State Management in DHT with Last-Mile Wireless Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 701-732, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | François Ingelrest, David Simplot-Ryl, Ivan Stojmenovic |
Routing and Broadcasting in Hybrid Ad Hoc and Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 415-426, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Joseph Y. Halpern, Li (Erran) Li |
Minimum-Energy Topology Control Algorithms in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 115-132, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed G. Gouda, Young-ri Choi, Anish Arora |
Antireplay Protocols for Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 561-574, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ionut Cardei |
QoS Support for Delay Sensitive Applications in Wireless Networks of UAVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 529-546, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dong Xuan, Sriram Chellappan, Xun Wang |
Resilience of Structured Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 767786-, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Xiuqi Li, Jie Wu 0001 |
Searching Techniques in Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 617-642, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Guohong Cao, Guiling Wang 0001, Tom La Porta, Shashi Phoha, Wensheng Zhang 0001 |
Distributed Algorithms for Deploying Mobile Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 427-440, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dharma P. Agrawal, Ratnabali Biswas, Neha Jain 0001, Anindo Mukherjee, Sandhya Sekhar, Aditya Gupta |
Sensor Systems: State of the Art and Future Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 317-346, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Xiang-Yang Li 0001, Weizhao Wang |
Efficient Strategy-Proof Multicast in Selfish Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 53-78, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Haiying Shen, Aharon S. Brodie, Cheng-Zhong Xu 0001, Weisong Shi |
Scalable and Secure P2P Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 813-844, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Hongqiang Zhai, Yuguang Fang |
Medium Access Control Protocols in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 231-250, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Marco Conti, Jon Crowcroft, Gaia Maselli, Giovanni Turi |
A Modular Cross-Layer Architecture for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 5-16, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Eugster |
Reliable Computing in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 219-230, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Qing Ye, Liang Cheng |
Time Synchronization in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 403-414, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Hai Liu 0001, Xiaohua Jia |
Linear Programming Approaches to Optimization Problems of Energy Efficiency inWireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 177-192, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Chi-Fu Huang, Po-Yu Chen 0002, Yu-Chee Tseng, Wen-Tsuen Chen |
Models and Algorithms for Coverage Problems in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 441-452, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dongsoo Kim |
Uniformly Distributed Algorithm for Virtual Backbone Routing in Ad Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 35-42, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Manish Kochhal, Loren Schwiebert, Sandeep K. S. Gupta |
Self-Organization of Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 369-392, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Yunhao Liu 0001, Li Xiao 0001, Lionel M. Ni |
Peer-to-Peer Overlay Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 753-766, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Fred B. Holt, Virgil Bourassa, Andrija M. Bosnjakovic, Jovan Popovic |
Swan: Highly Reliable and Efficient Network of True Peers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 787-812, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Sklavos 0001, Nikolay A. Moldovyan, Odysseas G. Koufopavlou |
Wireless Networks World and Security Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks ![In: Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, pp. 193-218, 2005, CRC Press / Taylor & Francis, 978-0-8493-2832-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Marco Gaertler, Dorothea Wagner |
A Hybrid Model for Drawing Dynamic and Evolving Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Marios Mavronicolas, Panagiota N. Panagopoulou, Paul G. Spirakis |
A Cost Mechanism for Fair Pricing of Resource Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Stephen G. Kobourov, Alon Efrat, David Forrester, Anand Iyer |
Force-Directed Approaches to Sensor Network Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | David Hales, Stefano Arteconi |
Friends for Free: Self-Organizing Artificial Social Networks for Trust and Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Nadine Baumann, Martin Skutella |
Computing earliest arrival flows with multiple sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Sándor P. Fekete, Alexander Kröller, Dennis Pfisterer, Stefan Fischer 0001 |
Deterministic boundary recongnition and topology extraction for large sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Marios Mavronicolas, Panagiota N. Panagopoulou, Paul G. Spirakis |
Cost Sharing Mechanisms for Fair Pricing of Resources Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Aybek Mukhamedov, Mark Dermot Ryan |
On Anonymity with Identity Escrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 235-243, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Brian Randell, Peter Y. A. Ryan |
Voting Technologies and Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 1-4, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Tom Chothia, Dominic Duggan |
Type-Based Distributed Access Control vs. Untyped Attackers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 203-216, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Rob Delicata, Steve A. Schneider |
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 34-46, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt |
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 16-33, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Ad hoc network, Intrusion Detection, Network Security, Formal reasoning |
21 | Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan |
Opacity Generalised to Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 81-95, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity |
21 | Kun Wei, James Heather |
Towards Verification of Timed Non-repudiation Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 244-257, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Johan W. Klüwer, Arild Waaler |
Relative Trustworthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 158-170, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Gilles Barthe, Tamara Rezk, Ando Saabas |
Proof Obligations Preserving Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 112-126, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Hongbin Zhou, Simon N. Foley |
A Logic for Analysing Subterfuge in Delegation Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 127-141, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Probable Innocence Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 142-157, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Olga Pacheco |
Normative Specification: A Tool for Trust and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 187-202, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Romain Laborde, François Barrère, Abdelmalek Benzekri |
A Security Management Information Model Derivation Framework: From Goals to Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 217-234, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Boris Köpf, Heiko Mantel |
Eliminating Implicit Information Leaks by Transformational Typing and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 47-62, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Susan Pancho-Festin, Dieter Gollmann |
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 5-15, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Constantin Enea |
Unifying Decidability Results on Protection Systems Using Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 96-111, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Nicoletta De Francesco, Luca Martini |
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 63-80, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Simon Winwood, Manuel M. T. Chakravarty |
Secure Untrusted Binaries - Provably!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 171-186, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Julio Collado-Vides, Ralf Hofestädt, Christoph W. Sensen (eds.) |
Integrative Bioinformatics - Aspects of the Virtual Cell, 04.07. - 09.07.2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrative Bioinformatics - Aspects of the Virtual Cell ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg (eds.) |
Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![Springer, 3-540-20781-3 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Lucas Ledesma, Juan Pazos, Alfonso Rodríguez-Patón |
A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 289-296, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Rani Siromoney, Bireswar Das |
Plasmids to Solve #3SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 361-366, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Alessandra Carbone, Nadrian C. Seeman |
Molecular Tiling and DNA Self-assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 61-83, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Elizabeth Goode, Dennis Pixton |
Splicing to the Limit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 189-201, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Peter Leupold, Victor Mitrana, José M. Sempere |
Formal Languages Arising from Gene Repeated Duplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 297-308, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Rodica Ceterchi, Carlos Martín-Vide, K. G. Subramanian 0001 |
On Some Classes of Splicing Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 84-105, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Karel Culík II, Juhani Karhumäki, Petri Salmela |
Fixed Point Approach to Commutation of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 119-131, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Masami Ito, Ryo Sugiura |
n-Insertion on Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 213-218, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Claudio Ferretti, Giancarlo Mauri |
Remarks on Relativisations and DNA Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 132-138, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Solomon Marcus |
The Duality of Patterning in Molecular Genetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 318-321, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sergey Verlan |
Communicating Distributed H Systems with Alternating Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 367-384, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Mario J. Pérez-Jiménez, Álvaro Romero Jiménez, Fernando Sancho-Caparrini |
The P Versus NP Problem Through Cellular Computing with Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 338-352, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Erzsébet Csuhaj-Varjú, Arto Salomaa |
The Power of Networks of Watson-Crick D0L Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 106-118, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Manfred Kudlek |
On Languages of Cyclic Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 278-288, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Masanori Arita |
Writing Information into DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 23-35, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Max H. Garzon, Kiranchand V. Bobba, Bryan P. Hyde |
Digital Information Encoding on DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 152-166, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan |
Solving Graph Problems by P Systems with Restricted Elementary Active Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 1-22, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Vincenzo Manca |
A Proof of Regularity for Finite Splicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 309-317, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen |
Balance Machines: Computing = Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 36-48, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara |
An Algorithm for Testing Structure Freeness of Biomolecular Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 266-277, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | M. Sakthi Balan, Kamala Krithivasan |
Realizing Switching Functions Using Peptide-Antibody Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Molecular Computing ![In: Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, pp. 353-360, 2004, Springer, 3-540-20781-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 38991 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|