|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 11 keywords
|
|
|
Results
Found 106 publication records. Showing 97 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 73-98, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(7), pp. 869-886, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 38(3-4), pp. 299-331, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
49 | Yong Lin Liu, San Yang Liu, Yang Xu 0001 |
Pseudo-BCK algebras and PD-posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(1), pp. 91-101, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 153-180, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09488, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08124, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 37(1), pp. 4-27, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Susan L. Hoops, Dan Knights |
LMdist: Local Manifold distance accurately measures beta diversity in ecological gradients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 39(12), December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Felix Hoops, Alexander Mühle, Florian Matthes, Christoph Meinel |
A Taxonomy of Decentralized Identifier Methods for Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.03367, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.06513, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 105, pp. 102020, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPS-ISA ![In: 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2023, Atlanta, GA, USA, November 1-4, 2023, pp. 23-33, 2023, IEEE, 979-8-3503-2385-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Felix Hoops, Alexander Mühle, Florian Matthes, Christoph Meinel |
A Taxonomy of Decentralized Identifier Methods for Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAPPS ![In: IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023, pp. 57-65, 2023, IEEE, 979-8-3503-3535-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 50(W1), pp. 108-114, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.06732, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022, pp. 4675-4683, 2022, ACM, 978-1-4503-9385-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 22(2), pp. 642-663, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-3311-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 35th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2021, Portland, OR, USA, May 17-21, 2021, pp. 639-650, 2021, IEEE, 978-1-6654-4066-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2021 IEEE International Conference on Big Data (Big Data), Orlando, FL, USA, December 15-18, 2021, pp. 1566-1574, 2021, IEEE, 978-1-6654-3902-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 20(1), pp. 144, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 508, December 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 16(2), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(8), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 94(11), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 15(1), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 15(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Christoph Daniel Schulze, Gregor Hoops, Reinhard von Hanxleden |
Automatic Layout and Label Management for Compact UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018, pp. 187-191, 2018, IEEE Computer Society, 978-1-5386-4235-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | David Shaw, Dirk Hoops, Kenneth M. Butler, Amit Nahar |
Statistical outlier screening as a test solution health monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2016 IEEE International Test Conference, ITC 2016, Fort Worth, TX, USA, November 15-17, 2016, pp. 1-10, 2016, IEEE, 978-1-4673-8773-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioData Min. ![In: BioData Min. 8, pp. 27, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 12(2), pp. 289-297, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 16(S12), pp. S2, December 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 12(2), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 12(2), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 12(2), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 9, pp. 95, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015, Washington, DC, USA, November 9-12, 2015, pp. 680-684, 2015, IEEE Computer Society, 978-1-4673-6799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 8, pp. 42, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2014 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2014, Belfast, United Kingdom, November 2-5, 2014, pp. 391-396, 2014, IEEE Computer Society, 978-1-4799-5669-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 9(4), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Daniel S. Hoops |
Lost in Cyberspace: Navigating the Legal Issues of E-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Commer. Organ. ![In: J. Electron. Commer. Organ. 10(1), pp. 33-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Edward Kent, Stefan Hoops, Pedro Mendes 0001 |
Condor-COPASI: high-throughput computing for biochemical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 6, pp. 91, 2012. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012, pp. 48-59, 2012, IEEE Computer Society, 978-1-4673-0975-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2012, Philadelphia, PA, USA, October 4-7, 2012, pp. 1-5, 2012, IEEE Computer Society, 978-1-4673-2559-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 7(4), 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 49(5), pp. 820-829, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 22(24), pp. 3067-3074, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1698-1706, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Manuel Abad, J. Patricio Díaz Varela |
Factor congruences in BCK -algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(10), pp. 1007-1012, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2024, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
27 | Sara Ugolini |
The polyhedral geometry of Wajsberg hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 34(3), pp. 557-589, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 44(3), pp. 138-148, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Rajab Ali Borzooei, Mona Aaly Kologani, Sun Shin Ahn |
Product of ideals in hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(17), pp. 11961-11971, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Aglianò |
Quasivarieties of Wajsberg hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 465, pp. 108514, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Francesco Manfucci, Sara Ugolini |
Free Product Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 518-529, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Aglianò |
Splittings in Subreducts of Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(5), pp. 1155-1187, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Rajab Ali Borzooei, Mona Aaly Kologani, Xiao Long Xin 0001, Young Bae Jun |
On Annihilators in Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 26(15), pp. 6969-6980, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, July 11-15, 2021, pp. 2415-2421, 2021, ACM, 978-1-4503-8037-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Jun Tao Wang 0001, Rajab Ali Borzooei, Mona Aaly Kologani |
Characterizations of hoops based on stabilizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 39(3), pp. 4341-4348, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Rajab Ali Borzooei, S. Z. Alavi, Mona Aaly Kologani, Sun Shin Ahn |
Folding theory applied to pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 39(1), pp. 1381-1390, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 197(12), pp. 5187-5202, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, ALT 2020, 8-11 February 2020, San Diego, CA, USA., pp. 451-467, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(4), pp. 5471-5485, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.08689, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Lavinia Corina Ciungu |
Involutive filters of pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(19), pp. 9459-9476, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Rajab Ali Borzooei, M. Sabetkish, Eun Hwan Roh, Mona Aaly Kologani |
Int-Soft Filters in Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Log. Intell. Syst. ![In: Int. J. Fuzzy Log. Intell. Syst. 19(3), pp. 213-222, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Paolo Aglianò, Sara Ugolini |
|MTL|-algebras as rotations of basic hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 29(5), pp. 763-784, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Christopher Banks, Kyle Slovak, Samuel Coogan 0001, Magnus Egerstedt |
Specification-Based Maneuvering of Quadcopters Through Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019, pp. 5191-5197, 2019, IEEE, 978-1-7281-4004-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Mei Wang, Xiaolong Xin 0001, Juntao Wang 0001 |
Integral hoops and integral filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 35(1), pp. 1055-1062, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Juntao Wang 0001, Xiaolong Xin 0001, Pengfei He 0001 |
Monadic bounded hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 22(6), pp. 1749-1762, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | S. Z. Alavi, Rajab Ali Borzooei, Mona Aaly Kologani |
Fuzzy filters in pseudo hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 32(3), pp. 1997-2007, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Peter Jipsen |
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 21(1), pp. 17-27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Rodica Ceterchi |
The decomposition of linearly ordered pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 21(19), pp. 5631-5639, 2017. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, pp. 57, 2017, GI, 978-3-88579-661-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Michal Botur, Anatolij Dvurecenskij |
On pseudo-BL-algebras and pseudo-hoops with normal maximal filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 20(2), pp. 439-448, 2016. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pp. 935-946, 2016, ACM, 978-1-4503-3900-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Rob Arthan, Paulo Oliva |
On Pocrims and Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.0816, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
27 | Lavinia Corina Ciungu, Jan Kühr |
New Probabilistic Model for Pseudo-BCK Algebras and Pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 20(3-4), pp. 373-400, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Rob Arthan, Paulo Oliva |
(Dual) Hoops Have Unique Halving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning and Mathematics ![In: Automated Reasoning and Mathematics - Essays in Memory of William W. McCune, pp. 165-180, 2013, Springer, 978-3-642-36674-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Rob Arthan, Paulo Oliva |
(Dual) Hoops Have Unique Halving ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.0436, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Michal Botur, Anatolij Dvurecenskij, Tomasz Kowalski |
On normal-valued basic pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 16(4), pp. 635-644, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | George Georgescu, Laurentiu Leustean, Viorel Preoteasa |
Pseudo Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Michiro Kondo |
Some Types of Filters in Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011, pp. 50-53, 2011, IEEE Computer Society, 978-0-7695-4405-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Lavinia Corina Ciungu |
Algebras on subintervals of pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(8), pp. 1099-1113, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Wojciech Dzik |
Unification in some substructural logics of BL-algebras and hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 43, pp. 73-83, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 231-246, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | George Georgescu, Laurentiu Leustean, Viorel Preoteasa |
Pseudo-hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 11(1-2), pp. 153-184, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Francesc Esteva, Lluís Godo, Petr Hájek 0001, Franco Montagna |
Hoops and Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 13(4), pp. 532-555, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Isabel M. A. Ferreirim |
Errata to RML: 34 A Short Note on Hoops and Continuous t-norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 36, pp. 141-142, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
27 | Pere Brunet, Isabel Navazo, Jarek Rossignac, Carlos Saona-Vázquez |
Hoops: 3D Curves as Conservative Occluders for Cell Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 20(3), pp. 431-442, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Isabel M. A. Ferreirim |
A Short Note on Hoops and Continuous {t}-norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 34, pp. 141-152, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Stanley Burris, Isabel M. A. Ferreirim |
Decidable Varieties of Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 28, pp. 53-59, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
25 | Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill |
A lightweight interactive debugger for haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 13-24, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
debugging, lazy evaluation |
25 | Ramesh Balasubramaniam, Michael T. Turvey |
Coordination modes in the multisegmental dynamics of hula hooping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 90(3), pp. 176-190, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Romà J. Adillon, Ventura Verdú |
On product logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 2(3), pp. 141-146, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #97 of 97 (100 per page; Change: )
|
|