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
22Richard A. Kilgore Object-oriented simulation with SML and Silk in Java and .Net: object-oriented simulation with SML and silk in .Net and Java. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, embedded systems, time petri net, requirement validation
21Jing Xu, Laura Recalde, Manuel Silva Suárez Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Join-free timed continuous Petri net, Input constraints, Convergence analysis, Tracking control
21Yousri M. El Fattah Semantic web for net-enabled decision making. Search on Bibsonomy ONISW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF course of action, effects-based operations, net-enabled, ontology, semantic web, Bayesian networks
21Kunal Goswami, Arobinda Gupta Resource Selection in Grids Using Contract Net. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Grid, Selection, Resource, Contract Net
21Roland Meyer 0001, Victor Khomenko, Tim Strazny A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
21Chunxiang Xu, Hanpin Wang, Wanling Qu Modeling and verifying BPEL using synchronized net. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronized net, modeling, verification, BPEL, web services composition
21Jaechang Nam A Trust Framework of Ubiquitous Healthcare with Advanced Petri Net Model. Search on Bibsonomy eHealth The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Trust framework, Petri net, Ubiquitous healthcare
21Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. Search on Bibsonomy SBCCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulation, energy consumption, embedded software, coloured petri net, execution time
21Gordan Topic, Dragan Jevtic, Marijan Kunstic Petri Net-Based Simulation and Analysis of the Software Development Process. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software development, process modeling, colored Petri net
21Dalju Lee, Jongmoon Baik QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF QoS Protocol, Petri-Net, Protocol Verification
21Daniel Martin 0001, Daniel Wutke, Frank Leymann Using tuplespaces to enact petri net-based workflow definitions. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF petri net execution, petri nets, workflows, tuplespaces
21Daniel J. Weitzner Twelve Billion Bargaining Chips: The Web Side of the Net Neutrality Debate. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web page creators, blogs, ISPs, Net neutrality, bloggers
21Minghu Ha 0001, Yan Li 0003, Xiao-Feng Wang Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning
21Richard T. Watson, Detmar W. Straub Future IS research in net-enabled organizations. Search on Bibsonomy Data Base The full citation details ... 2007 DBLP  DOI  BibTeX  RDF information systems research, net-enabled organizations, organizational goals, value of information systems, networks, stakeholders
21Lansheng Han, Shuxia Han, Bing Peng, Varney Washington Fuzzy Tracing the Source of Net-Virus. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Net-virus, fuzzy trace, network security
21Atul Adya, José A. Blakeley, Sergey Melnik 0001, S. Muralidhar Anatomy of the ADO.NET entity framework. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ADO.NET, data programming, conceptual modeling
21Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan A Workflow Process Mining Algorithm Based on Synchro-Net. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF workflow logic, workflow semantics, Petri net, workflow, process mining
21Norihiro Kamide Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
21Tzu-Husan Wu, Rita Kuo, Maiga Chang, Jia-Sheng Heh Developing a Learning Notification Express Delivery Service for Students Based on Petri-Net. Search on Bibsonomy ICALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Learning Feedback, Petri-net, Computer Assisted Learning
21Wen-Yu Liu 0001, Kwoting Fang Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Task Ontology, IDEF0/Petri net, Debris-Flow
21Julia Fix, Christian von Scheve, Daniel Moldt Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF socionics, MAS, emotions, social norms, petri net modeling
21Sushil Krishna Bajracharya, Trung Chi Ngo, Cristina Videira Lopes On using Net Options Value as a value based design framework. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF net options value, value based design
21Andreas Janecek, Helmut Hlavacs Programming interactive real-time games over WLAN for pocket PCs with J2ME and .NET CF. Search on Bibsonomy NETGAMES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NET compact framework, Java micro edition, interactive real-time games, WLAN, PocketPC
21Lakshmi Prayaga Building dynamic web applications with ASP.Net and ColdFusion MX 7.0: a comparative approach. Search on Bibsonomy SIGITE Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ColdFusion MX 7.0, depth and breadth of knowledge, top-down teaching style, web application, active learning, ASP.Net
21Brent Goplen, Prashant Saxena, Sachin S. Sapatnekar Net weighting to reduce repeater counts during placement. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF interconnect, placement, scaling, buffering, repeater, force-directed placement, net weighting
21Scott R. Tilley, Kostas Kontogiannis Report from the 4th International Workshop on Net-Centric Computing (NCC 2005). Search on Bibsonomy STEP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF net-centric computing (NCC), middleware, technology, roadmap
21Ping-Yu Hsu 0001, Yuan-Bin Chang, Yen-Liang Chen STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net
21Guo Jianquan, Shi Chiliang Regional advantages under the net-based environment. Search on Bibsonomy ICEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Internet institutional environment, net-based economy, regional advantages, Internet infrastructures
21Veyis Gunes, Pierre Loonis, Michel Ménard A Fuzzy Petri Net for Pattern Recognition: Application to Dynamic Classes. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Dynamic knowledge representation, Pattern recognition, Fuzzy Petri net
21Sheng Uei Guan, Wei Liu, Kenneth Ong An extendible Petri net model for Memex-like applications. Search on Bibsonomy ISCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF color token, Internet, Petri Net, interaction multimedia, multimedia synchronization, Memex
21Alf Kimms Maximizing the Net Present Value of a Project Under Resource Constraints Using a Lagrangian Relaxation Based Heuristic with Tight Upper Bounds. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF heuristics, Lagrangian relaxation, resource-constrained project scheduling, net present value
21Yury Bychkov, Jens H. Jahnke Interactive Migration of Legacy Databases to Net-Centric Technologies. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Net-centric computing, data reengineering, XML, migration, XSLT, Electronic Data Interchange
21Konstantin Knorr, Harald Weidner Analyzing Separation of Duties in Petri Net Workflows. Search on Bibsonomy MMM-ACNS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net, workflow, Logical programming, separation of duties
21King Sing Cheung, K. O. Chow, T. Y. Cheung Deriving Scenarios Of Object Interaction Through Petri Net. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF object lifecycle, Petri net, object interaction, object behaviour
21P. S. Nagendra Rao, C. S. Jayathirtha, C. S. Raghavendra Prasad New Net Models for Spectral Netlist Partitioning. Search on Bibsonomy VLSI Design The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Netlist Partitioning, Spectral Partitioning Net Models, Clique Models, Star Models, Graph Partitioning
21Andrew T. Clayman, Gary L. Mullen Improved (T, M, S)-net Parameters from the Gilbert-Varshamov Bound. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF (t, m, s)-net, Error-correcting codes
21Wai-Kei Mak, D. F. Wong 0001 Board-level multiterminal net routing for FPGA-based logic emulation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF board-level routing, multi-terminal net decomposition, field programmable gate arrays, crossbars, logic emulation
21Ekkart Kindler A Compositional Partial Order Semantics for Petri Net Components. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
21Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software test and debug, software development, software fault, Petri-net model
21Chuang Lin 0002, Bo Li 0001, Jianping Wu Modeling ATM traffic using stochastic Petri net. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF stochastic high level Petri net, stochastic events, ATM traffic control modeling, concurrent events, nondeterministic events, state space explosion problem, bursty traffic source, traffic rate control, token condensing, performance analysis, asynchronous transfer mode, ATM networks, multimedia traffic, asynchronous events, submodels, reduction method
21Thomas Fritsch, B. Neuner, P. Klotz, P. H. Kraus A Self-Organizing Neural Net Clustering Parkinson Patients and Control Persons Using Motor Data. Search on Bibsonomy CBMS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF self-organizing neural net, Parkinson patients, motor data, neurodegenerative disorder, therapeutic measures, therapeutic control, disease monitoring, learning (artificial intelligence), statistical analysis, medical computing, self-organizing feature map, standardisation, motor impairment, self-organising feature maps, patient monitoring, Parkinson's disease
21Denis Avrilionis, Pierre-Yves Cunin Using views to maintain Petri-net-based process models. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Petri-net-based process model maintenance, quality aspects, real software-production process, sub-model, participant perception, abstract modules, formally defined operators, Process Weaver modelling language, review process model, view evolution, view composition, Petri nets, software maintenance, software tools, software quality, programming environments, products, views, maintainability, computer aided software engineering, software process model, activities, simulation languages, project support environments, process model change
21Miguel Felder, Dino Mandrioli, Angelo Morzenti Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
21Rudolf K. Keller, Marianne Ozkan, Xijin Shen Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
21Frits Feldbrugge Petri Net Tool Overview 1992 Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation
21Reg G. Willson, Bruce H. Krogh Petri Net Tools for the Specification and Analysis of Discrete Controllers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
21Hany H. Ammar, S. M. Rezaul Islam Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling
21Joanne Bechta Dugan, Gianfranco Ciardo Stochastic Petri Net Analysis of a Replicated File System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF performance reliability tradeoffs, stochastic Petri net model, replicated file system, voting algorithm, file status, majority protocols, Petri nets, fault tolerant computing, distributed databases, concurrency control, distributed environment, witnesses
21Frits Feldbrugge Petri net tool overview 1989. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification
20ZhiWu Li 0001, MengChu Zhou Control of Elementary and Dependent Siphons in Petri Nets and Their Application. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Tsung-Hsien Lee, Ting-Chi Wang Congestion-Constrained Layer Assignment for Via Minimization in Global Routing. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Franck Pommereau Quickly prototyping petri nets tools with SNAKES. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quick prototyping, petri nets
20Maria Paola Cabasino, Alessandro Giua, Carla Seatzu Identification of Petri Nets from Knowledge of Their Language. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer programming problem, Petri nets, Identification
20Zhiwei Xu 0002, Lijuan Xiao, Xingwu Liu Personal Grid. Search on Bibsonomy NPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Ralph Mueller, Christos Alexopoulos, Leon F. McGinnis Automatic generation of simulation models for semiconductor manufacturing. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Anikó Costa, Luís Gomes 0001 Module Composition within Petri Nets Model-based Development. Search on Bibsonomy SIES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava 0001, Miodrag Potkonjak A statistical methodology for wire-length prediction. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Narender Hanchate, Nagarajan Ranganathan A game-theoretic framework for multimetric optimization of interconnect delay, power, and crosstalk noise during wire sizing. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Game theory, transmission lines, crosstalk noise, interconnect models, wire sizing, interconnect delay
20Alexander E. Kostin A Reachability Algorithm for General Petri Nets Based on Transition Invariants. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF transition invariants, Petri nets, reachability
20Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji Structural analysis of Petri nets with batch processing arcs. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao Verification of Strict Integrity Policy via Petri Nets. Search on Bibsonomy ICSNC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Azadeh Davoodi, Ankur Srivastava 0001 Power-driven simultaneous resource binding and floorplanning: a probabilistic approach. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Xiang Lu, Zhuo Li 0001, Wangqi Qiu, D. M. H. Walker, Weiping Shi Longest-path selection for delay test under process variation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima Petri nets tools integration through Eclipse. Search on Bibsonomy eTX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20James M. Hereford, Tüze Kuyucu Robust Neural Networks Using Motes. Search on Bibsonomy Evolvable Hardware The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Chao-Yang Yeh, Malgorzata Marek-Sadowska Sequential delay budgeting with interconnect prediction. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Hao Li, Wai-Kei Mak, Srinivas Katkoori Force-Directed Performance-Driven Placement Algorithm for FPGAs. Search on Bibsonomy ISVLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Jianming Fu, Xian Yi, Huanguo Zhang Modeling the Behavior of Ada Tasks and Verifying Its Safety. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwal, Ankur Srivastava 0001, Miodrag Potkonjak Wire-length prediction using statistical techniques. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Luc Charest, El Mostapha Aboulhamid, Guy Bois Using Design Patterns for Type Unification and Introspection in SystemC. Search on Bibsonomy IWSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Miodrag Vujkovic, David Wadkins, William Swartz, Carl Sechen Efficient timing closure without timing driven placement and routing. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF digital design flow, gate sizing, placement and routing, timing closure
20S. K. Yang A condition-based failure-prediction and processing-scheme for preventive maintenance. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Chokri Slim, Abdelwahed Trabelsi Neural Network for Modeling Financial Time Series: A New Approach. Search on Bibsonomy ICCSA (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20David G. Stork, Rob J. van Glabbeek Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20K. K. Lee, D. F. Wong 0001 Incremental reconfiguration of multi-FPGA systems. Search on Bibsonomy FPGA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Karsten Schmidt 0004 How to Calculate Symmetries of Petri Nets. Search on Bibsonomy Acta Informatica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Guenter Stenz, Bernhard M. Riess, Bernhard Rohfleisch, Frank M. Johannes Performance optimization by interacting netlist transformations andplacement. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Milind R. Naphade, Thomas S. Huang Semantic Video Indexing Using a Probabilistic Framework. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Kiyomi Nakamura, Noriki Kinoshita, Hirokazu Kanayama, Takashi Minami Spreading Associative Neural Network Recognizes the Shape and Position of an Object Simultaneously. Search on Bibsonomy IJCNN (2) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Lars Michael Kristensen, Antti Valmari Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Luigi Portinale Modeling and Solving Constraint Satisfaction Problems through Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
20Krzysztof Bilinski, Erik L. Dagless High Level Synthesis of Synchronous Parallel Controllers. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul Behavioral Synthesis of Complex Parallel Controllers. Search on Bibsonomy VLSI Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Konrad Doll, Frank M. Johannes, Kurt Antreich Iterative placement improvement by network flow methods. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
20Michel Barbeau, Gregor von Bochmann Extension of the Karp and Miller Procedure to Lotos Specifications. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
20Michael Waidner Unconditional Sender and Recipient Untraceability in Spite of Active Attacks. Search on Bibsonomy EUROCRYPT The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Zhong Chen, Tong Zheng, Junsong Leng, Jiahao Zhang, He Deng, Xiaofei Mi, Jian Yang R&D-Net: Integration of Registration-Net and Detection-Net for Identifying Building Changes in High Spatial-Resolution Remote Sensing Images. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Laura Melgar-García, Francisco Martínez-Álvarez, Dieu Tien Bui, Alicia Troncoso A novel semantic segmentation approach based on U-Net, WU-Net, and U-Net++ deep learning for predicting areas sensitive to pluvial flood at tropical area. Search on Bibsonomy Int. J. Digit. Earth The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xin Wu, Danfeng Hong, Jocelyn Chanussot UIU-Net: U-Net in U-Net for Infrared Small Object Detection. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jixiang Ding GLFSU-Net: Global and Local Features Fusion Using Separable U-Net to Improve Anatomical Landmark Detection in 2D X-Ray Radiography ImagesGLFSU-Net: Improving Anatomical Landmark Detection in 2D X-Ray Radiography Images. Search on Bibsonomy ISAIMS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xin Wu, Danfeng Hong, Jocelyn Chanussot UIU-Net: U-Net in U-Net for Infrared Small Object Detection. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Zhiyong Xiao, Nianmao Du, Jianjun Liu, Weidong Zhang 0004 SR-Net: A sequence offset fusion net and refine net for undersampled multislice MR image reconstruction. Search on Bibsonomy Comput. Methods Programs Biomed. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Cem Emre Akbas, Michal Kozubek 0001 Condensed U-Net (Cu-Net): An Improved U-Net Architecture for Cell Segmentation Powered by 4x4 Max-Pooling Layers. Search on Bibsonomy ISBI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Guy Vitaglione Predicting Online Aggression: The Net Bully, Net Power, and Net Importance Scales. Search on Bibsonomy Int. J. Cyber Behav. Psychol. Learn. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20John C. Martin, Bruce A. Rosa, Philip Ozersky, Kymberlie Hallsworth-Pepin, Xu Zhang, Veena Bhonagiri-Palsikar, Rahul Tyagi, Qi Wang, Young-Jun Choi, Xin Gao, Samantha N. McNulty, Paul J. Brindley, Makedonka Dautova Mitreva Helminth.net: expansions to Nematode.net and an introduction to Trematode.net. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
20Yumi Sakyo, Kazuhiro Nakayama, Hiroko Komatsu, Yoko Setoyama User Needs on Nursing Net(The Kango Net) - Analyzing the Total Consultation Page - http://www.kango-net.jp/en/index.html. Search on Bibsonomy Nursing Informatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Bill Hamilton ADO.NET 3.5 cookbook - building data-centric: .NET applications: updated for .NET 3.5, LINQ, and SQL server 2008 (2. ed.). Search on Bibsonomy 2008   RDF
20Omar A. L. Zabir Building a web 2.0 portal with ASP.NET 3.5 - learn how to build a state-of-the-art Ajax web site using: ASP.NET, .NET 3.5, LINQ, Windows WF, and more. Search on Bibsonomy 2008   RDF
20Juval Löwy Programming .NET components - building maintainable, extensible, and reusable .NET applications: covers .NET 21.0 and Visual Studio 2005 (2. ed.). Search on Bibsonomy 2005   RDF
Displaying result #901 - #1000 of 22118 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
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