|
|
Venues (Conferences, Journals, ...)
|
|
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 |
103 | Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux |
Directed Unfolding of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 172-198, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
100 | Mirela Damian, Robin Y. Flatland, Joseph O'Rourke |
Grid Vertex-Unfolding Orthogonal Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 213-238, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 203-217, 2005, Springer, 3-540-34454-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 582-595, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 13-32, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPACBB ![In: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics, IWPACBB 2008, Salamanca, Spain, 22th-24th October 2008, pp. 180-188, 2008, Springer, 978-3-540-85860-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPACBB ![In: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics, IWPACBB 2008, Salamanca, Spain, 22th-24th October 2008, pp. 175-179, 2008, Springer, 978-3-540-85860-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Protein Unfolding, Inductive Logic Programming |
82 | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
Unfolding in CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 179-186, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 174-185, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 237-243, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(12), pp. 1259-1267, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 350-366, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
63 | Victor Khomenko |
Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ![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. 204-222, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 264-276, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, pp. 496-503, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | François Denis, Jean-Paul Delahaye |
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 511-522, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
63 | Maurizio Gabbrielli, Giorgio Levi |
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 204-216, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2007 ACM SIGMIS CPR Conference on Computer Personnel Research 2007, April 19-21, 2007, St. Louis, Missouri, USA, pp. 134-143, 2007, ACM, 978-1-59593-641-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(2), pp. 95-118, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(7), pp. 1063-1068, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
57 | Dirk Labudde, Annalisa Marsico, K. Tanuj Sapra, Michael Schroeder 0001 |
Pattern Recognition of Single-Molecule Force Spectroscopy Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 3-13, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 144-159, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 168-184, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2006, Renaissance Hotel Downtown, Toronto, Ontario, Canada, September 28-29, 2006, pp. 1-8, 2006, IEEE, 1-4244-0623-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou |
Black Box Unfolding with Local First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 386-400, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev |
Unfolding and Finite Prefix for Nets with Read Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 501-516, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
54 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Safe Folding/Unfolding with Conditional Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 1-15, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
52 | Alessandro Giua, Xiaolan Xie |
Control of Safe Ordinary Petri Nets Using Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(4), pp. 349-373, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 39(3), pp. 273-293, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 334-349, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 371-385, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 50-57, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 346-365, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Abhik Roychoudhury, I. V. Ramakrishnan |
Inductively Verifying Invariant Properties of Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(2), pp. 101-139, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Sheung-Hung Poon |
On Unfolding 3D Lattice Polygons and 2D Orthogonal Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 374-384, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Jean-Marie Morvan, Boris Thibert |
Unfolding of Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 36(3), pp. 393-418, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Sukhyun Lim, Hye-Jin Lee, Byeong-Seok Shin |
Surface Reconstruction for Efficient Colon Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Geometric Modeling and Processing - GMP 2006, 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings, pp. 623-629, 2006, Springer, 3-540-36711-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Hye-Jin Lee, Sukhyun Lim, Byeong-Seok Shin |
Unfolding of Virtual Endoscopy Using Ray-Template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings, pp. 69-77, 2005, Springer, 3-540-29674-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings, pp. 329-337, 2005, Springer, 3-540-29674-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 149-165, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Paolo Baldan, Roberto Bruni, Ugo Montanari |
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 145-164, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 25(3), pp. 215-233, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud |
Designing a LTL Model-Checker Based on Unfolding Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 123-145, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Lars Michael Kristensen, Antti Valmari |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 104-123, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
44 | Lih-Gwo Jeng, Liang-Gee Chen |
Rate-optimal DSP synthesis by pipeline and minimum unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 2(1), pp. 81-88, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
44 | Jeremy Gunawardena |
A Generalized Event Structure for the Muller Unfolding of a Safe Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 278-292, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 85(3), pp. 223-236, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2009 ACM SIGMIS CPR Conference on Computer Personnel Research 2009, May 28-30, 2009, Limerick, Ireland, pp. 143-152, 2009, ACM, 978-1-60558-427-0. The full citation details ...](Pics/full.jpeg) |
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'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2008 ACM SIGMIS CPR Conference on Computer Personnel Research 2008, April 3-5, 2008, Charlottesville, VA, USA, pp. 168-170, 2008, ACM, 978-1-60558-069-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II, pp. 488-497, 2007, Springer, 978-3-540-69159-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 186-195, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 20th ACM Symposium on Computational Geometry, Brooklyn, New York, USA, June 8-11, 2004, pp. 134-143, 2004, ACM, 1-58113-885-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut für Informatik, Saarbrücken, Germany, June 17-21, 2002, pp. 147-158, 2002, ACM, 1-58113-506-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 366-380, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 339-388, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompLife ![In: Computational Life Sciences II, Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings, pp. 162-172, 2006, Springer, 3-540-45767-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Jonathan C. Martin, Michael Leuschel |
Sonic Partial Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 101-112, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Helmut Seidl |
Integer Constraints to Stop Deforestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 326-340, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
39 | Kenneth L. McMillan |
Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 180-195, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Steven D. Prestwich |
Online Partial Deduction of Large Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 111-118, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon |
McMillan's Complete Prefix for Contextual Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 199-220, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 159-170, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 464-509, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 20-33, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 144-149, 2002, ACM / IEEE Computer Society, 1-58113-576-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBB ![In: Computational Intelligence Methods for Bioinformatics and Biostatistics, 5th International Meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008, Revised Selected Papers, pp. 156-166, 2008, Springer, 978-3-642-02503-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001 |
Unfolding Graph Transformation Systems: Theory and Applications to Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 16-36, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Kelvin R. Rocha, Ganesh Sundaramoorthi, Anthony J. Yezzi |
3D Topology Preserving Flows for Viewpoint-Based Cortical Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Paolo Baldan, Stefan Haar, Barbara König 0001 |
Distributed Unfolding of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 126-141, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Étienne Payet |
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, pp. 194-209, 2006, Springer, 978-3-540-71409-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 115-132, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jun Mitani, Hiromasa Suzuki |
Making papercraft toys from meshes using strip-based approximate unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 23(3), pp. 259-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Papercraft, Mesh, Simplification, Unfold |
34 | Erik D. Demaine, John Iacono, Stefan Langerman |
Grid Vertex-Unfolding Orthostacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDCG ![In: Discrete and Computational Geometry, Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004, Revised Selected Papers, pp. 76-82, 2004, Springer, 3-540-30467-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 194-209, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Javier Esparza, Stefan Römer |
An Unfolding Algorithm for Synchronous Products of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 2-20, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Benedikt Löwe |
Uniform unfolding and analytic measurability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(8), pp. 505-520, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, pp. 189-205, 1997, Springer, 3-540-65074-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Boström |
Improving Example-Guided Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 124-135, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Victor Khomenko, Mark Schäfer |
Combining Decomposition and Unfolding for STG Synthesis. ![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. 223-243, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 42(4), pp. 536-567, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS-OAMAS ![In: Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers, pp. 90-107, 2008, Springer, 978-3-642-02376-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Bruni, Hernán C. Melgratti |
Non-sequential Behaviour of Dynamic Nets. ![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. 105-124, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Unfoldings for Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 292-306, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
|
29 | Paolo Baldan, Barbara König 0001 |
Approximating the Behaviour of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 14-29, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings, pp. 289-297, 2000, Springer, 3-540-41348-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 6(4), pp. 582-594, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(10), pp. 813-857, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Burkhard Graves |
Computing Reachability Properties Hidden in Finite Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 327-341, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Liang-Fang Chao, Edwin Hsing-Mean Sha |
Static scheduling for synthesis of DSP algorithms on various models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 10(3), pp. 207-223, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 103-120, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18930, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Fawei Zheng, Ping Zhang |
Phonon Unfolding: A program for unfolding phonon dispersions of materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 210, pp. 139-144, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Fawei Zheng, Ping Zhang, Wenhui Duan |
Quantum Unfolding: A program for unfolding electronic energy bands of materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 189, pp. 213-219, 2015. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
28 | Mirela Damian, Erik D. Demaine, Robin Y. Flatland |
Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 30(1), pp. 125-140, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Mirela Damian, Erik D. Demaine, Robin Y. Flatland |
Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.4791, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 6(2), 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Classif. ![In: J. Classif. 26(3), pp. 329-360, 2009. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|