The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PNs with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1996 (17) 1997-2003 (20) 2004-2005 (27) 2006-2007 (24) 2008-2014 (15) 2016-2023 (14)
Publication types (Num. hits)
article(26) incollection(1) inproceedings(90)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 85 occurrences of 72 keywords

Results
Found 117 publication records. Showing 117 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87Ehud Sivan, Nancy Kopell Oscillations and slow patterning in the antennal lobe. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF olfactory, insect, odor, model, synchrony
86Csanád Imreh A New Well-Solvable Class of PNS Problems. Search on Bibsonomy Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF AMS Subject Classifications: 90C27, 94C15
81Yiannis E. Papelis, Thomas L. Casavant Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power
72R. Venkatesha Prasad, Martin Jacobsson, Sonia M. Heemstra de Groot, Anthony C. C. Lo, Ignas G. Niemegeers Architectures for intra-personal network communication. Search on Bibsonomy WMASH The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PN agent, edge routers, gateway nodes, personal networks
72Curt Cramer, Thomas Fuhrmann Proximity Neighbor Selection for a DHT in Wireless Multi-Hop Networks. Search on Bibsonomy Peer-to-Peer Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
72Atsushi Maruyama, Naoki Shibata, Yoshihiro Murata, Keiichi Yasumoto, Minoru Ito A Personal Tourism Navigation System to Support Traveling Multiple Destinations with Time Restrictions. Search on Bibsonomy AINA (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets
58Claudine Chaouiya, Elisabeth Remy, Denis Thieffry Qualitative Petri Net Modelling of Genetic Networks. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58René David, Hassane Alla On Hybrid Petri Nets. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modeling, Petri nets, continuous, hybrid, extended
58Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
58Sam Coates-Stephens Automatic Acquisition of Proper Noun Meanings. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
58Goffredo Haus, Antonio Rodriguez Music Description and Processing by Petri Nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
57Sung-Kwun Oh, Seok-Beom Roh, Witold Pedrycz A New Approach to Genetically Optimized Hybrid Fuzzy Set-Based Polynomial Neural Networks with FSPNs and PNs. Search on Bibsonomy MDAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Dimitri Lefebvre, Edouard Leclercq Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
43Frantisek Capkovic DES Control Synthesis and Cooperation of Agents. Search on Bibsonomy ICCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Agents, Petri nets, control, synthesis, cooperation, bipartite graphs, discrete-event systems, supervisor
43Sung-Kwun Oh, Witold Pedrycz Genetically Optimized Self-organizing Neural Networks Based on Polynomial and Fuzzy Polynomial Neurons: Analysis and Design. Search on Bibsonomy Engineering Evolutionary Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Junseok Hwang, Andrei Shin, Hyenyoung Yoon Dynamic reputation-based incentive mechanism considering heterogeneous networks. Search on Bibsonomy PM2HW2N The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reputation, agent-based modeling, incentive mechanism, cooperative relay, personal networks
43Yanying Gu, Weidong Lu, R. Venkatesha Prasad, Ignas G. Niemegeers Clustering in Ad Hoc Personal Network Formation. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Personal Network Clustering Protocol, Clustering, Ad hoc network, Personal network
43Andrea Trentini, Daniela Micucci Plan validation via petri nets in the real-time performers Java framework. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF validation, planning, soft real-time
43Martin Jacobsson, Ignas G. Niemegeers Privacy and Anonymity in Personal Networks. Search on Bibsonomy PerCom Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Gonca Tuncel, Gunhan Mirac Bayhan A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Cheng-Hsun Yu, Shingchern D. You Comparison of Two Different Approaches to Detect Perceptual Noise for MPEG-4 AAC. Search on Bibsonomy PCM (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Manuel Silva Suárez, Laura Recalde Unforced Continuous Petri Nets and Positive Systems. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Ho-Sung Park, Sung-Kwun Oh, Witold Pedrycz, Hyun-Ki Kim Genetically Optimized Self-Organizing Neural Networks Based on PNs and FPNs. Search on Bibsonomy ISNN (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Liz Ribe-Baumann, Kai-Uwe Sattler A small-world DHT built on generalized network coordinates. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Stephen Herborn, Aruna Seneviratne Dial "M" for middlebox managed mobility. Search on Bibsonomy IEEE Netw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Puri N. Anggraeni, Neeli R. Prasad, Ramjee Prasad Secure personal network. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Wassef Louati, Djamal Zeghlache Personal Overlay Networks Management Using a P2P-based Publish/Subscribe Naming System. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Naming System, Management, P2P, Publish/Subscribe, Personal Networks
29Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn, Christian Schlegel On the efficiency and accuracy of hybrid pseudo-random number generators for FPGA-based simulations. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Junseok Hwang, Andrei Shin, Hyenyoung Yoon Incentives for Cooperative Relay in Heterogeneous Networks: A Dynamic Reputation-Based Approach. Search on Bibsonomy APNOMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Spyros A. Reveliotis Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Karim Labadi, Haoxun Chen, Lionel Amodeo Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Frank T. H. den Hartog, M. A. Blom, C. R. Lageweg, M. E. Peeters, J. R. Schmidt, R. van der Veer, Arnout de Vries, M. R. van der Werff, Qian Tao, Raymond N. J. Veldhuis, N. H. G. Baken, Franklin Selgert First experiences with Personal Networks as an enabling platform for service providers. Search on Bibsonomy MobiQuitous The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini Comparing management policies for Supply Chains via a hybrid Petri Net model. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Xinbo Jiang, Farzad Safaei, Paul Boustead Enhancing the multicast performance of structured P2P overlay in supporting Massively Multiplayer Online Games. Search on Bibsonomy ICON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Weidong Lu, Yanying Gu, R. Venkatesha Prasad, Anthony C. C. Lo, Ignas G. Niemegeers A Self-organized Personal Network Architecture. Search on Bibsonomy ICNS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Dan Saugstrup, Anders Henten Developing Personal Network Business Models. Search on Bibsonomy ICMB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Ho-Sung Park, Sung-Kwun Oh, Tae-Chon Ahn Improvement of HSOFPNN Using Evolutionary Algorithm. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Hai Jin 0001, Pengliu Tan A Novel Dynamic Allocation and Scheduling Scheme with CPNA and FCF Algorithms in Distributed Real-time Systems. Search on Bibsonomy ICPADS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Sung-Kwun Oh, Hyun-Ki Kim Genetically Optimized Hybrid Fuzzy Polynomial Neural Networks Based on Polynomial and Fuzzy Polynomial Neurons. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Ho-Sung Park, Sung-Kwun Oh, Witold Pedrycz, Daehee Park, Yong-Kab Kim A New Approach to Self-Organizing Hybrid Fuzzy Polynomial Neural Networks: Synthesis of Computational Intelligence Technologies. Search on Bibsonomy ISNN (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. Search on Bibsonomy SMC (5) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Raquel Fernández-Ramos, Jorge Romero-Sánchez, Francisco J. Ríos-Gómez, José F. Martín-Canales Modelling and Simulation of a Digital IC System Using SimulPet: Application to a Speech Coding Communication IC. Search on Bibsonomy DSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Wai Han Soo, Azman Samsudin, Alwyn Goh Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network. Search on Bibsonomy ISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF mental card game, Benes permutation network, Shuffle, mix-net
29Leon Blackwell, Brian R. von Konsky, Mike Robey Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Thomas S. Jones, Ahmed Louri Media Access Protocols For A Scalable Optical Interconnection Network. Search on Bibsonomy ICPP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Dar-Tzen Peng, Kang G. Shin, Tarek F. Abdelzaher Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Branch-and-bound (B&B) algorithm, computation and communication modules, precedence and timing constraints, task invocation and release times, lower-bound cost, intertask communication
29Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev Coupling Asynchrony and Interrupts: Place Chart Nets. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Peter Buchholz 0001 A Notion of Equivalence for Stochastic Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Shuxian Du, Yaxiu Sun, Changyi Du Causality-Based Feature Importance Quantifying Methods: PN-FI, PS-FI and PNS-FI. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Shashank Gupta, Rajesh K. Krishnan, Vijayalaxmi Mogiligidda, T. Roopak, Manasa Hegde, Sairam Rajamani, Dilip Singh ARMOS 2.0: an ultra-secure commercial QKD product against PNS attacks. Search on Bibsonomy ICFSP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Zhiyao Cen, Xiangwen Deng, Hengjie Zheng, Jianing Zhao, Anjie Jin, Chentao Fu, Tianqi Wang, Shangming Yang, Jingdian Yang EEG-based Emotion Recognition with Spatial and Functional Brain Mapping of CNS and PNS Signals. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Jie Zhang, Shanpeng Wang, Wenshuo Li, Zhenbing Qiu A Multi-Mode Switching Variational Bayesian Adaptive Kalman Filter Algorithm for the SINS/PNS/GMNS Navigation System of Pelagic Ships. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Qihao Liu, Yujia Wang, Xiaofeng Liu PNS: Population-Guided Novelty Search for Reinforcement Learning in Hard Exploration Environments. Search on Bibsonomy IROS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Christine Beauchene, Claire A. Zurn, Wanru Duan, Yun Guan, Sridevi V. Sarma Towards Robust Control of PNS for Chronic Pain: Modeling Spinal Cord Wide-Dynamic Range Neurons with Structured Uncertainty. Search on Bibsonomy EMBC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Olivier Tessier-Larivière, Luke Y. Prince, Pascal Fortier-Poisson, Lorenz Wernisch, Oliver Armitage, Emil Hewage, Guillaume Lajoie, Blake A. Richards PNS-GAN: Conditional Generation of Peripheral Nerve Signals in the Wavelet Domain via Adversarial Networks. Search on Bibsonomy NER The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Mario Aricò, Guillaume Morel PnS: a Perspective-n-Spheres Algorithm for Laparoscope Calibration in Minimally Invasive Surgery. Search on Bibsonomy IROS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Faruk Karaaslan Possibility neutrosophic soft sets and PNS-decision making method. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Michael Wininger, Panagiotis K. Artemiadis, Claudio Castellini, Patrick M. Pilarski Editorial: Peripheral Nervous System-Machine Interfaces (PNS-MI). Search on Bibsonomy Frontiers Neurorobotics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Lei Zhang 0035, Ayesha Ijaz, Juquan Mao, Pei Xiao, Rahim Tafazolli Multi-Service Signal Multiplexing and Isolation for Physical-Layer Network Slicing (PNS). Search on Bibsonomy VTC Fall The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Lorenzo Bisoni, Caterina Carboni, Roberto Puddu, Gianluca Barabino, Danilo Pani, Luigi Raffo, Matthias Müller 0009, Thomas Stieglitz, Jaume del Valle, Natalia de la Oliva, Ignacio Delgado-Martínez, Xavier Navarro, Massimo Barbaro A 64-channels neural interface for biopotentials recording and PNS stimulation. Search on Bibsonomy EMBC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Dimitri Lefebvre Probability of faults for partially observed Timed PNs with temporal constraints. Search on Bibsonomy ICNSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Jinhui Wang, Na Gong, Eby G. Friedman PNS-FCR: Flexible Charge Recycling Dynamic Circuit Technique for Low-Power Microprocessors. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Yanghuan Li, Yang Gu, Qian Song, Ming Ma 0008 Trajectory calibration approach using a flexible particle filter for PNS. Search on Bibsonomy IPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Dimitri Lefebvre, Edouard Leclercq An algorithm based on model predictive control for trajectories tracking with untimed PNs. Search on Bibsonomy MED The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Jacopo Carpaneto, Annarita Cutrone, Silvia Bossi, Pier Nicola Sergi, Luca Citi, Jacopo Rigosa, Paolo Maria Rossini, Silvestro Micera Activities on PNS neural interfaces for the control of hand prostheses. Search on Bibsonomy EMBC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Neeli Rashmi Prasad Threat Model Framework and Methodology for Personal Networks (PNs). Search on Bibsonomy COMSWARE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Sung-Kwun Oh, Witold Pedrycz The design of self-organizing neural networks based on PNs and FPNs with the aid of genetic optimization and extended GMDH method. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Georgios Paliouras, Alexandros Mouzakidis, Christos Ntoutsis, Angelos Alexopoulos, Christos Skourlas PNS: Personalized Multi-source News Delivery. Search on Bibsonomy KES (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Machine Learning, Personalization, Information Extraction
28Masayuki Kawabata, Ryo Nishide, Mayumi Ueda, Shinichi Ueshima Graph-based Approach to Context-adaptable PNS and its Application Scenarios. Search on Bibsonomy ICDE Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Balázs Imreh Automaton Theory Approach for Solving Modified PNS Problems. Search on Bibsonomy Acta Cybern. The full citation details ... 2002 DBLP  BibTeX  RDF
28ShihSen Peng, MengChu Zhou Conversion between ladder diagrams and PNs in discrete-event control design-a survey. Search on Bibsonomy SMC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  BibTeX  RDF
28János Fülöp, Balázs Imreh, Ferenc Friedler On the Reformulation of Some Classes of PNS-Problems as Set Covering Problems. Search on Bibsonomy Acta Cybern. The full citation details ... 1998 DBLP  BibTeX  RDF
28Zoltán Blázsik, Balázs Imreh A Note on Connection Between PNS and Set Covering Problems. Search on Bibsonomy Acta Cybern. The full citation details ... 1996 DBLP  BibTeX  RDF
28Xiao Xu, Bryan E. Richards Scalable parallel fully implicit PNS solver for high speed viscous flows. Search on Bibsonomy Parallel CFD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Faramarz Valafar, Okan K. Ersoy PNS Modules for the Synthesis of Parallel Self-Organizing Hierarchical Neural Networks. Search on Bibsonomy ISCAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14Rieks Joosten, Frank T. H. den Hartog, Franklin Selgert Architecture of a Personal Network Service Layer. Search on Bibsonomy MOBILWARE Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Benjamin Walther-Franks, Rainer Malaka Evaluation of an Augmented Photograph-Based Pedestrian Navigation System. Search on Bibsonomy Smart Graphics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Fu-Shiung Hsieh Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Da-Yin Liao, MuDer Jeng, MengChu Zhou Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Albena Mihovska, Neeli R. Prasad Adaptive Security Architecture based on EC-MQV Algorithm in Personal Network (PN). Search on Bibsonomy MobiQuitous The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda Symbolic Model Checking of Analog/Mixed-Signal Circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
14Haesun Byun, Meejeong Lee Network Architecture and Protocols for BGP/MPLS Based Mobile VPN. Search on Bibsonomy ICOIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Eric Schkufza Decomposition of Games for Efficient Reasoning. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Sung-Kwun Oh, Witold Pedrycz, Wan-Su Kim, Hyun-Ki Kim GA-Based Polynomial Neural Networks Architecture and Its Application to Multi-variable Software Process. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Owen Conlan, Ian O'Keeffe, Shane Tallon Combining Adaptive Hypermedia Techniques and Ontology Reasoning to Produce Dynamic Personalized News Services. Search on Bibsonomy AH The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Ho-Sung Park, Tae-Chon Ahn The Analysis and Design of IG_gHSOFPNN by Evolutionary Optimization. Search on Bibsonomy FSKD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Ho-Sung Park, Kyung-Won Jang, Sung-Kwun Oh, Tae-Chon Ahn Design Methodology of Optimized IG_gHSOFPNN and Its Application to pH Neutralization Process. Search on Bibsonomy ICONIP (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Rachid Bouyekhf, Abdellah El Moudni On the analysis of some structural properties of Petri nets. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo How does the memory work? By timed-arc Petri nets. Search on Bibsonomy IEEE ICCI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Weidong Lu, Anthony C. C. Lo, Ignas G. Niemegeers Research Issues in QoS Provisioning for Personal Networks. Search on Bibsonomy IWQoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Lorenzo Capra Colored Petri Nets State-Space Reduction via Symbolic Execution. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quotient graphs, symmetries, High-Level Petri Nets, linear constraints
14Melha Bitam, Hassane Alla Performance evaluation of a TCP/IP transmission using hybrid Petri nets. Search on Bibsonomy AICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Fu-Shiung Hsieh Fault-tolerant deadlock avoidance algorithm for assembly processes. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Sung-Kwun Oh, Byoung-Jun Park, Witold Pedrycz, Yong-Soo Kim A New Approach to Self-Organizing Polynomial Neural Networks by Means of Genetic Algorithms. Search on Bibsonomy ISNN (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi Efficient reachability analysis of bounded Petri nets using constraint programming. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere Translating affine nested-loop programs to process networks. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF integer linear programming, process networks, heterogeneous embedded systems
14Holger Mauch A Petri Net Representation for Dynamic Programming Problems in Management Applications. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Peter Buchholz 0001, Carsten Tepper Functional Analysis of Process-Oriented Systems. Search on Bibsonomy OR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 117 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license