Search results for "Hoops"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna	Basic Hoops: an Algebraic Study of Continuous t -norms.	Stud Logica	2007	DBLP DOI BibTeX RDF	basic hoops, continuous t-norms, subreducts of BL-algebras
59	Carles Noguera, Francesc Esteva, Joan Gispert	Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Bipartite algebras, Cancellative hoops, disconnected rotation, IMTL-algebras, local algebras, perfect algebras, prelinear semihoops, Wajsberg hoops, filters, many-valued logic, MV-algebras, Algebraizable logics
53	Wenjuan Chen, Zhaoying Chen, Hongkai Wang	Quasi-pseudo-hoops: An Extension to Pseudo-hoops.	J. Multiple Valued Log. Soft Comput.	2022	DBLP BibTeX RDF
49	Yong Lin Liu, San Yang Liu, Yang Xu 0001	Pseudo-BCK algebras and PD-posets.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Pseudo-BCK algebra, Normal ideal, Prime ideal, PD-poset, Congruence, Ideal
49	Joel Berman, Willem J. Blok	Free Lukasiewicz and Hoop Residuation Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
33	Felix Hoops, Florian Matthes	A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow.	CoRR	2024	DBLP DOI BibTeX RDF
33	Joy Kitson, Ian J. Costello, Jiangzhuo Chen, Diego Jiménez, Stefan Hoops, Henning S. Mortveit, Esteban Meneses, Jae-Seung Yeom, Madhav V. Marathe, Abhinav Bhatele	A Large-Scale Epidemic Simulation Framework for Realistic Social Contact Networks.	CoRR	2024	DBLP DOI BibTeX RDF
33	Parantapa Bhattacharya, Jiangzhuo Chen, Stefan Hoops, Dustin Machi, Bryan L. Lewis, Srinivasan Venkatramanan, Mandy L. Wilson, Brian Klahn, Aniruddha Adiga, Benjamin Hurt, Joseph Outten, Abhijin Adiga, Andrew S. Warren, Young Yun Baek, Przemyslaw J. Porebski, Achla Marathe, Dawen Xie, Samarth Swarup, Anil Vullikanti, Henning S. Mortveit, Stephen G. Eubank, Christopher L. Barrett, Madhav Vinayak Marathe	Data-driven scalable pipeline using national agent-based models for real-time pandemic response and decision support.	Int. J. High Perform. Comput. Appl.	2023	DBLP DOI BibTeX RDF
33	Susan L. Hoops, Dan Knights	LMdist: Local Manifold distance accurately measures beta diversity in ecological gradients.	Bioinform.	2023	DBLP DOI BibTeX RDF
33	Felix Hoops, Alexander Mühle, Florian Matthes, Christoph Meinel	A Taxonomy of Decentralized Identifier Methods for Practitioners.	CoRR	2023	DBLP DOI BibTeX RDF
33	Burak Öz, Jonas Gebele, Filip Rezabek, Felix Hoops, Florian Matthes	A First Study of MEV on an Up-and-Coming Blockchain: Algorand.	CoRR	2023	DBLP DOI BibTeX RDF
33	Anna E. Brower, Balaji Ramesh, Kazi Ashik Islam, Henning S. Mortveit, Stefan Hoops, Anil Vullikanti, Madhav V. Marathe, Benjamin F. Zaitchik, Julia M. Gohlke, Samarth Swarup	Augmenting the Social Vulnerability Index using an agent-based simulation of Hurricane Harvey.	Comput. Environ. Urban Syst.	2023	DBLP DOI BibTeX RDF
33	Galen Harrison, Przemyslaw J. Porebski, Jiangzhuo Chen, Mandy L. Wilson, Henning S. Mortveit, Parantapa Bhattacharya, Dawen Xie, Stefan Hoops, Anil Vullikanti, Li Xiong, James Joshi, Madhav V. Marathe	Synthetic Information and Digital Twins for Pandemic Science: Challenges and Opportunities.	TPS-ISA	2023	DBLP DOI BibTeX RDF
33	Felix Hoops, Alexander Mühle, Florian Matthes, Christoph Meinel	A Taxonomy of Decentralized Identifier Methods for Practitioners.	DAPPS	2023	DBLP DOI BibTeX RDF
33	Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper 0004, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary B. Haiman, Jan Hasenauer, Joseph L. Hellerstein, Henning Hermjakob, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König 0003, Wolfram Liebermeister, Rahuman S. Malik-Sheriff, Synchon Mandal, Robert A. McDougal, J. Kyle Medley, Pedro Mendes 0001, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha 0002, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, James C. Schaff, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr	BioSimulators: a central registry of simulation engines and services for recommending specific tools.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
33	Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper 0004, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary B. Haiman, Joseph L. Hellerstein, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König 0003, Wolfram Liebermeister, Synchon Mandal, Robert A. McDougal, J. Kyle Medley, Pedro Mendes 0001, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha 0002, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr	BioSimulators: a central registry of simulation engines and services for recommending specific tools.	CoRR	2022	DBLP DOI BibTeX RDF
33	Jiangzhuo Chen, Stefan Hoops, Achla Marathe, Henning S. Mortveit, Bryan L. Lewis, Srinivasan Venkatramanan, Arash Haddadan, Parantapa Bhattacharya, Abhijin Adiga, Anil Vullikanti, Aravind Srinivasan, Mandy L. Wilson, Gal Ehrlich, Maier Fenster, Stephen G. Eubank, Christopher L. Barrett, Madhav V. Marathe	Effective Social Network-Based Allocation of COVID-19 Vaccines.	KDD	2022	DBLP DOI BibTeX RDF
33	Franziska Hufsky, Kevin Lamkiewicz, Alexandre Almeida, Abdel Aouacheria, Cecilia N. Arighi, Alex Bateman, Jan Baumbach, Niko Beerenwinkel, Christian Brandt, Marco Cacciabue, Sara Chuguransky, Oliver Drechsel, Robert D. Finn, Adrian Fritz, Stephan Fuchs, Georges Hattab, Anne-Christin Hauschild, Dominik Heider, Marie Hoffmann, Martin Hölzer, Stefan Hoops, Lars Kaderali, Ioanna Kalvari, Max von Kleist, Renó Kmiecinski, Denise Kühnert, Gorka Lasso, Pieter Libin, Markus List, Hannah F. Löchel, Maria Jesus Martin, Roman Martin, Julian O. Matschinske, Alice C. McHardy, Pedro Mendes 0001, Jaina Mistry, Vincent Navratil, Eric P. Nawrocki, Áine Niamh O'toole, Nancy Ontiveros-Palacios, Anton I. Petrov, Guillermo Rangel-Pineros, Nicole Redaschi, Susanne Reimering, Knut Reinert, Alejandro Reyes, Lorna J. Richardson, David L. Robertson, Sepideh Sadegh, Joshua B. Singer, Kristof Theys, Chris Upton, Marius Welzel, Lowri Williams, Manja Marz	Computational strategies to combat COVID-19: useful tools to accelerate SARS-CoV-2 and coronavirus research.	Briefings Bioinform.	2021	DBLP DOI BibTeX RDF
33	Stefan Hoops, Jiangzhuo Chen, Abhijin Adiga, Bryan L. Lewis, Henning S. Mortveit, Hannah Baek, Mandy L. Wilson, Dawen Xie, Samarth Swarup, Srinivasan Venkatramanan, Justin Crow, Elena Diskin, Seth Levine, Helen Tazelaar, Brooke Rossheim, Chris Ghaemmaghami, Rebecca Early, Chris Barrett 0001, Madhav V. Marathe, Carter Price	High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols.	WSC	2021	DBLP DOI BibTeX RDF
33	Dustin Machi, Parantapa Bhattacharya, Stefan Hoops, Jiangzhuo Chen, Henning S. Mortveit, Srinivasan Venkatramanan, Bryan L. Lewis, Mandy L. Wilson, Arindam Fadikar, Tom Maiden, Christopher L. Barrett, Madhav V. Marathe	Scalable Epidemiological Workflows to Support COVID-19 Planning and Response.	IPDPS	2021	DBLP DOI BibTeX RDF
33	Parantapa Bhattacharya, Dustin Machi, Jiangzhuo Chen, Stefan Hoops, Bryan L. Lewis, Henning S. Mortveit, Srinivasan Venkatramanan, Mandy L. Wilson, Achla Marathe, Przemyslaw J. Porebski, Brian Klahn, Joseph Outten, Anil Vullikanti, Dawen Xie, Abhijin Adiga, Shawn Brown, Christopher L. Barrett, Madhav V. Marathe	AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US.	IEEE BigData	2021	DBLP DOI BibTeX RDF
33	Katherine E. M. Hoops, James C. Fackler, Anne King, Elizabeth Colantuoni, Aaron M. Milstone, Charlotte Woods-Hill	How good is our diagnostic intuition? Clinician prediction of bacteremia in critically ill children.	BMC Medical Informatics Decis. Mak.	2020	DBLP DOI BibTeX RDF
33	S. Ha, Elena S. Dimitrova, Stefan Hoops, Doaa Altarawy, Mitra Ansariola, D. Deb, Jane Glazebrook, R. Hillmer, Hossameldin Shahin, Fumiaki Katagiri, J. McDowell, Molly Megraw, João C. Setubal, B. M. Tyler, Reinhard C. Laubenbacher	PlantSimLab - a modeling and simulation web tool for plant biologists.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
33	Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Matthias König 0003, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Rahuman S. Malik-Sheriff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson, Fengkai Zhang	The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2.	J. Integr. Bioinform.	2019	DBLP DOI BibTeX RDF
33	Fabio C. P. Navarro, Jacob Hoops, Lauren Bellfy, Eliza Cerveira, Qihui Zhu, Chengsheng Zhang, Charles Lee, Mark B. Gerstein	TeXP: Deconvolving the effects of pervasive and autonomous transcription of transposable elements.	PLoS Comput. Biol.	2019	DBLP DOI BibTeX RDF
33	Thomas C. Jones Jr, Stefan Hoops, Layne T. Watson, Alida Palmisano, John J. Tyson, Clifford A. Shaffer	JigCell Model Connector: building large molecular network models from components.	Simul.	2018	DBLP DOI BibTeX RDF
33	Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson	The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core.	J. Integr. Bioinform.	2018	DBLP DOI BibTeX RDF
33	Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson	The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core.	J. Integr. Bioinform.	2018	DBLP DOI BibTeX RDF
33	Christoph Daniel Schulze, Gregor Hoops, Reinhard von Hanxleden	Automatic Layout and Label Management for Compact UML Sequence Diagrams.	VL/HCC	2018	DBLP DOI BibTeX RDF
33	David Shaw, Dirk Hoops, Kenneth M. Butler, Amit Nahar	Statistical outlier screening as a test solution health monitor.	ITC	2016	DBLP DOI BibTeX RDF
33	Pinyi Lu, Vida Abedi, Yongguo Mei, Raquel Hontecillas, Stefan Hoops, Adria Carbo, Josep Bassaganya-Riera	Supervised learning methods in modeling of CD4+ T cell heterogeneity.	BioData Min.	2015	DBLP DOI BibTeX RDF
33	Yongguo Mei, Adria Carbo, Stefan Hoops, Raquel Hontecillas, Josep Bassaganya-Riera	ENISI SDE: A New Web-Based Tool for Modeling Stochastic Processes.	IEEE ACM Trans. Comput. Biol. Bioinform.	2015	DBLP DOI BibTeX RDF
33	Yongguo Mei, Vida Abedi, Adria Carbo, Xiaoying Zhang, Pinyi Lu, Casandra W. Philipson, Raquel Hontecillas, Stefan Hoops, Nathan Liles, Josep Bassaganya-Riera	Multiscale modeling of mucosal immune responses.	BMC Bioinform.	2015	DBLP DOI BibTeX RDF
33	Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson	Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions.	J. Integr. Bioinform.	2015	DBLP DOI BibTeX RDF
33	Michael Hucka, Frank T. Bergmann, Stefan Hoops, Sarah M. Keating, Sven Sahle, James C. Schaff, Lucian P. Smith, Darren J. Wilkinson	The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core.	J. Integr. Bioinform.	2015	DBLP DOI BibTeX RDF
33	Lucian Paul Smith, Michael Hucka, Stefan Hoops, Andrew Finney, Martin Ginkel, Chris J. Myers, Ion I. Moraru, Wolfram Liebermeister	SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3.	J. Integr. Bioinform.	2015	DBLP DOI BibTeX RDF
33	Alida Palmisano, Stefan Hoops, Layne T. Watson, Thomas C. Jones Jr, John J. Tyson, Clifford A. Shaffer	JigCell Run Manager (JC-RM): a tool for managing large sets of biochemical model parametrizations.	BMC Syst. Biol.	2015	DBLP DOI BibTeX RDF
33	Vida Abedi, Raquel Hontecillas, Stefan Hoops, Nathan Liles, Adria Carbo, Pinyi Lu, Casandra W. Philipson, Josep Bassaganya-Riera	ENISI multiscale modeling of mucosal immune responses driven by high performance computing.	BIBM	2015	DBLP DOI BibTeX RDF
33	Alida Palmisano, Stefan Hoops, Layne T. Watson, Thomas C. Jones Jr, John J. Tyson, Clifford A. Shaffer	Multistate Model Builder (MSMB): a flexible editor for compact biochemical models.	BMC Syst. Biol.	2014	DBLP DOI BibTeX RDF
33	Yongguo Mei, Adria Carbo, Raquel Hontecillas, Stefan Hoops, Nathan Liles, Pinyi Lu, Casandra W. Philipson, Josep Bassaganya-Riera	ENISI MSM: A novel multi-scale modeling platform for computational immunology.	BIBM	2014	DBLP DOI BibTeX RDF
33	Adria Carbo, Raquel Hontecillas, Barbara Kronsteiner, Monica Viladomiu, Mireia Pedragosa, Pinyi Lu, Casandra W. Philipson, Stefan Hoops, Madhav V. Marathe, Stephen G. Eubank, Keith R. Bisset, Katherine V. Wendelsdorf, Abdul Salam Jarrah, Yongguo Mei, Josep Bassaganya-Riera	Systems Modeling of Molecular Mechanisms Controlling Cytokine-driven CD4+ T Cell Differentiation and Phenotype Plasticity.	PLoS Comput. Biol.	2013	DBLP DOI BibTeX RDF
33	Daniel S. Hoops	Lost in Cyberspace: Navigating the Legal Issues of E-Commerce.	J. Electron. Commer. Organ.	2012	DBLP DOI BibTeX RDF
33	Edward Kent, Stefan Hoops, Pedro Mendes 0001	Condor-COPASI: high-throughput computing for biochemical networks.	BMC Syst. Biol.	2012	DBLP DOI BibTeX RDF
33	Keith R. Bisset, Md. Maksudul Alam, Josep Bassaganya-Riera, Adria Carbo, Stephen G. Eubank, Raquel Hontecillas, Stefan Hoops, Yongguo Mei, Katherine V. Wendelsdorf, Dawen Xie, Jae-Seung Yeom, Madhav V. Marathe	High-Performance Interaction-Based Simulation of Gut Immunopathologies with ENteric Immunity Simulator (ENISI).	IPDPS	2012	DBLP DOI BibTeX RDF
33	Yongguo Mei, Raquel Hontecillas, Xiaoying Zhang, Keith R. Bisset, Stephen G. Eubank, Stefan Hoops, Madhav V. Marathe, Josep Bassaganya-Riera	ENISI Visual, an agent-based simulator for modeling gut immunity.	BIBM	2012	DBLP DOI BibTeX RDF
33	Dagmar Waltemath, Richard R. Adams, Daniel A. Beard, Frank T. Bergmann, Upinder S. Bhalla, Randall Britten, Vijayalakshmi Chelliah, Mike T. Cooling, Jonathan Cooper, Edmund J. Crampin, Alan Garny, Stefan Hoops, Michael Hucka, Peter J. Hunter, Edda Klipp, Camille Laibe, Andrew K. Miller, Ion I. Moraru, David P. Nickerson, Poul M. F. Nielsen, Macha Nikolski, Sven Sahle, Herbert M. Sauro, Henning Schmidt, Jacky L. Snoep, Dominic P. Tolle, Olaf Wolkenhauer, Nicolas Le Novère	Minimum Information About a Simulation Experiment (MIASE).	PLoS Comput. Biol.	2011	DBLP DOI BibTeX RDF
33	Li Li 0066, Nirav Patel, Deborah Solomonow, Peter Le, Heather Hoops, David Gerhardt, Kyle Johnson, Bing He Zhou, Yun Lu, Moshe Solomonow	Neuromuscular Response to Cyclic Lumbar Twisting.	Hum. Factors	2007	DBLP DOI BibTeX RDF
33	Stefan Hoops, Sven Sahle, Ralph Gauges, Christine Lee, Jürgen Pahle, Natalia Simus, Mudita Singhal, Liang Xu, Pedro Mendes 0001, Ursula Kummer	COPASI - a COmplex PAthway SImulator.	Bioinform.	2006	DBLP DOI BibTeX RDF
33	Sven Sahle, Ralph Gauges, Jürgen Pahle, Natalia Simus, Ursula Kummer, Stefan Hoops, Christine Lee, Mudita Singhal, Liang Xu, Pedro Mendes 0001	Simulation of biochemical networks using COPASI: a complex pathway simulator.	WSC	2006	DBLP DOI BibTeX RDF
29	Manuel Abad, J. Patricio Díaz Varela	Factor congruences in BCK -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
27	Sebastián Buss	Decomposition of totally ordered hoops.	Arch. Formal Proofs	2024	DBLP BibTeX RDF
27	Sara Ugolini	The polyhedral geometry of Wajsberg hoops.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
27	Dan Fan, Juan Du, Jingshuang Dang, Changwei Wang, Yirong Mo	The strength and selectivity of perfluorinated nano-hoops and buckybowls for anion binding and the nature of anion-π interactions.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
27	Rajab Ali Borzooei, Mona Aaly Kologani, Sun Shin Ahn	Product of ideals in hoops.	Soft Comput.	2023	DBLP DOI BibTeX RDF
27	Paolo Aglianò	Quasivarieties of Wajsberg hoops.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
27	Francesco Manfucci, Sara Ugolini	Free Product Hoops.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
27	Paolo Aglianò	Splittings in Subreducts of Hoops.	Stud Logica	2022	DBLP DOI BibTeX RDF
27	Rajab Ali Borzooei, Mona Aaly Kologani, Xiao Long Xin 0001, Young Bae Jun	On Annihilators in Hoops.	Soft Comput.	2022	DBLP DOI BibTeX RDF
27	Zuohui Fu, Yikun Xian, Yaxin Zhu, Shuyuan Xu, Zelong Li, Gerard de Melo, Yongfeng Zhang	HOOPS: Human-in-the-Loop Graph Reasoning for Conversational Recommendation.	SIGIR	2021	DBLP DOI BibTeX RDF
27	Jun Tao Wang 0001, Rajab Ali Borzooei, Mona Aaly Kologani	Characterizations of hoops based on stabilizers.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
27	Rajab Ali Borzooei, S. Z. Alavi, Mona Aaly Kologani, Sun Shin Ahn	Folding theory applied to pseudo-hoops.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
27	Christoph Kelp, Cameron Boult, Fernando Broncano-Berrocal, Paul Dimmock, Harmen Ghijsen, Mona Simion	Hoops and Barns: a new dilemma for Sosa.	Synth.	2020	DBLP DOI BibTeX RDF
27	Dmitry Kovalev, Samuel Horváth, Peter Richtárik	Don't Jump Through Hoops and Remove Those Loops: SVRG and Katyusha are Better Without the Outer Loop.	ALT	2020	DBLP BibTeX RDF
27	Mona Aaly Kologani, Young Bae Jun, Xiao Long Xin 0001, Eun Hwan Roh, Rajab Ali Borzooei	On co-annihilators in hoops.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
27	Dmitry Kovalev, Samuel Horváth, Peter Richtárik	Don't Jump Through Hoops and Remove Those Loops: SVRG and Katyusha are Better Without the Outer Loop.	CoRR	2019	DBLP BibTeX RDF
27	Lavinia Corina Ciungu	Involutive filters of pseudo-hoops.	Soft Comput.	2019	DBLP DOI BibTeX RDF
27	Rajab Ali Borzooei, M. Sabetkish, Eun Hwan Roh, Mona Aaly Kologani	Int-Soft Filters in Hoops.	Int. J. Fuzzy Log. Intell. Syst.	2019	DBLP DOI BibTeX RDF
27	Paolo Aglianò, Sara Ugolini	\|MTL\|-algebras as rotations of basic hoops.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
27	Christopher Banks, Kyle Slovak, Samuel Coogan 0001, Magnus Egerstedt	Specification-Based Maneuvering of Quadcopters Through Hoops.	IROS	2019	DBLP DOI BibTeX RDF
27	Mei Wang, Xiaolong Xin 0001, Juntao Wang 0001	Integral hoops and integral filters.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
27	Juntao Wang 0001, Xiaolong Xin 0001, Pengfei He 0001	Monadic bounded hoops.	Soft Comput.	2018	DBLP DOI BibTeX RDF
27	S. Z. Alavi, Rajab Ali Borzooei, Mona Aaly Kologani	Fuzzy filters in pseudo hoops.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
27	Peter Jipsen	On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras.	Soft Comput.	2017	DBLP DOI BibTeX RDF
27	Rodica Ceterchi	The decomposition of linearly ordered pseudo-hoops.	Soft Comput.	2017	DBLP DOI BibTeX RDF
27	Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden	"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?	Software Engineering	2017	DBLP BibTeX RDF
27	Michal Botur, Anatolij Dvurecenskij	On pseudo-BL-algebras and pseudo-hoops with normal maximal filters.	Soft Comput.	2016	DBLP DOI BibTeX RDF
27	Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden	Jumping through hoops: why do Java developers struggle with cryptography APIs?	ICSE	2016	DBLP DOI BibTeX RDF
27	Rob Arthan, Paulo Oliva	On Pocrims and Hoops.	CoRR	2014	DBLP BibTeX RDF
27	Lavinia Corina Ciungu, Jan Kühr	New Probabilistic Model for Pseudo-BCK Algebras and Pseudo-hoops.	J. Multiple Valued Log. Soft Comput.	2013	DBLP BibTeX RDF
27	Rob Arthan, Paulo Oliva	(Dual) Hoops Have Unique Halving.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
27	Rob Arthan, Paulo Oliva	(Dual) Hoops Have Unique Halving	CoRR	2012	DBLP BibTeX RDF
27	Michal Botur, Anatolij Dvurecenskij, Tomasz Kowalski	On normal-valued basic pseudo-hoops.	Soft Comput.	2012	DBLP DOI BibTeX RDF
27	George Georgescu, Laurentiu Leustean, Viorel Preoteasa	Pseudo Hoops.	Arch. Formal Proofs	2011	DBLP BibTeX RDF
27	Michiro Kondo	Some Types of Filters in Hoops.	ISMVL	2011	DBLP DOI BibTeX RDF
27	Lavinia Corina Ciungu	Algebras on subintervals of pseudo-hoops.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
27	Wojciech Dzik	Unification in some substructural logics of BL-algebras and hoops.	Reports Math. Log.	2008	DBLP BibTeX RDF
27	Sándor Jenei, Franco Montagna	Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
27	George Georgescu, Laurentiu Leustean, Viorel Preoteasa	Pseudo-hoops.	J. Multiple Valued Log. Soft Comput.	2005	DBLP BibTeX RDF
27	Francesc Esteva, Lluís Godo, Petr Hájek 0001, Franco Montagna	Hoops and Fuzzy Logic.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
27	Isabel M. A. Ferreirim	Errata to RML: 34 A Short Note on Hoops and Continuous t-norms.	Reports Math. Log.	2002	DBLP BibTeX RDF
27	Pere Brunet, Isabel Navazo, Jarek Rossignac, Carlos Saona-Vázquez	Hoops: 3D Curves as Conservative Occluders for Cell Visibility.	Comput. Graph. Forum	2001	DBLP DOI BibTeX RDF
27	Isabel M. A. Ferreirim	A Short Note on Hoops and Continuous {t}-norms.	Reports Math. Log.	2000	DBLP BibTeX RDF
27	Stanley Burris, Isabel M. A. Ferreirim	Decidable Varieties of Hoops.	Reports Math. Log.	1994	DBLP BibTeX RDF
27	Ljubomir Christov, Markus Gorzelancyk	3D-Graphik mit HOOPS - Einführung in die Programmierung: für DOS-, Windows-, UNIX- und Mac-Systeme.		1994	RDF
25	Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
25	Ramesh Balasubramaniam, Michael T. Turvey	Coordination modes in the multisegmental dynamics of hula hooping.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF
25	Romà J. Adillon, Ventura Verdú	On product logic.	Soft Comput.	1998	DBLP DOI BibTeX RDF