|
|
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. |
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 |
|
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][ >>] |
|