Search results for "aspects"

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.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Ludwig Seitz, Erik Rissanen, Babak Sadighi Firozabadi	A Classification of Delegation Schemes for Attribute Authority.	Formal Aspects in Security and Trust	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	Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing	2005	DBLP DOI BibTeX RDF
21	Edgar H. Callaway Jr.	Low Power Consumption Features of the IEEE 802.15.4 WPAN Standard.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Honghai Zhang, Jennifer C. Hou	Maintaining Sensing Coverage and Connectivity in Large Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Rimon Barr, Zygmunt J. Haas, Robbert van Renesse	Scalable Wireless Ad Hoc Network Simulation.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Dongsheng Li 0001, Xicheng Lu, Chuanfu Xu	Topology Construction and Resource Discovery in Peer-to-Peer Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Ivan Stojmenovic	Geocasting in Ad Hoc and Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	B. S. Manoj 0001, C. Siva Ram Murthy	On Using Ad Hoc Relaying in Next-Generation Wireless Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Roberto Montemanni, Luca Maria Gambardella, Arindam Kumar Das	Models and Algorithms for the MPSCP.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Jakob Eriksson, Srikanth V. Krishnamurthy, Michalis Faloutsos	Routing Scalability in MANETs.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Zhengnan Shi, Pradip K. Srimani	Self-Stabilizing Distributed Systems and Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Thomas Moscibroda, Roger Wattenhofer	How to Structure Chaos: Initializing Ad Hoc and Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Yi Zou, Krishnendu Chakrabarty	Advances in Target Tracking and Active Surveillance Using Wireless Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Mehran Abolhasan, Tadeusz A. Wysocki	Ad Hoc Networks: A Flexible and Robust Data Communication.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	James Aspnes, Gauri Shah	Distributed Data Structures for Peer-to-Peer Systems.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Jelena V. Misic, Vojislav B. Misic	Adaptive Cycle-Controlled E-Limited Polling in Bluetooth Piconets.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Weimin Zheng, Xuezheng Liu, Shuming Shi, Jinfeng Hu, Haitao Dong	Peer-to-Peer: A Technical Perspective.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Xiao Chen 0001, Jian Shen 0005	Maximum Necessary Hop Count for Packet Routing in MANETs.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Y. Charlie Hu, Saumitra M. Das, Himabindu Pucha	Peer-to-Peer Overlay Abstractions in MANETs.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Yingwu Zhu, Yiming Hu	Semantic Search in Peer-to-Peer Systems.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Sameh El-Ansary, Seif Haridi	An Overview of Structured P2P Overlay Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Caimu Tang, Cauligi S. Raghavendra	Energy-Efficient Detection Algorithms for Wireless Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Chien-Chung Shen, Zhuochuan Huang	Topology Control for Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Hung-Chang Hsiao, Chung-Ta King	State Management in DHT with Last-Mile Wireless Extension.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	François Ingelrest, David Simplot-Ryl, Ivan Stojmenovic	Routing and Broadcasting in Hybrid Ad Hoc and Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Joseph Y. Halpern, Li (Erran) Li	Minimum-Energy Topology Control Algorithms in Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Mohamed G. Gouda, Young-ri Choi, Anish Arora	Antireplay Protocols for Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Ionut Cardei	QoS Support for Delay Sensitive Applications in Wireless Networks of UAVs.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Dong Xuan, Sriram Chellappan, Xun Wang	Resilience of Structured Peer-to-Peer Systems.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Xiuqi Li, Jie Wu 0001	Searching Techniques in Peer-to-Peer Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Xiang-Yang Li 0001, Weizhao Wang	Efficient Strategy-Proof Multicast in Selfish Wireless Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Haiying Shen, Aharon S. Brodie, Cheng-Zhong Xu 0001, Weisong Shi	Scalable and Secure P2P Overlay Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Hongqiang Zhai, Yuguang Fang	Medium Access Control Protocols in Mobile Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Marco Conti, Jon Crowcroft, Gaia Maselli, Giovanni Turi	A Modular Cross-Layer Architecture for Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Patrick Eugster	Reliable Computing in Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Qing Ye, Liang Cheng	Time Synchronization in Wireless Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Hai Liu 0001, Xiaohua Jia	Linear Programming Approaches to Optimization Problems of Energy Efficiency inWireless Ad Hoc Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Dongsoo Kim	Uniformly Distributed Algorithm for Virtual Backbone Routing in Ad Hoc Wireless Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Manish Kochhal, Loren Schwiebert, Sandeep K. S. Gupta	Self-Organization of Wireless Sensor Networks.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Yunhao Liu 0001, Li Xiao 0001, Lionel M. Ni	Peer-to-Peer Overlay Optimization.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	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.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Nicolas Sklavos 0001, Nikolay A. Moldovyan, Odysseas G. Koufopavlou	Wireless Networks World and Security Algorithms.	Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks	2005	DBLP DOI BibTeX RDF
21	Marco Gaertler, Dorothea Wagner	A Hybrid Model for Drawing Dynamic and Evolving Graphs.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	Marios Mavronicolas, Panagiota N. Panagopoulou, Paul G. Spirakis	A Cost Mechanism for Fair Pricing of Resource Usage.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	Stephen G. Kobourov, Alon Efrat, David Forrester, Anand Iyer	Force-Directed Approaches to Sensor Network Localization.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	David Hales, Stefano Arteconi	Friends for Free: Self-Organizing Artificial Social Networks for Trust and Cooperation.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	Nadine Baumann, Martin Skutella	Computing earliest arrival flows with multiple sources.	Algorithmic Aspects of Large and Complex Networks	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.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	Marios Mavronicolas, Panagiota N. Panagopoulou, Paul G. Spirakis	Cost Sharing Mechanisms for Fair Pricing of Resources Usage.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
21	Aybek Mukhamedov, Mark Dermot Ryan	On Anonymity with Identity Escrow.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Brian Randell, Peter Y. A. Ryan	Voting Technologies and Trust.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Tom Chothia, Dominic Duggan	Type-Based Distributed Access Control vs. Untyped Attackers.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Rob Delicata, Steve A. Schneider	A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Johan W. Klüwer, Arild Waaler	Relative Trustworthiness.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Gilles Barthe, Tamara Rezk, Ando Saabas	Proof Obligations Preserving Compilation.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Hongbin Zhou, Simon N. Foley	A Logic for Analysing Subterfuge in Delegation Chains.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi	Probable Innocence Revisited.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Olga Pacheco	Normative Specification: A Tool for Trust and Security.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Boris Köpf, Heiko Mantel	Eliminating Implicit Information Leaks by Transformational Typing and Unification.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Susan Pancho-Festin, Dieter Gollmann	On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Constantin Enea	Unifying Decidability Results on Protection Systems Using Simulations.	Formal Aspects in Security and Trust	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.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
21	Simon Winwood, Manuel M. T. Chakravarty	Secure Untrusted Binaries - Provably!.	Formal Aspects in Security and Trust	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	Integrative Bioinformatics - Aspects of the Virtual Cell	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	Aspects of Molecular Computing	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.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Rani Siromoney, Bireswar Das	Plasmids to Solve #3SAT.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Alessandra Carbone, Nadrian C. Seeman	Molecular Tiling and DNA Self-assembly.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Elizabeth Goode, Dennis Pixton	Splicing to the Limit.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Peter Leupold, Victor Mitrana, José M. Sempere	Formal Languages Arising from Gene Repeated Duplication.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Rodica Ceterchi, Carlos Martín-Vide, K. G. Subramanian 0001	On Some Classes of Splicing Languages.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Karel Culík II, Juhani Karhumäki, Petri Salmela	Fixed Point Approach to Commutation of Languages.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Masami Ito, Ryo Sugiura	n-Insertion on Languages.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Claudio Ferretti, Giancarlo Mauri	Remarks on Relativisations and DNA Encodings.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Solomon Marcus	The Duality of Patterning in Molecular Genetics.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Sergey Verlan	Communicating Distributed H Systems with Alternating Filters.	Aspects of Molecular Computing	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.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Erzsébet Csuhaj-Varjú, Arto Salomaa	The Power of Networks of Watson-Crick D0L Systems.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Manfred Kudlek	On Languages of Cyclic Words.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Masanori Arita	Writing Information into DNA.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Max H. Garzon, Kiranchand V. Bobba, Bryan P. Hyde	Digital Information Encoding on DNA.	Aspects of Molecular Computing	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.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Vincenzo Manca	A Proof of Regularity for Finite Splicing.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen	Balance Machines: Computing = Balancing.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara	An Algorithm for Testing Structure Freeness of Biomolecular Sequences.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
21	M. Sakthi Balan, Kamala Krithivasan	Realizing Switching Functions Using Peptide-Antibody Interactions.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF