The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1958-1971 (18) 1972-1976 (17) 1977-1978 (15) 1979 (29) 1980-1981 (31) 1982 (19) 1983 (20) 1984 (19) 1985 (44) 1986 (44) 1987 (59) 1988 (95) 1989 (113) 1990 (153) 1991 (130) 1992 (166) 1993 (169) 1994 (164) 1995 (223) 1996 (203) 1997 (249) 1998 (255) 1999 (324) 2000 (339) 2001 (470) 2002 (484) 2003 (635) 2004 (725) 2005 (813) 2006 (783) 2007 (877) 2008 (862) 2009 (622) 2010 (373) 2011 (351) 2012 (318) 2013 (322) 2014 (321) 2015 (318) 2016 (381) 2017 (385) 2018 (744) 2019 (1152) 2020 (1473) 2021 (1746) 2022 (2140) 2023 (2302) 2024 (623)
Publication types (Num. hits)
article(9771) book(93) data(5) incollection(91) inproceedings(12052) phdthesis(72) proceedings(34)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7341 occurrences of 3423 keywords

Results
Found 22125 publication records. Showing 22118 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
29Gérard Berthelot, Gérard Roucairol, Rüdiger Valk Reductions of Nets and Parallel Prgrams. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
29Laura Carnevali, Lorenzo Ridi, Enrico Vicario Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
29Lingling Zhang 0001, Jun Li 0015, Qin Wang, Rencheng Tong, Yuejin Zhang, Xingsen Li A Study on the Relationship Between ERP Logic and Direct Consume Coefficient of I/O Table. Search on Bibsonomy CONFENIS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Workflow net (WF-net), Workflow resource management, Agent, Colored petri net, Workflow model, Business process analysis
29Jonathan S. Golan, Fuming Wu Weakly UDO semirings and Korczyski nets over them. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Difference order, Korczy?ski net, Marked net, Concurrent enabling, Petri net, Semiring
29Fu-Shiung Hsieh, Chih Yi Chiang Workflow Planning in Holonic Manufacturing Systems with Extended Contract Net Protocol. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF workflow, Holonic manufacturing system, contract net
29Lawrence Cabac, Nicolas Denz Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF net components, process mining chains, modeling, Petri nets
29Weihua Niu, Zhuping Yang Workflow Model Based on Time-Extended and Hierarchy-Extended Petri-Net. Search on Bibsonomy ISIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF time-extended, hierarchy-extended, Petri-Net, workflow model
29Roland Schwarzkopf, Markus Mathes, Steffen Heinzl, Bernd Freisleben, Helmut Dohmann Java RMI versus .NET Remoting Architectural Comparison and Performance Evaluation. Search on Bibsonomy ICN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF .NET Remoting, Middleware, Comparison, Java RMI
29Haiyang Sun, Jian Yang 0001 CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Collaborative Business Transaction, Reliability Verification, Peer Based Collaboration, Hierarchical Colored Petri Net(HCPN)
29Ruijuan Zheng, Huiqiang Wang, Yonggang Pang Research on Bio-inspired Multi-net Paralleling Mechanism Based on Web Application. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-net paralleling, hidden Markov, LoadRunner, bio-inspired
29Crispel Aude Net-art, entre conflit et sensibilité de l'interface. Search on Bibsonomy IHM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF art-works analysis, relational aesthetics, interface, sensitive, net-art
29Bruno Cabral, Paulo Marques, Luís Moura Silva RAIL: code instrumentation for .NET. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NET platform, runtime, code instrumentation
29XianMing Liu, ShiXian Li, Yue Jiang A Petri Net Extended With Stochastic Priced Transition. Search on Bibsonomy ICEBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF priced transition, Petri net, business process modeling
29Bruno Cabral, Paulo Marques, Luís Moura Silva RAIL: code instrumentation for .NET. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF NET platform, code instrumentation
29Natarajan Viswanathan, Chris C. N. Chu FastPlace: efficient analytical placement using cell shifting, iterative local refinement and a hybrid net model. Search on Bibsonomy ISPD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net models, analytical placement, standard cell placement
29Tao Wan, Malgorzata Chrzanowska-Jeske Prediction of interconnect net-degree distribution based on Rent's rule. Search on Bibsonomy SLIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net-degree distribution, Rent's rule, interconnect prediction
29Karthik Rajagopal, Tal Shaked, Yegna Parasuram, Tung Cao, Amit Chowdhary, Bill Halpin Timing driven force directed placement with physical net constraints. Search on Bibsonomy ISPD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF net constraints, timing driven placement, force directed placement
29Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation. Search on Bibsonomy CASCON The full citation details ... 2003 DBLP  BibTeX  RDF Java 2 Enterprise Edition (J2EETM), JavaServer pages, Net.Data, Java, SQL, SQL, transformation, migration, model-view-controller (MVC), JavaBeans
29H. Chang, Eugene Shragowitz, Jian Liu, Habib Youssef, Bing Lu, Suphachai Sutanthavibul Net criticality revisited: an effective method to improve timing in physical design. Search on Bibsonomy ISPD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF criticality metrics, net delay bound, routing, placement
29H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. Search on Bibsonomy WES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational
29Anatoly Prihozhy, Daniel Mlynek, Michail Solomennik, Marco Mattavelli Techniques for Optimization of Net Algorithms. Search on Bibsonomy PARELEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF net algorithm, existence problem, optimization, parallelization, critical path
29Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
29Yasuyuki Mimatsu, Haruo Yokota A performance comparison between the DR-net and a hierarchical RAID system. Search on Bibsonomy PRDC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF disc drives, DR-net, hierarchical RAID system, disk array systems, multiple disk drives, centralized controller, communication path, controller functions, bus setup time, parity calculation load, performance evaluation, scalability, digital simulation, system performance, RAID, performance comparison, scalable architecture, hierarchical system
29Jun Shen 0001, Junzhou Luo, Guanqun Gu An Object-Oriented Net Graph Model for Agent Group-Based Network Management. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Petri net, intelligent agent, Network management, knowledge base, object model
29Son T. Vuong, Kendra M. L. Cooper, Mabo Robert Ito Petri net models for describing multimedia synchronization requirements. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF extended object composition, dynamic timed, time stream, performance evaluation, Petri nets, synchronisation, multimedia communication, multimedia communication, multimedia synchronization, Petri net models, object composition, synchronization constraints
29Joost Engelfriet, George Leih, Grzegorz Rozenberg Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based
29George Peterka, Tadao Murata Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
29Heikki Tuominen Elementary net systems and dynamic logic. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis
28Hyea Kyeong Kim, Jae Kyeong Kim, Young U. Ryu Personalized Recommendation over a Customer Network for Ubiquitous Shopping. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Takeshi Kawasaki, Hironobu Takano, Kiyomi Nakamura Orientation Recognition of Iris Pattern. Search on Bibsonomy ICONIP (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Marisa Llorens, Javier Oliver 0001 Marked-Controlled Reconfigurable Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Rik Eshuis, Juliane Dehnert Reactive Petri Nets for Workflow Modeling. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Chao-Yang Yeh, Malgorzata Marek-Sadowska Sequential delay budgeting with interconnect prediction. Search on Bibsonomy SLIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF delay budgeting, sequential circuits, interconnect prediction
28Tomoko Itao, Tetsuya Nakamura, Masato Matsuo, Tatsuya Suda, Tomonori Aoyama Service Emergence based on Relationship among Self-Organizing Entities. Search on Bibsonomy SAINT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Weigang Wang, Roy Rada Structured Hypertext with Domain Semantics. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF hypertext models, graph theory, hypertext structures
28Kai Zhu 0001, Martin D. F. Wong Switch bound allocation for maximizing routability in timing-driven routing of FPGA's. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Hartmut Ehrig, Julia Padberg A Uniform Approach to Petri Nets. Search on Bibsonomy Foundations of Computer Science: Potential - Theory - Cognition The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28William C. Chu, Hongji Yang, Paul Luker A Formal Method for Software Maintenance. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28Kuo-Feng Liao, Majid Sarrafzadeh Correction to "Boundary single-layer routing with movable terminals". Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Yi Deng 0001, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Walter Vogler Behaviour Preserving Refinement of Petri Nets. Search on Bibsonomy WG The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Pentti Laasonen On the Truncation Error of Discrete Approximations to the Solutions of Dirichlet Problems in a Domain with Corners. Search on Bibsonomy J. ACM The full citation details ... 1958 DBLP  DOI  BibTeX  RDF
28Geert Stremersch, René K. Boel Structuring Acyclic Petri Nets for Reachability Analysis and Control. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
28Maciej Koutny A Compositional Model of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
28Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF siphon, st-component, p-semiflow, Petri net, colored Petri net, trap
27Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison Using MPI with C# and the common language infrastructure. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET
27Scott Jordan Implications of Internet architecture on net neutrality. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Gabriel Juhás, Robert Lorenz 0001, Jörg Desel Unifying Petri Net Semantics with Token Flows. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27PengCheng Xiong, Mengchu Zhou, Calton Pu A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Bahareh Fathi, Laleh Behjat, Logan M. Rakai A pre-placement net length estimation technique for mixed-size circuits. Search on Bibsonomy SLIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF wire length estimation, placement, physical design, hypergraph clustering
27Yamin Li, Shietung Peng, Wanming Chu Recursive Dual-Net: A New Universal Network for Supercomputers of the Next Generation. Search on Bibsonomy ICA3PP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27João Lourenço, Luís Gomes 0001 Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Hong Feng Lai, J. L. Hong, Wang Han Jeng Model E-contract Update by Coloured Activity Net. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Bo Feng, Gabriel A. Wainer a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models. Search on Bibsonomy DS-RT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim, Saejoon Kim Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods. Search on Bibsonomy FBIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Tae-hyung Kim, Carl K. Chang An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Johannes Osrael, Lorenz Froihofer, Georg Stoifl, Lucas Weigl, Klemen Zagar, Igor Habjan, Karl M. Göschka Using Replication to Build Highly Available .NET Applications. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Peter Spindler, Frank M. Johannes Fast and robust quadratic placement combined with an exact linear net model. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Patrick Klinkoff, Christopher Krügel, Engin Kirda, Giovanni Vigna Extending .NET Security to Unmanaged Code. Search on Bibsonomy ISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Jyh-Cheng Chang, Shao-Chun Li, Maiga Chang, Jia-Sheng Heh Monitoring the Experiment Process and Diagnosing the Experiment Mistakes Made by Students with Petri Net Modeling. Search on Bibsonomy Edutainment The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Leo Ojala, Olli-Matti Penttinen, Elina Parviainen Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Andrew Jackson 0003, Siobhán Clarke SourceWeave.NET: Cross-Language Aspect-Oriented Programming. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Fu-Shiung Hsieh Modeling and Analysis of Contract Net Protocol. Search on Bibsonomy ICWE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27David C. Chu, Marty A. Humphrey Mobile OGSI.NET: Grid Computing on Mobile Devices. Search on Bibsonomy GRID The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Hartmut Ehrig, Julia Padberg Graph Grammars and Petri Net Transformations. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Takaaki Komura, Kenji Fujikawa, Yasuo Okabe The MIAKO.NET public wireless internet service in Kyoto. Search on Bibsonomy WMASH The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Hans-Jürgen Hoffmann .NET: The Programmer's Perspective. Search on Bibsonomy ECOOP Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27David W. Bauer, Garrett R. Yaun, Christopher D. Carothers, Murat Yuksel, Shivkumar Kalyanaraman Simulation of large scale networks III: ROSS.Net: optimistic parallel simulation framework for large-scale internet models. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Bill Halpin, Naresh Sehgal, C. Y. Roger Chen Detailed Placement with Net Length Constraints. Search on Bibsonomy IWSOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Tomoko Itao, Tetsuya Nakamura, Masato Matsuo, Tatsuya Suda, Tomonori Aoyama Adaptive Creation of Network Applications in the Jack-in-the-Net Architecture. Search on Bibsonomy NETWORKING The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama A high reliability design for NFS server software based on the logical coloured Petri net. Search on Bibsonomy ICARCV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27David Abramson 0001, Greg Watson, Phu Dung Le Guard: A Tool for Migrating Scientific Applications to the .NET Framework. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Ashok K. Murugavel, N. Ranganathan A Real Delay Switching Activity Simulator Based on Petri Net Modeling. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Douglas Hageman, Dianne M. Reeves net-Trials(tm) Clinical Trials Information System. Search on Bibsonomy CBMS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Payman Zarkesh-Ha, Jeffrey A. Davis, James D. Meindl Prediction of net-length distribution for global interconnects in a heterogeneous system-on-a-chip. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Hugo de Garis, Norberto Eiji Nawa, Andrzej Buller, Michael Korkin, Felix A. Gers, Michael Hough ATR's Artificial Brain ("Cam-Brain") Project a Sample of what Individual "CoDi-1Bit" Model Evolved Neural Net Modules can do with Digital and Analog I/O. Search on Bibsonomy Evolvable Hardware The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Sunil Hingorani, Oliver Heim A test suite for exposing design and implementation details in petri net simulators. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Shengru Tu, Wei Sun 0002 Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. Search on Bibsonomy SEKE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27P. David Stotts, Richard Furuta \alphaTrellis: A system for writing and browsing Petri-net-based hypertext. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hypertext and hypermedia, Trellis hypertext model hypertext, browsing semantics
27Jesse Liberty, Dan Hurwitz Programming .NET windows applications - rich client applications with C# or VB.NET: covers .NET 1.1 and Visual Studio .NET 2003. Search on Bibsonomy 2003   RDF
27Jesse Liberty, Dan Hurwitz Programming ASP.NET - building web applications and services using C# and VB.NET: updated for .NET 1.1 and visual studio .NET 2003 (2. ed.). Search on Bibsonomy 2003   RDF
27Kathrin Hoffmann Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Juliane Dehnert Four Steps Towards Sound Business Process Models. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Sibylle Peuker Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Manabu Kawada, Xu Wu, Tadashi Ae A construction of neural-net based AI systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF neural-net based AI system construction, neural network technique, real-time neuron-based AI architecture, NAI, real-time case-based reasoning system, winner-take-all type neural network, real-time classification, real-time retrieval, massive case-base, flexible learning, self-organizing learning algorithm, LVQ1 learning algorithm, real-time systems, learning (artificial intelligence), knowledge based systems, unsupervised learning, supervised learning, case-based reasoning, pattern classification, learning algorithms, algorithm theory, neural net architecture
26Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu Logical Inference of Horn Clauses in Petri Net Models. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
26Yoh-Han Pao Autonomous machine learning of effective control strategies with connectionist-net. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF intelligent process control, intelligent control systems, Rumelhart net, holographic memory, Neural net, associative memory
26Rachid Hamadi, Boualem Benatallah, Brahim Medjahed Self-adapting recovery nets for policy-driven exception handling in business processes. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Self-adapting recovery net (SARN), Task-based recovery, Region-based recovery, Petri nets, Business processes, Exception handling
26Bernd Obermeier, Frank M. Johannes Quadratic placement using an improved timing model. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Steiner tree net model, optimization potential, sensitivity, Quadratic placement, timing driven placement
26Yong S. Choi Discovering Text Databases with Neural Nets. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Neural net agent, Relevance feedback, Document retrieval, Text database
26Roberto Bruni, Ugo Montanari Executing Transactions in Zero-Safe Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PT nets, zero-safe nets, net unfolding, reachability, distributed transactions
26Enrique Teruel, Manuel Silva Suárez Liveness and Home States in Equal Conflict Systems. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Place/Transition Net Systems, Equal Conflict Systems, Structure Theory
26Johan Lilius High-Level Nets and Linear Logic. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Classification Analysis and synthesis, structure and behavior of nets, higherlevel net models
26Ghassan Chehaibar Use of reentrant nets in modular analysis of colored nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
26Jörg Desel On abstraction of nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Net morphisms, coarsening and composition of nets, transformations
26Dachuan Yu, Andrew Kennedy, Don Syme Formalization of generics for the .NET common language runtime. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CLR, run-time types, generics, polymorphism, NET
26Marjan Hericko, Matjaz B. Juric, Ivan Rozman, Simon Beloglavec, Ales Zivkovic Object serialization analysis and comparison in Java and .NET. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, XML, NET, Serialization, Binary
26Jianhua Li, Laleh Behjat, Andrew A. Kennings Net Cluster: A Net-Reduction-Based Clustering Preprocessing Algorithm for Partitioning and Placement. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Jianhua Li, Laleh Behjat Net cluster: a net-reduction based clustering preprocessing algorithm. Search on Bibsonomy ISPD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF VLSI partitioning, physical design, hypergraph clustering
Displaying result #201 - #300 of 22118 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
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