|
|
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 |
97 | Claudia Ermel, Michael Weber 0003 |
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 79-102, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
97 | Benjamin Braatz, Hartmut Ehrig, Milan Urbásek |
Petri Net Transformations in the "Petri Net Baukasten". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 37-65, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
70 | Herbert 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](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 1-21, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Petri Net Technology, Petri Nets |
61 | Xiang Chen, Xinglin Li |
A Study on Workflow Resource Management Based on Workflow Net and Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 377-387, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Workflow net (WF-net), Workflow resource management, Agent, Colored Petri net, Workflow model, Business process analysis |
60 | Ying Chen Lin, Sy-Yuan Li, Yuan-Shin Hwang |
Dynamic Load-Balancing of Jini and .NET Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 257-265, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Stelian Alupoaei, Srinivas Katkoori |
Net-based force-directed macrocell placement for wirelength optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 10(6), pp. 824-835, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig |
Generation of Animation Views for Petri Nets in GenGED. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 83-108, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Ekkart Kindler, Michael Weber 0003 |
The Petri Net Kernel - An infrastructure for building Petri net tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 486-497, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Petri net types, Petri net API, Generic tools, Petri net, Tool development |
58 | Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski |
High-Level Nets with Nets and Rules as Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 268-288, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
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 |
57 | K. S. Ramesh |
Design and development of MINIX distributed operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 685, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MINIX |
56 | Stelian Alupoaei, Srinivas Katkoori |
Net Clustering Based Macrocell Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 399-, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Macrocell placement, net clustering, net placement, net prioritization, force-directed placement, iterative improvement |
56 | Jose Andre Morales |
Threat of renovated .NET viruses to mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 367-372, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Lianwei Guan, Xingyu Li, Hao Hu 0001, Jian Lu 0001 |
A Petri net-based approach for supporting aspect-oriented modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 413-423, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net |
52 | Zalech Zalech |
Essential ASP.NET2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 5(12), 2004. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Richard Conn |
A brief dive into .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 21-22, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Brian Field, Daniel Mossé, Taieb Znati |
Simulation of ν-NET, a versatile network architecture for real-time and non-real-time traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 29st Annual Simulation Symposium (SS '96), April 8-11, 1996, New Orleans, LA, USA, pp. 260-270, 1996, IEEE Computer Society, 0-8186-7432-6. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Jin-Tai Yan |
Connection-oriented net model and fuzzy clustering techniques for K-way circuit partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 236-241, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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 |
50 | Julia Padberg, Hartmut Ehrig |
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 173-229, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets |
50 | Francesco Parisi-Presicce |
A Formal Framework for Petri Net Class Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 409-430, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Rik Eshuis, Roel J. Wieringa |
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 321-351, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Parthasarathy Ramachandran, Manjunath Kamath |
A Sufficient Condition for Reachability in a General Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(3), pp. 251-266, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding |
48 | Christoph Schneider, Joachim Wehler |
Petri Net Theory - Problems Solved by Commutative Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 248-267, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability |
48 | Tino Pyssysalo, Leo Ojala |
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 625-632, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Katsuhiro Matsuno, Chil-Woo Lee, Satoshi Kimura, Saburo Tsuji |
Automatic Recognition of Human Facial Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 352-359, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Younes Souissi |
On liveness preservation by composition of nets via a set of places. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 277-295, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition |
47 | Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas |
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 207-217, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Xiangang Zhao, Bai Wang 0001, Liutong Xu |
Grid Application Scheduling Model Based on Petri Net with Changeable Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings, pp. 733-736, 2007, IEEE Computer Society, 0-7695-2871-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Xiaodong 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](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 130-146, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML-Net, WADL, Petri-Net, supply chain, RESTful web service |
47 | Chunguang Ji, Xiancui Lv, Shiyong Li |
The Design of Biopathway's Modelling and Simulation System Based on Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 721-726, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
biopathway, Petri net, Stochastic Petri net, modelling and simulation |
46 | Viktor Geller, Christelle Scharff |
Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 406, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
J#, Java, C#, NET, programming paradigms, SML |
46 | Wolfgang Schult, Andreas Polze |
Aspect-Oriented Programming with C# and .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 241-248, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Component Programming, Aspect-Oriented Programming, C#, .NET |
46 | Michael Weber 0003, Ekkart Kindler |
The Petri Net Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 109-124, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Michael Weber 0003, Ekkart Kindler |
The Petri Net Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 124-144, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Kun Xiao, Shihong Chen, Xi Chen |
Course Material Research Based on Perti Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 79-86, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Petri net, courseware, material |
44 | Christian Dimitrovici, Udo Hummert, Laure Petrucci |
Semantics, composition and net properties of algebraic high-level nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 93-117, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
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 |
43 | Nabendu Chaki, Swapan Bhattacharya |
Permutation Mapping for MIN Using High Level Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 548-, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Ugo A. Buy, Gaurav Singal |
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 717-722, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph |
42 | Andreas Rasche, Marco Puhlmann, Andreas Polze |
Heterogeneous Adaptive Component-Based Applications with Adaptive.Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 418-425, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET |
42 | James V. S. Watson, Sang-Min Park, Marty Humphrey |
Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 477-484, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Jia Zhang 0001, Jen-Yao Chung, Carl K. Chang, Seongwoon Kim |
WS-Net: A Petri-net Based Specification Model for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 420-427, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Patrick Klinkoff, Engin Kirda, Christopher Kruegel, Giovanni Vigna |
Extending .NET security to unmanaged code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(6), pp. 417-428, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
NET Security, Unmanaged Code, Sandboxing |
41 | Rukshan 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](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 125-132, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
NET platform, CS/IT curriculum, java platform, state-of-art technologies, industry practices |
41 | Jörg Desel, Agathe Merceron |
Vicinity respecting net morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 165-185, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Net morphisms, synthesis and structure of nets, coarsening and composition of nets |
41 | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 211-218, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Hasan Arslan, Shantanu Dutt |
An effective hop-based detailed router for FPGAs for optimizing track usage and circuit performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 208-213, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
bump and refit paradigm, bumping cost, hop-based routing, switchbox, FPGAs, detailed routing, MST |
39 | Andreas Glausch, Wolfgang Reisig |
How Expressive Are Petri Net Schemata?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 201-220, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Yangsun Lee 0002, Seungwon Na |
Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part III, pp. 826-832, 2004, Springer, 3-540-23205-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Sabyasachi Das, Sunil P. Khatri |
An efficient and regular routing methodology for datapath designsusing net regularity extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(1), pp. 93-101, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Antonio J. Nebro, Enrique Alba 0001, Francisco Luna 0001, José M. Troya |
.NET as a Platform for Implementing Concurrent Objects (Research Note). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 125-130, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Magdalena Gajewsky, Hartmut Ehrig |
The »Petri Net Baukasten«: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 26-53, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 104-123, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing |
39 | Alexandros Zerzelidis, Andy J. Wellings |
Requirements for a real-time .NET framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(2), pp. 41-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
NET Framework, architecture-neutral real-time systems, code portability, programming language integration, Microsoft .NET |
39 | Michael Köhler 0001, Daniel Moldt, Heiko Rölke |
Modelling the Structure and Behaviour of Petri Net Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 224-241, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets |
39 | Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 89-107, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
38 | Daniel L. Moise, Kenny Wong, Dabo Sun |
Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 8th European Conference on Software Maintenance and Reengineering (CSMR 2004), 24-26 March 2004, Tampere, Finland, Proceedings, pp. 85-94, 2004, IEEE Computer Society, 0-7695-2107-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Visual Studio, add-ins, tool adoption, interoperability, reverse engineering, integration, extensibility, integrated development environment, .NET, Rigi |
38 | R. Owen Rogers |
CruiseControl.NET: Continuous Integration for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings, pp. 114-122, 2003, Springer, 3-540-40215-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | |
Book Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 2(4), pp. 10, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Peter Thorsteinson, G. Gnana Arun Ganesh, .NET Security and Cryptography, .NET |
37 | Qiaolian Cheng, Ruijin Zhang, Yezhuang Tian |
Study on Information Technology Capabilities based on Value Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 1045-1050, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information technology capabilities, value net, core technology, culture |
37 | Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich |
Safer unsafe code for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 329-346, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains |
37 | Lianwei Guan, Xingyu Li, Hao Hu 0001 |
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 83-90, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect dependency, shared join point, Petri net, conflict, aspect-oriented modeling |
37 | Yingliang Wu, Chin E. Lin, Haosu Wu |
A Research of Value-Net Based Business Model and Operating of M-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E (1) ![In: Integration and Innovation Orient to E-Society, Volume 1, Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China, pp. 568-577, 2007, Springer, 978-0-387-75465-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Collaborate Commerce (C-Commerce), Mobile Commerce (M-Commerce), Mobile Business Operator (MBP), Value-Net, Ecosystems (Ecology System), Business Model |
37 | Hamid Reza Kheirabadi, Morteza Saheb Zamani |
An efficient net ordering algorithm for buffer insertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 521-524, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
buffer usage, net ordering, buffer insertion |
37 | Kureshi Sonal, Vyas Preeta |
Practices, Perceptions and Avenues of Net-Based Promotions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 5(3-4), pp. 401-424, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
net based promotions, exploratory research, perceptions, practices |
37 | Haoyang 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](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(2), pp. 29-30, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Visual Basic, Microsoft .NET |
37 | Dianxun Shuai, Xiang Feng |
Distributed Problem Solving in Multiagent Systems: A Spring Net Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 20(4), pp. 66-74, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
crossbar composite spring net, parallel algorithm, multiagent system, distributed artificial intelligence, distributed problem solving |
37 | Stelian Alupoaei, Srinivas Katkoori |
Net Clustering Based Constructive and Iterative Improvement Approaches for Macro-Cell Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(1), pp. 151-163, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
net clustering, macro-cell placement, cluster growth, wirelength optimization, simulated annealing |
37 | Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri |
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(12), pp. 1307-1322, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking |
37 | Ernst-Rüdiger Olderog |
Strong bisimilarity on nets: a new concept for comparing net semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 549-573, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness |
36 | Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan |
Elements of General Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 21-163, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Robert M. Shapiro |
The Application of General Net Theory - A Personal History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 401-440, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Gérard Memmi, Gérard Roucairol |
Linear Algebra in Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 213-223, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | C. A. Petri 0001 |
Introduction to General Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 1-19, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Jerre D. Noe |
Abstractions of Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 369-388, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Jerre D. Noe |
Applications of Net-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 389-400, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Hartmann J. Genrich, E. Stankiewicz-Wiechno |
A Dictionary of Some Basic Notions of Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Net Theory and Applications ![In: Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979, pp. 519-531, 1979, Springer, 3-540-10001-6. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Ray R. Hashemi, James Blondin |
SASSY: A Petri Net Based Student-Driven Advising Support System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 150-155, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Advising system, Specialized Petri net, Course-Petri net, Student-driven advising system, Petri net |
36 | Dianxiang Xu, Jianwen Yin, Yi Deng 0001, Junhua Ding |
A Formal Architectural Model for Logical Agent Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(1), pp. 31-45, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
modeling, mobility, software architecture, Petri net, Mobile agent, predicate/transition net |
36 | Haiping Xu, Sol M. Shatz |
A Framework for Model-Based Design of Agent-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(1), pp. 15-30, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model |
36 | Li Jiao, To-Yat Cheung, Weiming Lu |
Characterizing Liveness of Petri Nets in Terms of Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 203-216, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous |
35 | Helen D. Karatza |
A Valuable Resource of Programmers Using .NET Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 5(6), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VB.NET, distributed applications, distributed programming, .NET |
35 | Astrid Rakow |
Decompositional Petri Net Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 352-366, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Glenn 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](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 6(2), pp. 177-194, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stateful services, web services, Grid computing, middleware, WSRF |
35 | Oliver Schulte, Wei Luo 0001, Russell Greiner |
Mind Change Optimal Learning of Bayes Net Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings, pp. 187-202, 2007, Springer, 978-3-540-72925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 215-226, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
applications of declarative programming, integration of paradigms, programming environments, functional programming |
35 | Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, Marty Humphrey |
WS-ResourceFramework on .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 13th International Symposium on High-Performance Distributed Computing (HPDC-13 2004), 4-6 June 2004, Honolulu, Hawaii, USA, pp. 258-259, 2004, IEEE Computer Society, 0-7695-2175-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Michael Kaplan |
Math-Net Means Not Just a Page! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electronic Information and Communication in Mathematics ![In: Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers, pp. 95-99, 2002, Springer, 3-540-40689-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Olaf Kluge |
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 197-218, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Francesc 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](Pics/bibsonomy.png) |
ECIR (3) ![In: Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part III, pp. 137-150, 2024, Springer, 978-3-031-56062-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Jane 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](Pics/bibsonomy.png) |
Comput. Educ. Artif. Intell. ![In: Comput. Educ. Artif. Intell. 4, pp. 100127, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Joshua 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](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 10(1), pp. 169-181, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Francesc Net, Marc Folia, Pep Casals, Lluís Gómez |
Transductive Learning for Near-Duplicate Image Detection in Scanned Photo Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR (5) ![In: Document Analysis and Recognition - ICDAR 2023 - 17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part V, pp. 3-17, 2023, Springer, 978-3-031-41733-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | David 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.13857, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Lillian 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.01267, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Lillian 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](Pics/bibsonomy.png) |
Robotics: Science and Systems ![In: Robotics: Science and Systems XVIII, New York City, NY, USA, June 27 - July 1, 2022., 2022, 978-0-9923747-8-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | J. Sánchez Umbría, Marta Net |
Continuation of Double Hopf Points in Thermal Convection of Rotating Fluid Spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 20(1), pp. 208-231, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Joshua 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.06879, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Pau Garcia Buzzi, Daniel Selva, Marc Sanchez Net |
Autonomous Delay Tolerant Network Management Using Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 18(7), pp. 404-416, July 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Federico 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.13813, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Sreeja 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.09940, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Federico 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](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pp. 4337-4344, 2020, IEEE, 978-1-7281-6212-6. The full citation details ...](Pics/full.jpeg) |
2020 |
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][ >>] |
|