The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1976-1989 (16) 1990-1991 (21) 1992 (16) 1993-1994 (24) 1995 (15) 1996 (17) 1997 (22) 1998 (25) 1999 (25) 2000 (24) 2001 (27) 2002 (32) 2003 (31) 2004 (42) 2005 (46) 2006 (66) 2007 (65) 2008 (62) 2009 (46) 2010 (31) 2011 (31) 2012 (26) 2013 (33) 2014 (31) 2015 (40) 2016 (42) 2017 (46) 2018 (44) 2019 (44) 2020 (56) 2021 (75) 2022 (123) 2023 (160) 2024 (36)
Publication types (Num. hits)
article(637) incollection(4) inproceedings(786) phdthesis(13)
Venues (Conferences, Journals, ...)
CoRR(188) ICASSP(22) CONCUR(20) ICATPN(19) CCCG(15) LOPSTR(13) ICCV(12) IEEE Trans. Geosci. Remote. Se...(11) ACM Multimedia(9) IEEE Trans. Image Process.(9) CVPR(8) Discret. Comput. Geom.(8) HICSS(8) ACSD(7) ICIP(7) ICME(7) More (+10 of total 678)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 545 occurrences of 387 keywords

Results
Found 1440 publication records. Showing 1440 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
103Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux Directed Unfolding of Petri Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
100Mirela Damian, Robin Y. Flatland, Joseph O'Rourke Grid Vertex-Unfolding Orthogonal Polyhedra. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Vertex-unfolding, Grid unfolding, Orthogonal polyhedra, Genus-zero
91Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
87Victor Khomenko, Maciej Koutny, Walter Vogler Canonical Prefixes of Petri Net Unfoldings. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF canonical prefix, Model checking, Petri nets, unfolding
83Robin Bergenthum, Robert Lorenz 0001, Sebastian Mauser Faster Unfolding of General Petri Nets Based on Token Flows. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
82Elisabeth Fernandes, Alípio Mário Jorge, Cândida G. Silva, Rui M. M. Brito A Knowledge Discovery Method for the Characterization of Protein Unfolding Processes. Search on Bibsonomy IWPACBB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Unfolding Protein, Diseases, Data Mining, Knowledge Discovery
82Rui Camacho, Alexessander Alves, Cândida G. Silva, Rui M. M. Brito On Mining Protein Unfolding Simulation Data with Inductive Logic Programming. Search on Bibsonomy IWPACBB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Protein Unfolding, Inductive Logic Programming
82Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo Unfolding in CHR. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program transformation, unfolding, constraint handling rules
79Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar Short-Cuts on Star, Source and Planar Unfoldings. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
73Erik D. Demaine, David Eppstein, Jeff Erickson 0001, George W. Hart, Joseph O'Rourke Vertex-unfoldings of simplicial manifolds. Search on Bibsonomy SCG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF edge-unfolding, facet cycles, facet paths, facet-vertex incidence graph, hinged dissections, manifolds with boundary, ridge-unfolding, simplicial manifolds, triangulated 2-manifolds, vertex-unfolding, unfolding, polyhedra
72Liang-Fang Chao, Edwin Hsing-Mean Sha Scheduling Data-Flow Graphs via Retiming and Unfolding. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF scheduling, parallel processing, retiming, unfolding, Data-flow graphs, loop parallelization
63Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 Unfolding Grammars in Adhesive Categories. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Victor Khomenko Behaviour-Preserving Transition Insertions in Unfolding Prefixes. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
63Mirela Damian, Robin Y. Flatland, Joseph O'Rourke Grid Vertex-Unfolding Orthogonal Polyhedra. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Frederic T. Stahl, Daniel P. Berrar, Cândida G. Silva, R. J. Rodrigues, Rui M. M. Brito, Werner Dubitzky Grid warehousing of molecular dynamics protein unfolding data. Search on Bibsonomy CCGRID The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63François Denis, Jean-Paul Delahaye Unfolding, Procedural and Fixpoint Semantics of Logic Programs. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
63Maurizio Gabbrielli, Giorgio Levi Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
62Gaëtan Mourmant, Mike Gallivan How personality type influences decision paths in the unfolding model of voluntary job turnover: an application to IS professionals. Search on Bibsonomy CPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Myers-Briggs personality type, Myers-Briggs type indicator (MBTI), job turnover, unfolding model of turnover
59Victor Khomenko, Maciej Koutny, Walter Vogler Canonical prefixes of Petri net unfoldings. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Lori E. Lucke, Keshab K. Parhi Data-flow transformations for critical path time reduction in high-level DSP synthesis. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
57Dirk Labudde, Annalisa Marsico, K. Tanuj Sapra, Michael Schroeder 0001 Pattern Recognition of Single-Molecule Force Spectroscopy Data. Search on Bibsonomy ER Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF force-distance pattern, single-molecule force spectroscopy, pattern recognition, unfolding
57Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet Test Selection Criteria for Quantifier-Free First-Order Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
54Hirohisa Seki On Negative Unfolding in the Answer Set Semantics. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Cândida G. Silva, Vitaliy Ostropytskyy, Nuno Loureiro-Ferreira, Daniel P. Berrar, Martin T. Swain, Werner Dubitzky, Rui M. M. Brito P-found: The Protein Folding and Unfolding Simulation Repository. Search on Bibsonomy CIBCB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou Black Box Unfolding with Local First Search. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev Unfolding and Finite Prefix for Nets with Read Arcs. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
54María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal Safe Folding/Unfolding with Conditional Narrowing. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
52Alessandro Giua, Xiaolan Xie Control of Safe Ordinary Petri Nets Using Unfolding. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF forbidden markings, Petri nets, unfolding, deadlock avoidance
52Timothy W. O'Neil, Edwin Hsing-Mean Sha Combining Extended Retiming and Unfolding for Rate-Optimal Graph Transformation. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, graph transformation, retiming, unfolding, data-flow graphs, timing optimization
52Yu Lei 0001, S. Purushothaman Iyer An Approach to Unfolding Asynchronous Communication Protocols. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF State Space Search, Software Verification, Unfolding, EFSM
52Keijo Heljanko, Victor Khomenko, Maciej Koutny Parallelisation of the Petri Net Unfolding Algorithm. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding
49Andreas Kuehlmann Dynamic transition relation simplification for bounded property checking. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Abhik Roychoudhury, I. V. Ramakrishnan Inductively Verifying Invariant Properties of Parameterized Systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
44Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König 0001 Unfolding-Based Diagnosis of Systems with an Evolving Topology. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Sheung-Hung Poon On Unfolding 3D Lattice Polygons and 2D Orthogonal Trees. Search on Bibsonomy COCOON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Jean-Marie Morvan, Boris Thibert Unfolding of Surfaces. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Sukhyun Lim, Hye-Jin Lee, Byeong-Seok Shin Surface Reconstruction for Efficient Colon Unfolding. Search on Bibsonomy GMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Hye-Jin Lee, Sukhyun Lim, Byeong-Seok Shin Unfolding of Virtual Endoscopy Using Ray-Template. Search on Bibsonomy ISBMDA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Paulo J. Azevedo, Cândida G. Silva, R. J. Rodrigues, Nuno Loureiro-Ferreira, Rui M. M. Brito Detection of Hydrophobic Clusters in Molecular Dynamics Protein Unfolding Simulations Using Association Rules. Search on Bibsonomy ISBMDA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Paolo Baldan, Roberto Bruni, Ugo Montanari Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Sissades Tongsima, Timothy W. O'Neil, Chantana Chantrapornchai, Edwin Hsing-Mean Sha Properties and Algorithms for Unfolding of Probabilistic Data-Flow Graphs. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud Designing a LTL Model-Checker Based on Unfolding Graphs. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Lars 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
44Lih-Gwo Jeng, Liang-Gee Chen Rate-optimal DSP synthesis by pipeline and minimum unfolding. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
44Jeremy Gunawardena A Generalized Event Structure for the Muller Unfolding of a Safe Net. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
42Kelvin R. Rocha, Ganesh Sundaramoorthi, Anthony J. Yezzi, Jerry L. Prince 3D Topology Preserving Flows for Viewpoint-Based Cortical Unfolding. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Visibility maximization, Surface flattening, Surface unfolding, Active polyhedron, Area preservation, Visibility, Variational method, Topology preservation, Cortex
42Gaëtan Mourmant A necessary clarification of the unfolding model of voluntary turnover. Search on Bibsonomy CPR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF job turnover, unfolding model of job turnover, classification
42Gaëtan Mourmant Adapting and extending the unfolding model of voluntary job turnover to IS entrepreneurs'. Search on Bibsonomy CPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF job turnover, unfolding model of turnover, entrepreneurship
42Deniz Erdogmus, Umut Ozertem Nonlinear Coordinate Unfolding Via Principal Curve Projections with Application to Nonlinear BSS. Search on Bibsonomy ICONIP (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Nonlinear independent component analysis, nonlinear blind source separation, principal curves and surfaces, manifold unfolding, nonlinear coordinate transformation
42Sheung-Hung Poon On Unfolding Lattice Polygons/Trees and Diameter-4 Trees. Search on Bibsonomy COCOON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Comput. geom., straightening, convexifying, unfolding
42Jason H. Cantarella, Erik D. Demaine, Hayley N. Iben, James F. O'Brien An energy-driven approach to linkage unfolding. Search on Bibsonomy SCG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF carpenter's rule problem, knot energy, linkage reconfiguration, computational geometry, unfolding, gradient flow
42Jean-Marie Morvan, Boris Thibert Smooth surface and triangular mesh: comparison of the area, the normals and the unfolding. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF robustness of geometric computations, computational geometry, medial axis, unfolding, triangular mesh, local feature size
42Victor Khomenko, Maciej Koutny Towards an Efficient Algorithm for Unfolding Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Model checking, Petri nets, concurrency, unfolding
39Ezra Miller, Igor Pak Metric Combinatorics of Convex Polyhedra: Cut Loci and Nonoverlapping Unfoldings. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Annalisa Marsico, K. Tanuj Sapra, Daniel J. Muller, Michael Schroeder 0001, Dirk Labudde A Structure-Based Analysis of Single Molecule Force Spectroscopy (SMFS) Data for Bacteriorhodopsin and Four Mutants. Search on Bibsonomy CompLife The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Jonathan C. Martin, Michael Leuschel Sonic Partial Deduction. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Helmut Seidl Integer Constraints to Stop Deforestation. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
39Kenneth L. McMillan Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Steven D. Prestwich Online Partial Deduction of Large Programs. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon McMillan's Complete Prefix for Contextual Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF read arcs, complete finite prefix, verification, Petri nets, unfolding
38Marc Aiguier, Delphine Longuet Test Selection Criteria for Modal Specifications of Reactive Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
38Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan An unfold/fold transformation framework for definite logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inductive theorem proving, Logic programming, program transformation, unfolding, folding
38Francis Alexandre, Khaled Bsaïes, Moussa Demba Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
38Bin Xiao 0001, Zili Shao, Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Qingfeng Zhuge Optimal Code Size Reduction for Software-Pipelined and Unfolded Loops. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rotation scheduling, software pipelining, retiming, unfolding
34Pedro Gabriel Ferreira, Cândida G. Silva, Paulo J. Azevedo, Rui M. M. Brito Spatial Clustering of Molecular Dynamics Trajectories in Protein Unfolding Simulations. Search on Bibsonomy CIBB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Paolo Baldan, Andrea Corradini 0001, Barbara König 0001 Unfolding Graph Transformation Systems: Theory and Applications to Verification. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Kelvin R. Rocha, Ganesh Sundaramoorthi, Anthony J. Yezzi 3D Topology Preserving Flows for Viewpoint-Based Cortical Unfolding. Search on Bibsonomy ICCV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Paolo Baldan, Stefan Haar, Barbara König 0001 Distributed Unfolding of Petri Nets. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Étienne Payet Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Elvira Albert, Germán Puebla, John P. Gallagher Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Jun Mitani, Hiromasa Suzuki Making papercraft toys from meshes using strip-based approximate unfolding. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Papercraft, Mesh, Simplification, Unfold
34Erik D. Demaine, John Iacono, Stefan Langerman Grid Vertex-Unfolding Orthostacks. Search on Bibsonomy JCDCG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Paolo Baldan, Barbara König 0001, Ingo Stürmer Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Javier Esparza, Stefan Römer An Unfolding Algorithm for Synchronous Products of Transition Systems. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Benedikt Löwe Uniform unfolding and analytic measurability. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03E15, 28A05, 90D44
34Michael Leuschel, Bern Martens, Konstantinos Sagonas Preserving Termination of Tabled Logic Programs While Unfolding. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Henrik Boström Improving Example-Guided Unfolding. Search on Bibsonomy ECML The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Victor Khomenko, Mark Schäfer Combining Decomposition and Unfolding for STG Synthesis. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Petri net, decomposition, Asynchronous circuit, unfolding, STG, state space explosion
29Blaise Genest, Anca Muscholl Pattern Matching and Membership for Hierarchical Message Sequence Charts. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Complexity, MSC, Hierarchical specifications
29Kathleen Keogh, Liz Sonenberg, Wally Smith Coordination in Adaptive Organisations: Extending Shared Plans with Knowledge Cultivation. Search on Bibsonomy AAMAS-OAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Roberto Bruni, Hernán C. Melgratti Non-sequential Behaviour of Dynamic Nets. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier Timed Unfoldings for Networks of Timed Automata. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Ugo A. Buy, Mihai Lehene, Houshang Darabi Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Paolo Baldan, Barbara König 0001 Approximating the Behaviour of Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal An Automatic Composition Algorithm for Functional Logic Programs. Search on Bibsonomy SOFSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Kazuhito Ito, Lori E. Lucke, Keshab K. Parhi ILP-based cost-optimal DSP synthesis with module selection and data format conversion. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Burkhard Graves Computing Reachability Properties Hidden in Finite Net Unfoldings. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Liang-Fang Chao, Edwin Hsing-Mean Sha Static scheduling for synthesis of DSP algorithms on various models. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
29Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Abuzar B. M. Adam, Mohammed A. M. Elhassan, Elhadj Moustapha Diallo Optimizing Wireless Networks with Deep Unfolding: Comparative Study on Two Deep Unfolding Mechanisms. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
28Fawei Zheng, Ping Zhang Phonon Unfolding: A program for unfolding phonon dispersions of materials. Search on Bibsonomy Comput. Phys. Commun. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
28Fawei Zheng, Ping Zhang, Wenhui Duan Quantum Unfolding: A program for unfolding electronic energy bands of materials. Search on Bibsonomy Comput. Phys. Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28Till Nagel Unfolding Data: Software and Design Approaches to Support Casual Exploration of Tempo-spatial Data on Interactive Tabletops ; Unfolding data: Ontwerp en ontwikkeling van interactieve toepassingen voor het exploreren van tijd-ruimtelijke data op een tabletop. (PDF / PS) Search on Bibsonomy 2015   RDF
28Mirela Damian, Erik D. Demaine, Robin Y. Flatland Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm. Search on Bibsonomy Graphs Comb. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Mirela Damian, Erik D. Demaine, Robin Y. Flatland Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
28Neema L. Salimi, Bosco K. Ho, David A. Agard Unfolding Simulations Reveal the Mechanism of Extreme Unfolding Cooperativity in the Kinetically Stable α-Lytic Protease. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Frank M. T. A. Busing, Mark de Rooij Unfolding Incomplete Data: Guidelines for Unfolding Row-Conditional Rank Order Data with Random Missings. Search on Bibsonomy J. Classif. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1440 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license