Search results for "unfolding"

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