The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase WF-net (changed automatically) 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
97Claudia Ermel, Michael Weber 0003 Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
97Benjamin Braatz, Hartmut Ehrig, Milan Urbásek Petri Net Transformations in the "Petri Net Baukasten". Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
70Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber 0003, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Petri Net Technology, Petri Nets
61Xiang Chen, Xinglin Li A Study on Workflow Resource Management Based on Workflow Net and Agent. 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
60Ying Chen Lin, Sy-Yuan Li, Yuan-Shin Hwang Dynamic Load-Balancing of Jini and .NET Services. Search on Bibsonomy ICPP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Stelian Alupoaei, Srinivas Katkoori Net-based force-directed macrocell placement for wirelength optimization. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig Generation of Animation Views for Petri Nets in GenGED. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Ekkart Kindler, Michael Weber 0003 The Petri Net Kernel - An infrastructure for building Petri net tools. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net types, Petri net API, Generic tools, Petri net, Tool development
58Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski High-Level Nets with Nets and Rules as Tokens. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
57K. S. Ramesh Design and development of MINIX distributed operating system. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF MINIX
56Stelian Alupoaei, Srinivas Katkoori Net Clustering Based Macrocell Placement. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Macrocell placement, net clustering, net placement, net prioritization, force-directed placement, iterative improvement
56Jose Andre Morales Threat of renovated .NET viruses to mobile devices. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Lianwei Guan, Xingyu Li, Hao Hu 0001, Jian Lu 0001 A Petri net-based approach for supporting aspect-oriented modeling. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net
52Richard Conn A brief dive into .NET. Search on Bibsonomy ACM Southeast Regional Conference (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF .NET Compact Framework, .NET Framework, common language runtime (CLR), foundation class library (FxCL), visual studio 2005, visual studio team system, eXtensible Markup Language (XML), software engineering, systems engineering, integrated development environment (IDE), NET
52Brian Field, Daniel Mossé, Taieb Znati Simulation of ν-NET, a versatile network architecture for real-time and non-real-time traffic. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF nonreal-time traffic, Versatile Network Architecture, /spl nu/-NET, flexible communication requirement support, traffic policing mechanisms, /spl nu/-NET validation, real-time performance requirements, /spl nu/-channel traffic profiles, /spl nu/-NET performance, simulations, scheduling, performance evaluation, real-time systems, virtual machines, multimedia systems, correctness, multimedia applications, wide area networks, telecommunication traffic, information dissemination, information networks, scheduling policies, real-time traffic, real-time networks, QoS requirements, packet scheduling algorithms
52Jin-Tai Yan Connection-oriented net model and fuzzy clustering techniques for K-way circuit partitioning. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fuzzy neural nets, connection-oriented net model, fuzzy clustering techniques, K-way circuit partitioning, chain net model, cut analysis, multiple-pin net, edge-weighted graph, MCNC circuit benchmarks, partitioning balance, partitioning cut, computational complexity, complexity, fuzzy logic, high level synthesis, circuit analysis computing, hypergraph, fuzzy c-means clustering, mapped graph, fuzzy memberships
51Zalech Zalech Essential ASP.NET2. Search on Bibsonomy IEEE Distributed Syst. Online The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Essential ASP.NET with Examples in C#, Essential ASP.NET with Examples in Visual Basic .NET, C#, ASP, Visual Basic, .NET
50Julia Padberg, Hartmut Ehrig Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
50Francesco Parisi-Presicce A Formal Framework for Petri Net Class Transformations. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Rik Eshuis, Roel J. Wieringa Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Parthasarathy Ramachandran, Manjunath Kamath A Sufficient Condition for Reachability in a General Petri Net. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding
48Christoph Schneider, Joachim Wehler Petri Net Theory - Problems Solved by Commutative Algebra. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
48Tino Pyssysalo, Leo Ojala Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
48Katsuhiro Matsuno, Chil-Woo Lee, Satoshi Kimura, Saburo Tsuji Automatic Recognition of Human Facial Expressions. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic recognition, human facial expressions, unknown human face, input imagery, two dimensional net, potential net, single input image, deformation patterns, common human face, mosaic method, histogram analysis, horizontal projections, face recognition, edge detection, faceness, training set, face images, emotion space
48Younes Souissi On liveness preservation by composition of nets via a set of places. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition
47Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Xiangang Zhao, Bai Wang 0001, Liutong Xu Grid Application Scheduling Model Based on Petri Net with Changeable Structure. Search on Bibsonomy GCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Xiaodong Wang, Xiaoyu Zhang, Hongming Cai, Boyi Xu An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XML-Net, WADL, Petri-Net, supply chain, RESTful web service
47Chunguang Ji, Xiancui Lv, Shiyong Li The Design of Biopathway's Modelling and Simulation System Based on Petri Net. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF biopathway, Petri net, Stochastic Petri net, modelling and simulation
46Viktor Geller, Christelle Scharff Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF J#, Java, C#, NET, programming paradigms, SML
46Michael Weber 0003, Ekkart Kindler The Petri Net Kernel. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Michael Weber 0003, Ekkart Kindler The Petri Net Markup Language. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Kun Xiao, Shihong Chen, Xi Chen Course Material Research Based on Perti Net. Search on Bibsonomy ICWL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Petri net, courseware, material
45Wolfgang Schult, Andreas Polze Aspect-Oriented Programming with C# and .NET. Search on Bibsonomy Symposium on Object-Oriented Real-Time Distributed Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Component Programming, Aspect-Oriented Programming, C#, .NET
44Christian Dimitrovici, Udo Hummert, Laure Petrucci Semantics, composition and net properties of algebraic high-level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
43Nabendu Chaki, Swapan Bhattacharya Permutation Mapping for MIN Using High Level Net Models. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Ugo A. Buy, Gaurav Singal Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph
42James V. S. Watson, Sang-Min Park, Marty Humphrey Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Jia Zhang 0001, Jen-Yao Chung, Carl K. Chang, Seongwoon Kim WS-Net: A Petri-net Based Specification Model for Web Services. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Patrick Klinkoff, Engin Kirda, Christopher Kruegel, Giovanni Vigna Extending .NET security to unmanaged code. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF NET Security, Unmanaged Code, Sandboxing
41Andreas Rasche, Marco Puhlmann, Andreas Polze Heterogeneous Adaptive Component-Based Applications with Adaptive.Net. Search on Bibsonomy ISORC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET
41Rukshan I. Athauda, Nuwan Kodagoda, Jagath Wickramaratne, Prasanna Sumathipala, Lakmal Rupasinghe, Aruna Edirisighe, Anjalie Gamage, Dhammika De Silva Integrating industrial technologies, tools and practices to the IT curriculum: an innovative course with .NET and java platforms. Search on Bibsonomy SIGITE Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NET platform, CS/IT curriculum, java platform, state-of-art technologies, industry practices
41Jörg Desel, Agathe Merceron Vicinity respecting net morphisms. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Net morphisms, synthesis and structure of nets, coarsening and composition of nets
41Ugo A. Buy, Mihai Lehene, Houshang Darabi Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Hasan Arslan, Shantanu Dutt An effective hop-based detailed router for FPGAs for optimizing track usage and circuit performance. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bump and refit paradigm, bumping cost, hop-based routing, switchbox, FPGAs, detailed routing, MST
39Andreas Glausch, Wolfgang Reisig How Expressive Are Petri Net Schemata?. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Yangsun Lee 0002, Seungwon Na Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Sabyasachi Das, Sunil P. Khatri An efficient and regular routing methodology for datapath designsusing net regularity extraction. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Antonio J. Nebro, Enrique Alba 0001, Francisco Luna 0001, José M. Troya .NET as a Platform for Implementing Concurrent Objects (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Magdalena Gajewsky, Hartmut Ehrig The »Petri Net Baukasten«: An Overview. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing
39Alexandros Zerzelidis, Andy J. Wellings Requirements for a real-time .NET framework. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NET Framework, architecture-neutral real-time systems, code portability, programming language integration, Microsoft .NET
39Michael Köhler 0001, Daniel Moldt, Heiko Rölke Modelling the Structure and Behaviour of Petri Net Agents. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets
39Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
38R. Owen Rogers CruiseControl.NET: Continuous Integration for .NET. Search on Bibsonomy XP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Qiaolian Cheng, Ruijin Zhang, Yezhuang Tian Study on Information Technology Capabilities based on Value Net Theory. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information technology capabilities, value net, core technology, culture
37Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich Safer unsafe code for .NET. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
37Lianwei Guan, Xingyu Li, Hao Hu 0001 A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect dependency, shared join point, Petri net, conflict, aspect-oriented modeling
37Yingliang Wu, Chin E. Lin, Haosu Wu A Research of Value-Net Based Business Model and Operating of M-Commerce. Search on Bibsonomy I3E (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Collaborate Commerce (C-Commerce), Mobile Commerce (M-Commerce), Mobile Business Operator (MBP), Value-Net, Ecosystems (Ecology System), Business Model
37Hamid Reza Kheirabadi, Morteza Saheb Zamani An efficient net ordering algorithm for buffer insertion. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF buffer usage, net ordering, buffer insertion
37Kureshi Sonal, Vyas Preeta Practices, Perceptions and Avenues of Net-Based Promotions. Search on Bibsonomy Electron. Commer. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF net based promotions, exploratory research, perceptions, practices
37Haoyang Che Review of "Object-Oriented Programming with Visual Basic.NET by Michael McMillan"; Cambridge University Press: Cambridge, 2004, 0-521-53983-8. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Visual Basic, Microsoft .NET
37Dianxun Shuai, Xiang Feng Distributed Problem Solving in Multiagent Systems: A Spring Net Approach. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF crossbar composite spring net, parallel algorithm, multiagent system, distributed artificial intelligence, distributed problem solving
37Stelian Alupoaei, Srinivas Katkoori Net Clustering Based Constructive and Iterative Improvement Approaches for Macro-Cell Placement. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net clustering, macro-cell placement, cluster growth, wirelength optimization, simulated annealing
37Daniel L. Moise, Kenny Wong, Dabo Sun Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET. Search on Bibsonomy CSMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Visual Studio, add-ins, tool adoption, interoperability, reverse engineering, integration, extensibility, integrated development environment, .NET, Rigi
37Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
37Ernst-Rüdiger Olderog Strong bisimilarity on nets: a new concept for comparing net semantics. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
36Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan Elements of General Net Theory. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Robert M. Shapiro The Application of General Net Theory - A Personal History. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Gérard Memmi, Gérard Roucairol Linear Algebra in Net Theory. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36C. A. Petri 0001 Introduction to General Net Theory. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Jerre D. Noe Abstractions of Net Models. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Jerre D. Noe Applications of Net-Based Models. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Hartmann J. Genrich, E. Stankiewicz-Wiechno A Dictionary of Some Basic Notions of Net Theory. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
36Ray R. Hashemi, James Blondin SASSY: A Petri Net Based Student-Driven Advising Support System. Search on Bibsonomy ITNG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Advising system, Specialized Petri net, Course-Petri net, Student-driven advising system, Petri net
36 Book Reviews. Search on Bibsonomy IEEE Secur. Priv. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Peter Thorsteinson, G. Gnana Arun Ganesh, .NET Security and Cryptography, .NET
36Dianxiang Xu, Jianwen Yin, Yi Deng 0001, Junhua Ding A Formal Architectural Model for Logical Agent Mobility. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modeling, mobility, software architecture, Petri net, Mobile agent, predicate/transition net
36Haiping Xu, Sol M. Shatz A Framework for Model-Based Design of Agent-Oriented Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model
36Li Jiao, To-Yat Cheung, Weiming Lu Characterizing Liveness of Petri Nets in Terms of Siphons. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous
35Astrid Rakow Decompositional Petri Net Reductions. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Glenn S. Wasson, Norm Beekwilder, David Del Vecchio, Mark M. Morgan, Marty Humphrey Resource-oriented Computing: Design, Implementation, and Evaluation of WSRF.NET. Search on Bibsonomy J. Grid Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF stateful services, web services, Grid computing, middleware, WSRF
35Oliver Schulte, Wei Luo 0001, Russell Greiner Mind Change Optimal Learning of Bayes Net Structure. Search on Bibsonomy COLT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Nick Benton, Andrew Kennedy, Claudio V. Russo Adventures in interoperability: the SML.NET experience. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF applications of declarative programming, integration of paradigms, programming environments, functional programming
35Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, Marty Humphrey WS-ResourceFramework on .NET. Search on Bibsonomy HPDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Michael Kaplan Math-Net Means Not Just a Page! Search on Bibsonomy Electronic Information and Communication in Mathematics The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Olaf Kluge Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Francesc Net, Núria Hernández, Adrià Molina, Lluís Gómez A Transformer-Based Object-Centric Approach for Date Estimation of Historical Photographs. Search on Bibsonomy ECIR (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Jane Southworth, Kati W. Migliaccio, Joe Glover, Ja'net Glover, David Reed, Christopher McCarty, Joel Brendemuhl, Aaron Thomas Developing a model for AI Across the curriculum: Transforming the higher education landscape via innovation in AI literacy. Search on Bibsonomy Comput. Educ. Artif. Intell. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Joshua Vander Hook, Federico Rossi 0001, Tiago Vaquero, Martina Troesch, Marc Sanchez Net, Joshua Schoolcraft, Jean-Pierre de la Croix, Steve A. Chien Multirobot Onsite Shared Analytics Information and Computing. Search on Bibsonomy IEEE Trans. Control. Netw. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Francesc Net, Marc Folia, Pep Casals, Lluís Gómez Transductive Learning for Near-Duplicate Image Detection in Scanned Photo Collections. Search on Bibsonomy ICDAR (5) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35David Serrano, Francesc Net, Juan Antonio Rodríguez, Igor Ugarte TrackNet: A Triplet metric-based method for Multi-Target Multi-Camera Vehicle Tracking. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Lillian Clark, Jeffrey A. Edlund, Marc Sanchez Net, Tiago Stegun Vaquero, Ali-akbar Agha-mohammadi PropEM-L: Radio Propagation Environment Modeling and Learning for Communication-Aware Multi-Robot Exploration. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Lillian Clark, Jeffrey A. Edlund, Marc Sanchez Net, Tiago Stegun Vaquero, Ali-akbar Agha-mohammadi PropEM-L: Radio Propagation Environment Modeling and Learning for Communication-Aware Multi-Robot Exploration. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35J. Sánchez Umbría, Marta Net Continuation of Double Hopf Points in Thermal Convection of Rotating Fluid Spheres. Search on Bibsonomy SIAM J. Appl. Dyn. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Joshua Vander Hook, Federico Rossi 0001, Tiago Vaquero, Martina Troesch, Marc Sanchez Net, Joshua Schoolcraft, Jean-Pierre de la Croix, Steve A. Chien Multi-Robot On-site Shared Analytics Information and Computing. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
35Pau Garcia Buzzi, Daniel Selva, Marc Sanchez Net Autonomous Delay Tolerant Network Management Using Reinforcement Learning. Search on Bibsonomy J. Aerosp. Inf. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Federico Rossi 0001, Tiago Stegun Vaquero, Marc Sanchez Net, Maíra Saboia da Silva, Joshua Vander Hook The Pluggable Distributed Resource Allocator (PDRA): a Middleware for Distributed Computing in Mobile Robotic Networks. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Sreeja Nag, Alan S. Li, Vinay Ravindra, Marc Sanchez Net, Kar-Ming Cheung, Rod Lammers, Brian P. Bledsoe Autonomous Scheduling of Agile Spacecraft Constellations with Delay Tolerant Networking for Reactive Imaging. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Federico Rossi 0001, Tiago Stegun Vaquero, Marc Sanchez Net, Maíra Saboia da Silva, Joshua Vander Hook The Pluggable Distributed Resource Allocator (PDRA): a Middleware for Distributed Computing in Mobile Robotic Networks. Search on Bibsonomy IROS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35Joanna Roder, Carlos Oliveira, Lelia Net, Maxim Tsypin, Benjamin Linstid, Heinrich Roder A dropout-regularized classifier development approach optimized for precision medicine test discovery from omics data. Search on Bibsonomy BMC Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 22118 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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