|
|
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«. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
97 | Benjamin Braatz, Hartmut Ehrig, Milan Urbásek |
Petri Net Transformations in the "Petri Net Baukasten". |
Petri Net Technology for Communication-Based Systems |
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. |
Petri Net Technology for Communication-Based Systems |
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. |
CONFENIS (1) |
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. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Stelian Alupoaei, Srinivas Katkoori |
Net-based force-directed macrocell placement for wirelength optimization. |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig |
Generation of Animation Views for Petri Nets in GenGED. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Ekkart Kindler, Michael Weber 0003 |
The Petri Net Kernel - An infrastructure for building Petri net tools. |
Int. J. Softw. Tools Technol. Transf. |
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. |
ICATPN |
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. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
MINIX |
56 | Stelian Alupoaei, Srinivas Katkoori |
Net Clustering Based Macrocell Placement. |
ASP-DAC/VLSI Design |
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. |
ACM Southeast Regional Conference |
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. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net |
52 | Richard Conn |
A brief dive into .NET. |
ACM Southeast Regional Conference (1) |
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. |
Annual Simulation Symposium |
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. |
ICCD |
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 |
51 | Zalech Zalech |
Essential ASP.NET2. |
IEEE Distributed Syst. Online |
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 |
50 | Julia Padberg, Hartmut Ehrig |
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. |
Unifying Petri Nets |
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. |
Petri Net Technology for Communication-Based Systems |
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. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Parthasarathy Ramachandran, Manjunath Kamath |
A Sufficient Condition for Reachability in a General Petri Net. |
Discret. Event Dyn. Syst. |
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. |
ICATPN |
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. |
EUROMICRO |
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. |
ICCV |
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. |
Applications and Theory of Petri Nets |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Xiangang Zhao, Bai Wang 0001, Liutong Xu |
Grid Application Scheduling Model Based on Petri Net with Changeable Structure. |
GCC |
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. |
OTM Conferences (1) |
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. |
RSKT |
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. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
J#, Java, C#, NET, programming paradigms, SML |
46 | Michael Weber 0003, Ekkart Kindler |
The Petri Net Kernel. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Michael Weber 0003, Ekkart Kindler |
The Petri Net Markup Language. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Kun Xiao, Shihong Chen, Xi Chen |
Course Material Research Based on Perti Net. |
ICWL |
2008 |
DBLP DOI BibTeX RDF |
Petri net, courseware, material |
45 | Wolfgang Schult, Andreas Polze |
Aspect-Oriented Programming with C# and .NET. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Component Programming, Aspect-Oriented Programming, C#, .NET |
44 | Christian Dimitrovici, Udo Hummert, Laure Petrucci |
Semantics, composition and net properties of algebraic high-level nets. |
Applications and Theory of Petri Nets |
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. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Ugo A. Buy, Gaurav Singal |
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph |
42 | James V. S. Watson, Sang-Min Park, Marty Humphrey |
Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET. |
International Conference on Computational Science (1) |
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. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Patrick Klinkoff, Engin Kirda, Christopher Kruegel, Giovanni Vigna |
Extending .NET security to unmanaged code. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
NET Security, Unmanaged Code, Sandboxing |
41 | Andreas Rasche, Marco Puhlmann, Andreas Polze |
Heterogeneous Adaptive Component-Based Applications with Adaptive.Net. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET |
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. |
SIGITE Conference |
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. |
Applications and Theory of Petri Nets |
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. |
SEW |
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. |
ACM Great Lakes Symposium on VLSI |
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?. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Yangsun Lee 0002, Seungwon Na |
Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Sabyasachi Das, Sunil P. Khatri |
An efficient and regular routing methodology for datapath designsusing net regularity extraction. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
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). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Magdalena Gajewsky, Hartmut Ehrig |
The »Petri Net Baukasten«: An Overview. |
Unifying Petri Nets |
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. |
ICATPN |
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. |
ACM SIGPLAN Notices |
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. |
ICATPN |
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. |
IEEE Trans. Software Eng. |
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 | R. Owen Rogers |
CruiseControl.NET: Continuous Integration for .NET. |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Qiaolian Cheng, Ruijin Zhang, Yezhuang Tian |
Study on Information Technology Capabilities based on Value Net Theory. |
ISECS |
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. |
OOPSLA |
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. |
TASE |
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. |
I3E (1) |
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. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
buffer usage, net ordering, buffer insertion |
37 | Kureshi Sonal, Vyas Preeta |
Practices, Perceptions and Avenues of Net-Based Promotions. |
Electron. Commer. Res. |
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. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
Visual Basic, Microsoft .NET |
37 | Dianxun Shuai, Xiang Feng |
Distributed Problem Solving in Multiagent Systems: A Spring Net Approach. |
IEEE Intell. Syst. |
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. |
J. VLSI Signal Process. |
2004 |
DBLP DOI BibTeX RDF |
net clustering, macro-cell placement, cluster growth, wirelength optimization, simulated annealing |
37 | Daniel L. Moise, Kenny Wong, Dabo Sun |
Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET. |
CSMR |
2004 |
DBLP DOI BibTeX RDF |
Visual Studio, add-ins, tool adoption, interoperability, reverse engineering, integration, extensibility, integrated development environment, .NET, Rigi |
37 | Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri |
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. |
IEEE Trans. Parallel Distributed Syst. |
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. |
REX Workshop |
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. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Robert M. Shapiro |
The Application of General Net Theory - A Personal History. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Gérard Memmi, Gérard Roucairol |
Linear Algebra in Net Theory. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | C. A. Petri 0001 |
Introduction to General Net Theory. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Jerre D. Noe |
Abstractions of Net Models. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Jerre D. Noe |
Applications of Net-Based Models. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Hartmann J. Genrich, E. Stankiewicz-Wiechno |
A Dictionary of Some Basic Notions of Net Theory. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
36 | Ray R. Hashemi, James Blondin |
SASSY: A Petri Net Based Student-Driven Advising Support System. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
Advising system, Specialized Petri net, Course-Petri net, Student-driven advising system, Petri net |
36 | |
Book Reviews. |
IEEE Secur. Priv. |
2004 |
DBLP DOI BibTeX RDF |
Peter Thorsteinson, G. Gnana Arun Ganesh, .NET Security and Cryptography, .NET |
36 | Dianxiang Xu, Jianwen Yin, Yi Deng 0001, Junhua Ding |
A Formal Architectural Model for Logical Agent Mobility. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
ICATPN |
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. |
IEEE Distributed Syst. Online |
2004 |
DBLP DOI BibTeX RDF |
VB.NET, distributed applications, distributed programming, .NET |
35 | Astrid Rakow |
Decompositional Petri Net Reductions. |
IFM |
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. |
J. Grid Comput. |
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. |
COLT |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. |
PPDP |
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. |
HPDC |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Michael Kaplan |
Math-Net Means Not Just a Page! |
Electronic Information and Communication in Mathematics |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Olaf Kluge |
Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. |
Petri Net Technology for Communication-Based Systems |
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. |
ECIR (3) |
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. |
Comput. Educ. Artif. Intell. |
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. |
IEEE Trans. Control. Netw. Syst. |
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. |
ICDAR (5) |
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. |
CoRR |
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. |
CoRR |
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. |
Robotics: Science and Systems |
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. |
SIAM J. Appl. Dyn. Syst. |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
35 | Pau Garcia Buzzi, Daniel Selva, Marc Sanchez Net |
Autonomous Delay Tolerant Network Management Using Reinforcement Learning. |
J. Aerosp. Inf. Syst. |
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. |
CoRR |
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. |
CoRR |
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. |
IROS |
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][ >>] |
|