|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3150 occurrences of 1305 keywords
|
|
|
Results
Found 5858 publication records. Showing 5858 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Ibrahim Al-Oqily, Ahmed Karmouch |
Automating Overlay Networks Management. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Yuki Koizumi, Takashi Miyamura, Shin'ichi Arakawa, Eiji Oki, Kohei Shiomoto, Masayuki Murata 0001 |
On the stability of virtual network topology control for overlay routing services. |
BROADNETS |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Stefan Behnel, Alejandro P. Buchmann, Paul Grace, Barry Porter, Geoff Coulson |
A Specification-to-Deployment Architecture for Overlay Networks. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Roberto Baldoni, Silvia Bonomi, Adriano Rippa, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito |
Evaluation of Unstructured Overlay Maintenance Protocols under Churn. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Wei Wang 0033, Guosun Zeng |
A Generic Trust Overlay Simulator for P2P Networks. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Ying Zhu 0007, Baochun Li |
Overlay Networks with Linear Capacity Constraints. |
IWQoS |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Yong Liu 0013, Honggang Zhang 0003, Weibo Gong, Donald F. Towsley |
On the interaction between overlay routing and underlay routing. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Wenjie Wang 0006, Cheng Jin 0009, Sugih Jamin |
Network overlay construction under limited end-to-end reachability. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Xiaoshe Dong, Xiuqiang He 0001, Hua Guo, Wancheng Li, Xingjun Zhang |
Construction of Overlay Network in P2P-based Resource Discovery Model in Grid Environment. |
SKG |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Yin Li, Xinli Huang, Fanyuan Ma, Futai Zou |
Building Efficient Super-Peer Overlay Network for DHT Systems. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Rolf Winter, Thomas Zahn, Jochen H. Schiller |
DynaMO: A Topology-Aware P2P Overlay Network for Dynamic, Mobile Ad-Hoc Environments. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
topological proximity, ad-hoc networks, mobility, peer-to-peer, DHTs |
43 | Karl Aberer, Philippe Cudré-Mauroux, Manfred Hauswirth, Tim Van Pelt |
GridVine: Building Internet-Scale Semantic Overlay Networks. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Yi Cui 0001, Yuan Xue 0001, Klara Nahrstedt |
Maxmin overlay multicast: rate allocation and tree construction. |
IWQoS |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Luc Onana Alima, Ali Ghodsi 0002, Seif Haridi |
A Framework for Structured Peer-to-Peer Overlay Networks. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Dong-Kyun Kim, Ki-Il Kim, Il-Sun Hwang, Sang-Ha Kim 0001 |
Hierarchical Overlay Data Delivery Tree Construction Adopting Host Group Model and Topology-Awareness. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Miguel Castro 0001, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron |
One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Luigi Liquori, Michel Cosnard |
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Andrew S. Fast, David D. Jensen, Brian Neil Levine |
Creating social networks to improve peer-to-peer networking. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
hierarchical dirichlet processes, social networks, distributed hash tables, overlay networks, peer-to-peer networks |
39 | Kunwadee Sripanidkulchai, Aditya Ganjam, Bruce M. Maggs, Hui Zhang 0001 |
The feasibility of supporting large-scale live streaming applications with dynamic application end-points. |
SIGCOMM |
2004 |
DBLP DOI BibTeX RDF |
peer-to-peer, overlay multicast, live streaming, application-level multicast |
39 | Joseph D. Touch |
Dynamic Internet Overlay Deployment and Management Using the X-Bone. |
ICNP |
2000 |
DBLP DOI BibTeX RDF |
dynamic Internet overlay deployment, dynamic Internet overlay management, network component sharing, overlapping virtual networks, shared infrastructure, two-layer IP, IP tunneled overlays, unmodified routing, DNS services, unmodified operating systems, recursive overlays, dynamic relocation, secure deployment, secure overlays, X-Bone architecture, fault tolerance, Internet, transport protocols, network topology, network topology, resource discovery, telecommunication network routing, multicast communication, network operating systems, computer network management, IP networks, telecommunication security, network configuration, network resources, multicast services |
38 | Hung-Chang Hsiao, Hao Liao |
The Peering Problem in Tree-Based Master/Worker Overlays. |
GPC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Alberto Montresor, Márk Jelasity, Özalp Babaoglu |
Chord on Demand. |
Peer-to-Peer Computing |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Li-Wei H. Lehman, Steven Lerman |
PCoord: Network Position Estimation Using Peer-to-Peer Measurements. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Roie Melamed, Idit Keidar |
Araneola: A Scalable Reliable Multicast System for Dynamic Environments. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Reza Rejaie, Shad Stafford |
A framework for architecting peer-to-peer receiver-driven overlays. |
NOSSDAV |
2004 |
DBLP DOI BibTeX RDF |
congestion control, peer-to-peer streaming |
38 | Nadir Shah, Depei Qian |
An efficient structured P2P overlay over MANET. |
MobiDE |
2010 |
DBLP DOI BibTeX RDF |
efficient overlay, MANET, structured P2P |
38 | Kwangok Jeong, Andrew B. Kahng, Rasit Onur Topaloglu |
Is overlay error more important than interconnect variations in double patterning? |
SLIP |
2009 |
DBLP DOI BibTeX RDF |
double patterning lithography, interconnect variations, overlay |
38 | Mei Li, Wang-Chien Lee, Anand Sivasubramaniam, Jing Zhao |
SSW: A Small-World-Based Overlay for Peer-to-Peer Search. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
Internet content sharing, distributed systems, peer-to-peer systems, overlay, distributed query processing, indexing methods, distributed data structure |
38 | Martin Holzer 0001, Frank Schulz 0001, Dorothea Wagner |
Engineering multilevel overlay graphs for shortest-path queries. |
ACM J. Exp. Algorithmics |
2008 |
DBLP DOI BibTeX RDF |
overlay graph, vertex selection, shortest path, preprocessing, hierarchical, Dijkstra's algorithm, multilevel, speed-up technique |
38 | K. Haribabu 0001, Chittaranjan Hota, Antti Ylä-Jääski |
Indexing through Querying in Unstructured Peer-to-Peer Overlay Networks. |
APNOMS |
2008 |
DBLP DOI BibTeX RDF |
Peer-to-Peer, Indexing, Overlay Networks, Bloom Filters, Lookup |
38 | Frank Dürr, Kurt Rothermel |
An Adaptive Overlay Network for World-Wide Geographic Messaging. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
geographic messaging, geographic communication, routing, location-based service, overlay network, communication network, network protocol, geocast |
38 | Yamin Li, Shietung Peng, Wanming Chu |
K-Tree Trunk and a Distributed Algorithm for Effective Overlay Multicast on Mobile Ad Hoc Networks. |
ISPAN |
2008 |
DBLP DOI BibTeX RDF |
overlay mesh, tree-core, Mobile ad hoc network (MANET), multicast, stability, efficiency |
38 | Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, Laurent Philippe 0001 |
Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Distributed Spanning Tree, Simulations, Overlay networks |
38 | Zongming Fei, Mengkun Yang |
A proactive tree recovery mechanism for resilient overlay multicast. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
tree restoration, overlay multicast, failure recovery |
38 | Yan Chen 0004, David Bindel, Han Hee Song, Randy H. Katz |
Algebra-based scalable overlay network monitoring: algorithms, evaluation, and applications. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
network measurement and monitoring, scalability, load balancing, dynamics, overlay, numerical linear algebra |
38 | Tan Chen, Xiangzhi Sheng, Baosong Shan |
Polar: an efficient finding nearest neighbor algorithm for overlay network. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
overlay network, nearest neighbor, network coordinate |
38 | Bruno Gusmão Rocha, Virgílio A. F. Almeida, Dorgival Olavo Guedes Neto |
Increasing QoS in Selfish Overlay Networks. |
IEEE Internet Comput. |
2006 |
DBLP DOI BibTeX RDF |
QoS, quality of service, reliability, reputation, Overlay networks, free-riders |
38 | Jun Li 0002, Xinming Ye, Ye Tian |
Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
Security, Performance, Overlay Network, Mobile IPv6, AAA |
38 | Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough |
DSO: Dependable Signing Overlay. |
ACNS |
2006 |
DBLP DOI BibTeX RDF |
P2P overlay, digital signing service, fault-tolerance, dependable, intrusion-tolerance |
38 | Xiaoxiang Leng, Jun Bi, Miao Zhang |
Providing Reliable IPv6 Access Service Based on Overlay Network. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
IPv6 Access Service, IPv4/IPv6 Transition, Overlay Network |
38 | Xiaoming Fu 0001, Jon Crowcroft |
GONE: an infrastructure overlay for resilient, DoS-limiting networking. |
NOSSDAV |
2006 |
DBLP DOI BibTeX RDF |
general internet signaling transport, overlay networking, denial-of-service, resilience, host identity protocol |
38 | Yair Amir, Baruch Awerbuch, Claudiu Danilov 0001, Jonathan Robert Stanton |
A cost-benefit flow control for reliable multicast and unicast in overlay networks. |
IEEE/ACM Trans. Netw. |
2005 |
DBLP DOI BibTeX RDF |
TCP/IP, overlay networks, flow control, reliable multicast |
38 | Georgia Koloniari, Yannis Petrakis, Evaggelia Pitoura, Thodoris Tsotsos |
Query workload-aware overlay construction using histograms. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
clustering, overlay network, peer-to-peer systems, range queries, small worlds, query routing |
38 | Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino |
A formal approach to design optimized multimedia service overlay. |
NOSSDAV |
2005 |
DBLP DOI BibTeX RDF |
service composition, overlay network, multimedia service |
38 | John W. Byers, Jeffrey Considine, Michael Mitzenmacher, Stanislav Rost |
Informed content delivery across adaptive overlay networks. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
digital fountain, min-wise sketch, peer-to-peer, bloom filter, overlay, erasure code, content delivery, reconciliation |
38 | Kevin Y. K. Liu, John C. S. Lui, Zhi-Li Zhang |
Distributed Algorithm for Service Replication in Service Overlay Network. |
NETWORKING |
2004 |
DBLP DOI BibTeX RDF |
replication algorithm, QoS, Overlay networks |
38 | Peter R. Pietzuch, Jean Bacon |
Peer-to-peer overlay broker networks in an event-based middleware. |
DEBS |
2003 |
DBLP DOI BibTeX RDF |
overlay broker networks, simulation, experimental evaluation, content-based routing, event-based middleware |
38 | Akihiro Nakao, Larry L. Peterson, Andy C. Bavier |
A routing underlay for overlay networks. |
SIGCOMM |
2003 |
DBLP DOI BibTeX RDF |
routing, overlay networks, infrastructure |
38 | Jinfeng Hu, Yinghui Wu, Ming Li, Weimin Zheng |
Improvement of Routing Structure in P2P Overlay Networks. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
peer-to-peer substrate, routing protocol, overlay networks |
38 | John W. Byers, Jeffrey Considine, Michael Mitzenmacher, Stanislav Rost |
Informed content delivery across adaptive overlay networks. |
SIGCOMM |
2002 |
DBLP DOI BibTeX RDF |
digital fountain, erasure correcting code, min-wise summary, collaboration, peer-to-peer, Bloom filter, overlay, content delivery, reconciliation |
38 | Marvin Theimer, Michael B. Jones |
Overlook: Scalable Name Service on an Overlay Network. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
Wide-Area Distributed System, Peer-to-Peer, Scalability, Overlay Network, Adaptive System, Name Service |
38 | Christopher Pinchak, Paul Lu, Mark Goldenberg |
Practical Heterogeneous Placeholder Scheduling in Overlay Metacomputers: Early Experiences. |
JSSPP |
2002 |
DBLP DOI BibTeX RDF |
metascheduler, placeholders, overlay metacomputers, metaqueue, scheduling, load balancing, computational grids, metacomputing |
38 | Grant P. Millar, Tipu Arvind Ramrekha, Christos Politis |
A peer-to-peer overlay approach for emergency mobile ad hoc network based multimedia communications. |
MobiMedia |
2009 |
DBLP DOI BibTeX RDF |
ad hoc networking, peer-to-peer, emergency, overlays |
38 | Dan Wang 0002, Jiangchuan Liu |
A Dynamic Skip List-Based Overlay for On-Demand Media Streaming with VCR Interactions. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
Applications, Protocol architecture |
38 | Takayuki Warabino, Takashi Matsunaka, Yoji Kishi |
Load sharing of location-based routing in overlay networks. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Gene Moo Lee, Taehwan Choi |
Improving the Interaction between Overlay Routing and Traffic Engineering. |
Networking |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Xin Xiao, Yuanchun Shi, Baopeng Zhang, Yuan Gao |
OCals: A Novel Overlay Construction Approach for Layered Streaming. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Wenjun Xiao, Mingxin He, Wenhong Wei |
CayleyChord: A Novel P2P Overlay Network. |
EUC (2) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Hakem Beitollahi, Geert Deconinck |
Dependable Overlay Networks. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Mina Kamel, Caterina M. Scoglio, Todd Easton |
Optimal Topology Design for Overlay Networks. |
Networking |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Eng Keong Lua, Xiaoming Zhou |
Network-aware SuperPeers-Peers Geometric Overlay Network. |
ICCCN |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Go Hasegawa, Masayoshi Kobayashi, Masayuki Murata 0001, Tutomu Murase |
"Free-riding" traffic problem in routing overlay networks. |
ICON |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Zhenhua Li 0001, Guihai Chen |
Detecting and Reducing Partition Nodes in Limited-routing-hop Overlay Networks. |
GCC |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Meng Zhang 0001, Chunxiao Chen, Yongqiang Xiong, Qian Zhang 0001, Shiqiang Yang |
Optimizing the Throughput of Data-Driven Based Streaming in Heterogeneous Overlay Network. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Sandrine Calomme, Guy Leduc |
Efficient and Resilient Overlay Topologies over Ad Hoc Networks. |
IWSOS |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ajoy Kumar Datta, Maria Gradinariu, Antonino Virgillito |
Deterministic delta-Connected Overlay for Peer-to-Peer Networks. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Roman Obermaisser |
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol. |
Monterey Workshop |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Yu Chen, Wei Chen 0013 |
Brief Announcement: Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Mo Zhou, Yafei Dai, Xiaoming Li |
A Measurement Study of the Structured Overlay Network in P2P File-Sharing Applications. |
ISM |
2006 |
DBLP DOI BibTeX RDF |
P2P, DHT, Network Measurements |
38 | Xiao Chen, Weinong Wang |
Multihomed Routing in Multicast Service Overlay Network. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Xiao Chen, Huagang Shao, Weinong Wang |
A Novel Approach for Topology-Aware Overlay Multicasting. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Qi Zhao, Yun He, Jianzhong Zhang 0003 |
A Hybrid Approach for Overlay Multicast. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Barry Porter, François Taïani, Geoff Coulson |
Generalised Repair for Overlay Networks. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Qi Xia, Weinong Wang, Ruijun Yang |
A Fully Decentralized Approach to Grid Service Discovery Using Self-organized Overlay Networks. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Hiroaki Kobayashi, Hiroyuki Takizawa, Tsutomu Inaba, Yasuaki Takizawa |
A Self-Organizing Overlay Network to Exploit the Locality of Interests for Effective Resource Discovery in P2P Systems. |
SAINT |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Manfred Hauswirth, Roman Schmidt |
An Overlay Network for Resource Discovery in Grids. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Selwyn Yuen, Baochun Li |
Strategyproof mechanisms for dynamic tree formation in overlay networks. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
38 | W. Wang, B. Li |
Market-driven bandwidth allocation in selfish overlay networks. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Naoki Wakamiya, Masayuki Murata 0001 |
Toward Overlay Network Symbiosis. |
Peer-to-Peer Computing |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Robbert van Renesse |
Using randomized techniques to build scalable intrusion-tolerant overlay networks (Keynote). |
CollaborateCom |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Honghao Wang, Yingwu Zhu, Yiming Hu |
An Efficient and Secure Peer-to-Peer Overlay Network. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Xiao Chen, Ruijun Yang, Qi Xia, Weinong Wang |
Overlay Multicasting over Multihomed Proxie. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Ying Zhu 0007, Baochun Li, Jiang Guo |
Multicast with network coding in application-layer overlay networks. |
IEEE J. Sel. Areas Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Pedro García López, Carles Pairot, Rubén Mondéjar, Jordi Pujol Ahulló, Helio Tejedor, Robert Rallo |
PlanetSim: A New Overlay Network Simulation Framework. |
SEM |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Hyeon-Ju Yoon, Eun-Ju Lee, Hyunku Jeong, Jin-Soo Kim |
Proximity-Based Overlay Routing for Service Discovery in Mobile Ad Hoc Networks. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Renjie Pi, Song Junde |
Multi-Path Transmission based on Overlay Network. |
AINA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Dejan Kostic, Adolfo Rodriguez, Jeannie R. Albrecht, Amin Vahdat |
Bullet: high bandwidth data dissemination using an overlay mesh. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
peer-to-peer, bandwidth, overlays |
38 | Daniel Bauer 0001, Sean Rooney, Paolo Scotton, Sonja Buchegger, Ilias Iliadis |
The Performance of Measurement-Based Overlay Networks. |
QofIS |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Kalman Graffi, Konstantin Pussep, Sebastian Kaune, Aleksandra Kovacevic, Nicolas Liebau, Ralf Steinmetz |
Overlay Bandwidth Management: Scheduling and Active Queue Management of Overlay Flows. |
LCN |
2007 |
DBLP DOI BibTeX RDF |
scheduling, QoS, P2P, bandwidth, overlay, AQM |
34 | Nicola Gigante, Federico Mari, Andrea Orlandini (eds.) |
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. |
OVERLAY@AI*IA |
2020 |
DBLP BibTeX RDF |
|
34 | Salvatore La Torre, Gennaro Parlato |
Model Checking BDI Logics over Finite-state Worlds. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Davide Bresolin, Luca Geretti, Tiziano Villa |
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti |
Optimization and Multistage Systems. The Thawing Case. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Joanna Golinska-Pilarek, Michal Zawidzki |
Tableau-based Decision Procedure for the Logic SCI. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate |
Towards Verifiable and Safe Model-Free Reinforcement Learning. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Vadim Alimguzhin, Federico Mari, Igor Melatti |
Control Software Synthesis for Cyber-Physical Systems with QKS. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Marco Faella, Luigi Sauro |
Preference Theories on Weak Orders. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci |
In Silico Clinical Trials through AI and Statistical Model Checking. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
34 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Strong Controllability of Temporal Networks with Decisions. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
Displaying result #101 - #200 of 5858 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|