Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Michel Bauderon, Rui Chen, Olivier Ly |
Pullback Grammars Are Context-Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 366-378, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Pullback, Graph grammar |
82 | Ernst-Erich Doberkat |
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 996-1007, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation |
61 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001 |
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 83-110, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints |
61 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 189-202, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Michel Bauderon, Hélène Jacquet |
Pullback as a Generic Graph Rewriting Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 65-82, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
pullback, graph rewriting |
43 | Michael Kerckhove |
Computation of Ridges via Pullback Metrics from Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale-Space Theories in Computer Vision, Second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999, Proceedings, pp. 82-92, 1999, Springer, 3-540-66498-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Melissa Jourdain, Jean Meunier, Jean Sequeira, Jean-Marc Boï, Jean-Claude Tardif |
A Robust 3-D IVUS Transducer Tracking Using Single-Plane Cineangiography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 12(3), pp. 307-314, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Anthony Bucci, Jordan B. Pollack |
Thoughts on solution concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 434-439, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm |
36 | Marie-Hélène Roy Cardinal, Jean Meunier, Gilles Soulez, Roch L. Maurice, Éric Thérasse, Guy Cloutier |
Intravascular ultrasound image segmentation: a three-dimensional fast-marching method based on gray level distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 25(5), pp. 590-601, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Eric Fabre |
On the Construction of Pullbacks for Safe Petri 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. 166-180, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Han Zhang, Yves Bellouard, Etienne Burdet, Reymond Clavel, Aun Neow Poo, Dietmar Werner Hutmacher |
Shape Memory Alloy Microgripper for Robotic Microassembly of Tissue Engineering Scaffolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4918-4924, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate |
Direct Reflections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 545-558, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
direct reflection, perfect morphism, Samuel compactification, topological bicompletion |
28 | Francesca Cagliari, Sandra Mantovani |
Injective Hulls of T0 Topological Fibre Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(4), pp. 377-390, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
injective hull, continuous lattice, exponentiable morphism, pullback complement, partial product |
28 | Vipul Singhal, C. B. Keshav, K. G. Surnanth, P. R. Suresh |
Transistor Flaring in Deep Submicron-Design Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 299-304, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Deep Submicron (DSM), pullback, photolithography, Subwavelength-lithography, Optical Proximity Correction (OPC), SPICE-models, standard-ce1l library, Design for Manufacturability (DFM) |
25 | Wenjie Hu, Tomás Caraballo |
Pullback Exponential Attractors with Explicit Fractal Dimensions for Non-Autonomous Partial Functional Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 34(1), pp. 27, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Yangrong Li, Fengling Wang, Huan Xia |
Continuity-sets of pullback random attractors for discrete porous media equations with colored noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 465, pp. 128434, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Allan M. Avila, Igor Mezic |
Spectral Properties of Pullback Operators on Vector Bundles of a Dynamical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 22(4), pp. 3059-3092, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Elisa Hartmann |
A Pullback Diagram in the Coarse Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(1), pp. 3, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Frank Nielsen |
Fisher-Rao distance and pullback SPD cone distances between multivariate normal distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.10644, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Katherine E. Riojas, Trevor L. Bruns, Josephine Granna, Robert J. Webster III, Robert F. Labadie |
Robotic pullback technique of a precurved cochlear-implant electrode array using real-time impedance sensing feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 18(3), pp. 413-421, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Stéphane Puechmorel |
Pullback Bundles and the Geometry of Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(10), pp. 1450, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Xingjie Yan, Rong Yang |
Pullback trajectory attractor for nonautonomous wave equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 119, pp. 107137, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Shayea Aldossari |
Computing pullback function of second order differential operators by using their semi-invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 119, pp. 38-49, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Frank Nielsen |
Fisher-Rao and pullback Hilbert cone distances on the multivariate Gaussian manifold with applications to simplification and quantization of mixtures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG-ML ![In: Topological, Algebraic and Geometric Learning Workshops 2023, 28 July 2023, Honolulu, HI, USA, pp. 488-504, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
25 | Seyed Naser Hosseini, Leila Yeganeh |
Partial pullback complement rewriting along admissible matches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 898, pp. 149-179, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Bernardo Fichera, Aude Billard |
Hybrid Quadratic Programming - Pullback Bundle Dynamical Systems Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISRR ![In: Robotics Research - The 20th International Symposium ISRR 2022, Geneva, Switzerland, 25-30 September 2022., pp. 387-394, 2022, Springer, 978-3-031-25554-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Andrew Bylard, Riccardo Bonalli, Marco Pavone 0001 |
Composable Geometric Motion Policies using Multi-Task Pullback Bundle Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.01297, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Xiaofeng Zhang, Rong Yuan |
Pullback attractor for random chemostat model driven by colored noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 112, pp. 106833, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Andrew Bylard, Riccardo Bonalli, Marco Pavone 0001 |
Composable Geometric Motion Policies using Multi-Task Pullback Bundle Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 7464-7470, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Bo You |
Pullback attractor for the three dimensional nonautonomous primitive equations of large-scale ocean and atmosphere dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods ![In: Comput. Math. Methods 2(2), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Carol Mak, Luke Ong |
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.08241, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Alexey Mishchenko, Alberto Bottino, Alessandro Biancalani, Roman Hatzky, Thomas Hayward-Schneider, Noé Ohana, Emmanuel Lanti, Stephan Brunner, Laurent Villard, Matthias Borchardt, Ralf Kleiber, Axel Könies |
Pullback scheme implementation in ORB5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 238, pp. 194-202, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Chaouki Aouiti, Foued Miaadi |
Pullback attractor for neutral Hopfield neural networks with time delay in the leakage term and mixed time delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 31(8), pp. 4113-4122, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Hongyong Cui, Peter E. Kloeden |
Tail convergences of pullback attractors for asymptotically converging multi-valued dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 112(3-4), pp. 165-184, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
Proof-Net as Graph, Taylor Expansion as Pullback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 282-300, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Elham Abouei, Anthony M. D. Lee, Geoffrey Hohert, Pierre Lane, Stephen Lam, Calum MacAulay |
Quantitative Evaluation of Correction Methods and Simulation of Motion Artifacts for Rotary Pullback Imaging Catheters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIUA ![In: Medical Image Understanding and Analysis - 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, pp. 65-73, 2018, Springer, 978-3-319-95920-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | A. R. Shir Ali Nasab, S. N. Hosseini |
Pullback in Partial Morphism Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(2), pp. 197-225, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
The Pullback-Pushout Approach to Algebraic Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 3-19, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Kaixuan Zhu, Feng Zhou |
Continuity and pullback attractors for a non-autonomous reaction-diffusion equation in RN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 71(10), pp. 2089-2105, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Qinghua Zhou 0001, Li Wan, Hongbo Fu 0002, Qunjiao Zhang |
Pullback attractor for Cohen-Grossberg neural networks with time-varying delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 171, pp. 510-514, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Nguyen Van Dac, Tran Dinh Ke |
Pullback attractor for differential evolution inclusions with infinite delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 265, pp. 667-680, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michele Coti Zelati, Piotr Kalita |
Minimality Properties of Set-Valued Processes and their Pullback Attractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 47(2), pp. 1530-1561, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | María Anguiano |
Pullback Attractors for a Reaction-Diffusion Equation in a General Nonempty Open Subset of ℝN with Nonautonomous Forcing Term in H-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 25(12), pp. 1550164:1-1550164:10, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Xingjie Yan, Wei Qi |
Pullback Exponential Attractors for Nonautonomous Reaction-Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 25(5), pp. 1550063:1-1550063:16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Min Zhao 0003, Shengfan Zhou |
Pullback and Uniform Exponential Attractors for Nonautonomous Boussinesq Lattice System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 25(8), pp. 1550100:1-1550100:18, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | A. R. Shir Ali Nasab, S. N. Hosseini |
Partial pullback complement rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 594, pp. 44-64, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Ancong Wang, Jeroen Eggermont, Niels Dekker, Patrick J. H. de Koning, Johan H. C. Reiber, Jouke Dijkstra |
3D assessment of stent cell size and side branch access in intravascular optical coherence tomographic pullback runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Medical Imaging Graph. ![In: Comput. Medical Imaging Graph. 38(2), pp. 113-122, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Meiyu Sui, Yejuan Wang |
Upper semicontinuity of pullback attractors for lattice nonclassical diffusion delay equations under singular perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 242, pp. 315-327, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Sun Hye Park, Jong Yeoul Park |
Pullback attractor for a non-autonomous modified Swift-Hohenberg equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 67(3), pp. 542-548, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Fuqi Yin, Linfang Liu |
D-pullback attractor for a non-autonomous wave equation with additive noise on unbounded domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 68(3), pp. 424-438, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Danxia Wang, Jianwen Zhang, Yinzhu Wang |
Pullback D-Attractor of Coupled Rod Equations with Nonlinear Moving Heat Source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 315318:1-315318:11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Fabio Cuzzolin, Michael Sapienza |
Learning Pullback HMM Distances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 36(7), pp. 1483-1489, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | T. Tachim Medjo |
Pullback attractors for a non-autonomous Cahn-Hilliard-Navier-Stokes system in 2D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 90(1-2), pp. 21-51, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Yuming Qin, Jianpeng Zhang, Linlin Sun |
Upper semicontinuity of pullback attractors for a non-autonomous viscoelastic equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 223, pp. 362-376, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Jum-Ran Kang |
Pullback attractors for the non-autonomous coupled suspension bridge equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(16), pp. 8747-8758, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | María Anguiano, Tomás Caraballo, José Real, José Valero 0001 |
Pullback attractors for a nonautonomous integro-differential equation with Memory in some Unbounded Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 23(3), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Tomás Caraballo, Gábor Kiss, Takeshi Taniguchi |
Pullback attractors for differential equations with Multiple variable delays in Lipschitz nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 23(11), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Cung The Anh, Nguyen Duong Toan |
Pullback Attractors for Nonclassical Diffusion Equations in Noncylindrical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2012, pp. 875913:1-875913:30, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Guangxia Chen |
Pullback Attractor for Non-autonomous P-Laplacian Equation in Unbounded Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NL-MUA ![In: Nonlinear Mathematics for Uncertainty and its Applications, NL-MUA 2011, Beijing, China, September 7-9, 2011, pp. 471-478, 2011, Springer, 978-3-642-22832-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | G. Lukaszewicz |
On Pullback attractors in for nonautonomous Reaction-Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 20(9), pp. 2637-2644, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | María Anguiano, Tomás Caraballo, José Real |
Existence of Pullback Attractor for a Reaction-Diffusion equation in Some Unbounded Domains with Non-Autonomous Forcing Term in H-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 20(9), pp. 2645-2656, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Gözde Gül Isgüder, Gözde B. Ünal, Martin Groher, Nassir Navab, Ali Kemal Kalkan, Muzaffer Degertekin, Holger Hetterich, Johannes Rieber |
Manifold Learning for Image-Based Gating of Intravascular Ultrasound(IVUS) Pullback Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality - 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings, pp. 139-148, 2010, Springer, 978-3-642-15698-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Kahl |
Amalgamating Pushout and Pullback Graph Transformation in Collagories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 362-378, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Yongjun Li, Suyun Wang, Hongqing Wu |
Pullback attractors for non-autonomous reaction-diffusion equations in Lp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 207(2), pp. 373-379, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Sean M. O'Malley, J. F. Granada, Stephane G. Carlier, Morteza Naghavi, Ioannis A. Kakadiaris |
Image-Based Gating of Intravascular Ultrasound Pullback Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 12(3), pp. 299-306, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Yongjun Li, Chengkui Zhong |
Pullback attractors for the norm-to-weak continuous process and application to the nonautonomous reaction-diffusion equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 190(2), pp. 1020-1029, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Christopher F. Townsend |
Presenting locale pullback via directed complete posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 316(1), pp. 225-258, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Christopher F. Townsend |
Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, pp. 207-211, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs |
Pullback rewriting and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETGRATS Closing Workshop ![In: GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, pp. 83-92, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg |
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 85-102, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Hélène Jacquet, Renate Klempien-Hinrichs |
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 117-130, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | David B. Holgate |
The pullback closure operator and generalisations of perfectness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(1), pp. 107-120, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Michel Bauderon |
Parallel rewriting of graphs through the pullback approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 19-26, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Michel Bauderon |
A Uniform Approach to Graph Rewriting: The Pullback Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995, Proceedings, pp. 101-115, 1995, Springer, 3-540-60618-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(5), pp. 361-374, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Michel Bauderon, Rui Chen, Olivier Ly |
Context-Free Categorical Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 160-171, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context-freeness, grammar, Category, rewriting system |
18 | Xinlin Zhang, Huaikou Miao, Shenghong Li |
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 416-421, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Maxime Rebout, Louis Féraud, Sergei Soloviev 0001 |
A Unified Categorical Approach for Attributed Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 398-409, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yun Liang 0010, Hui Zhu, Thomas Gehrig, Morton H. Friedman |
Estimation of Coronary Arterial Wall Strain in Clinical Ivus Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 884-887, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mojgan Mahmoudi, Christoph Schubert, Walter Tholen |
Universality of Coproducts in Categories of Lax Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(3), pp. 243-249, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 18C99, 18A30 |
18 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, pp. 156-170, 2006, Springer, 978-3-540-71997-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001 |
Sesqui-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 30-45, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Kupke, Yde Venema |
Closure Properties of Coalgebra Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 199-208, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Misael Rosales, Petia Radeva, Oriol Rodriguez, Debora Gil |
Suppression of IVUS Image Rotation. A Kinematic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings, pp. 359-368, 2005, Springer, 3-540-26161-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Bartek Klin |
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 247-262, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mark van Hoeij, Jacques-Arthur Weil |
Solving second order linear differential equations with Klein's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 340-347, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Wahle, Mark E. Olszewski, Milan Sonka |
Interactive virtual endoscopy in coronary arteries based on multimodality fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 23(11), pp. 1391-1403, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Changhyun Cho, Jae-Bok Song, Munsang Kim, Chang-Soon Hwang |
Energy-based Control of a Passive Haptic Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 292-297, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello |
Modular System Development with Pullbacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 140-160, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Benoit Godbout, Jacques A. de Guise, Gilles Soulez, Guy Cloutier |
3D Elastic Registration of Vessel Lumen from IVUS Data on Biplane Angiography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part I, pp. 303-310, 2003, Springer, 3-540-20462-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michel Bauderon, Frédérique Carrère |
Decomposing Graphs with Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 45-59, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Orejas, Hartmut Ehrig, Elvira Pino |
Tight and Loose Semantics for Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 238-255, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Eraldo Giuli, Walter Tholen |
Openness with Respect to a Closure Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 487-502, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator |
18 | Leila Ribeiro 0001 |
Parallel Composition of Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 405-430, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
graph grammars, parallel composition |
18 | Michel Bauderon, Hélène Jacquet |
Node Rewriting in Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings, pp. 31-43, 1996, Springer, 3-540-62559-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Hartmut Ehrig, Barry K. Rosen |
Concurrency of Manipulations in Multidimensional Information Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978, pp. 165-176, 1978, Springer, 0-387-08921-7. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties |