Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
69 | Michael Suppa, Simon Kielhöfer, Jörg Langwald, Franz Hacker, Klaus H. Strobl, Gerd Hirzinger |
The 3D-Modeller: A Multi-Purpose Vision Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 781-787, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Jennifer Tenzer |
Improving UML Design Tools by Formal Games . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 75-77, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Application of formal methods to software design |
54 | Chikit K. Au, Matthew Ming-Fai Yuen |
A feature modeller for sculptured object modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(1), pp. 1-8, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Sculptured objects, Constraint, Features |
46 | Deepak Perumal, Chu Sing Lim, Meena K. Sakharkar |
In silico Identification of Putative Drug Targets in Pseudomonas aeruginosa Through Metabolic Pathway Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings, pp. 323-336, 2007, Springer, 978-3-540-75285-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pseudomonas aeruginosa, Homo sapiens, Comparative microbial genomics, KEGG, kdsA, kdsB, waaG, lpxC, Potential drug targets, MODELLER, Homology |
46 | Gaëlle Largeteau-Skapin, Eric Andres |
Two Discrete-Euclidean Operations Based on the Scaling Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings, pp. 41-52, 2006, Springer, 3-540-47651-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
discrete scale, multi-representation modeller, operations, discrete geometry |
46 | Ioan Tabus, Jorma Rissanen, Jaakko Astola |
Adaptive L-Predictors Based on Finite State Machine Context Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 401-404, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive L-predictors, finite state machine context selection, adaptive nonlinear predictors, FSM context modeller, adaptive design, FSM-context L-predictor, image coding, lossless compression, gray level images |
45 | Khurshid Ahmad 0001, Tracey Ann Bale |
Simulation of Quantification Abilities Using a Modular Neural Network Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 10(1), pp. 77-88, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mixture-of-experts models, Numerical development, Quantification abilities, Self-organisation, Modular neural networks, Recurrency |
45 | Wayne Piekarski, Bruce H. Thomas |
Tinmith-Metro: New Outdoor Techniques for Creating City Models with an Augmented Reality Wearable Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: 5th International Symposium on Wearable Computers (ISWC 2001), 8-9 October 2001, Zurich, Switzerland, pp. 31-38, 2001, IEEE Computer Society, 0-7695-1318-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
augmented reality, 3D modelling, constructive solid geometry, mobile user interfaces |
40 | Brady R. Rimes, Walter G. Rudd |
Pest management modeller's workbench (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 421, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Ingo Glöckner |
Towards an Operational Interpretation of Membership Grades - On H-Valued Fuzzy Sets and Their Use for Fuzzy Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 608-615, 2007, IEEE, 1-4244-0703-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Robert V. Fleisig, Allan D. Spence |
B-Rep Based Parallel Machining Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 15-18 May 2005, Guelph, Ontario, Canada, pp. 83-89, 2005, IEEE Computer Society, 0-7695-2343-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | A. M. Day, David B. Arnold, Sven Havemann, Dieter W. Fellner |
Combining Polygonal and Subdivision Surface approaches to Modelling of Urban Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 2nd International Conference on Cyberworlds (CW 2003), 3-5 December 2003, Singapore, pp. 189-197, 2003, IEEE Computer Society, 0-7695-1922-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | James Tebboth, Robert Daniel |
A Tightly Integrated Modelling and Optimisation Library: A New Framework for Rapid Algorithm Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 313-333, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
integrated modelling and optimisation, algorithm implementation, modelling languages |
30 | Greg Turk, Huong Quynh Dinh, James F. O'Brien, Gary D. Yngve |
Implicit Surfaces that Interpolate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2001 International Conference on Shape Modeling and Applications (SMI 2001), 7-11 May 2001, Genoa, Italy, pp. 62-, 2001, IEEE Computer Society, 0-7695-0853-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Søren Christensen, Laure Petrucci |
Towards a Modular Analysis of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 113-133, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Steven H. Greve |
Proactive Modelling and the Development of Coaching Strategies in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings, pp. 194-201, 1990, Springer, 3-540-52699-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Radboud Winkels |
User Modelling in Help Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings, pp. 184-193, 1990, Springer, 3-540-52699-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Fred Shone, Theodore Chatziioannou, Bryn Pickering, Kasia Kozlowska, Michael Fitzmaurice |
PAM: Population Activity Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 9(96), pp. 6097, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Naoum Tsioptsias, Antulea A. Tako, Stewart Robinson 0001 |
Are "wrong" models useful? A qualitative study of discrete event simulation modeller stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Simulation ![In: J. Simulation 17(5), pp. 594-606, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Shahroz Khan, Kosa Goucher-Lambert, Konstantinos V. Kostas, Panagiotis D. Kaklis |
ShipHullGAN: A generic parametric modeller for ship hull design using deep convolutional generative model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.00210, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari 0001, Tommaso Turchi, Alessio Malizia |
ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pp. 367-368, 2023, IEEE, 979-8-3503-2689-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow |
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 21:1-21:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ilkay Cinar |
Yüz görüntülerinde derin üretken modeller ile anlamsal görüntü tamamlama (Semantic image completion with deep generative models in facial images) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
25 | Chien Lee, Bo-Han Su, Yufeng Jane Tseng |
Comparative studies of AlphaFold, RoseTTAFold and Modeller: a case study involving the use of G-protein-coupled receptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 23(5), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Henning D. Richter |
A Case Study on itsVALUE to Evaluate its Method, Notation and ADOxx Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIR ![In: Perspectives in Business Informatics Research - 21st International Conference on Business Informatics Research, BIR 2022, Rostock, Germany, September 21-23, 2022, Proceedings, pp. 69-85, 2022, Springer, 978-3-031-16946-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ezgi Demircan-Tureyen |
Directional regularization based variational models for image recovery (Görüntü onarımı için yön güdümlü düzenlemeye dayalı varyasyonel modeller) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
25 | Nabil Abubaker |
Novel algorithms and models for scaling parallel sparse tensor and matrix factorizations (Paralel seyrek tensör ve matris ayrışımı için yeni yöntem ve modeller) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
25 | Steven Smyth |
Interactive Model-Based Compilation: A Modeller-Driven Development Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
25 | Ali M. Ahmed Al Sabaawi |
Adopting several models to alleviate sparsity and cold-start problems using data mining techniques for recommendation systems (Tavsiye sistemi için veri madenciliği tekniklerini kullanarak veri seyrekliğini ve soğuk başlatma sorunlarını hafifletmek için çeşitli modeller) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
25 | Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson, Beatriz Sanchez Piña, Alan Grigg, Mole Li, Dimitrios S. Kolovos, Richard F. Paige |
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 19(1), pp. 17-38, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Giacomo Janson, Alessandro Grottesi, Marco Pietrosanto, Gabriele Ausiello, Giulia Guarguaglini, Alessandro Paiardini |
Revisiting the "satisfaction of spatial restraints" approach of MODELLER for protein homology modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(12), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Imen Ben Said, Mohamed Amine Chaâbane, Eric Andonoff, Rafik Bouaziz |
BPMN4VC-modeller: easy-handling of versions of collaborative processes using adaptation patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Chang. Manag. ![In: Int. J. Inf. Syst. Chang. Manag. 10(2), pp. 140-189, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Magno Andrade, David Aveiro, Duarte Pinto |
DEMO based Dynamic Information System Modeller and Executer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, Volume 2: KEOD, Seville, Spain, September 18-20, 2018., pp. 381-388, 2018, SciTePress, 978-989-758-330-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Erik Berglund |
Towards a Universal Modeller of Chaotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LION ![In: Learning and Intelligent Optimization - 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers, pp. 307-313, 2017, Springer, 978-3-319-69403-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara |
Active Domain-Specific Languages: Making Every Mobile User a Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 75-82, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson |
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 237-247, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Cem Keskin |
Generative vs. discriminative models for vision based hand gesture recognition (Görüntü tabanlı el hareketi tanıma için üretici ve ayrıştırıcı modeller) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
25 | Jiaqing Lin, Hiroaki Nishino |
A construction-from-parts-type 3D modeller for digital fabrication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Space Based Situated Comput. ![In: Int. J. Space Based Situated Comput. 5(4), pp. 230-241, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Fergal Byrne |
Symphony from Synapses: Neocortex as a Universal Dynamical Systems Modeller using Hierarchical Temporal Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.05245, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Urko Rueda, Sergio España, Marcela Ruiz |
GREAT Process Modeller user manual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.07693, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Stuart Marsden, Jouko Vankka |
Tactical Network Modeller Simulation Tool Combined discrete event and network back-ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.05830, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Stuart Marsden, Jouko Vankka |
Tactical Network Modeller simulation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 34th IEEE Military Communications Conference, MILCOM 2015, Tampa, FL, USA, October 26-28, 2015, pp. 1087-1092, 2015, IEEE, 978-1-5090-0073-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Harsh Arora, Rijubrata Mukherjee, Abhijit Bej, Hillol Adak |
Directory based cache coherence modeller in multiprocessors: Medium insight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2014 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2014, Delhi, India, September 24-27, 2014, pp. 2611-2617, 2014, IEEE, 978-1-4799-3078-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Yan Chen, Yi Shang, Dong Xu 0002 |
Multi-dimensional scaling and MODELLER-based evolutionary algorithms for protein model refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China, July 6-11, 2014, pp. 1038-1045, 2014, IEEE, 978-1-4799-1488-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Szymon Bobek, Grzegorz J. Nalepa, Olgierd Grodzki |
Integration of Activity Modeller with Bayesian Network Based Recommender for Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KESE@ECAI ![In: Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Basem Y. Alkazemi, Abdullah Baz, Grami Mohammad A. Grami, Yasir A. Khayat |
Utilizing Umbrello UML Modeller to Develop Students' Modelling Skills in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEDU ![In: CSEDU 2013 - Proceedings of the 5th International Conference on Computer Supported Education, Aachen, Germany, 6-8 May, 2013, pp. 702-704, 2013, SciTePress, 978-989-8565-53-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | John Kerins, Allan Ramsay |
Developing a visual temporal modeller: Applying an extensible nlp system to support learners' understanding of tense and aspect in english. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCALL ![In: ReCALL 24(1), pp. 40-65, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Marco Russo |
Towards General Purpose Neuro-Genetic Programming Socket Based Formal Modeller - (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT (1) ![In: Convergence and Hybrid Information Technology - 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings, pp. 195-202, 2012, Springer, 978-3-642-32644-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Cláudia Sofia Ribeiro, João Fernandes, João Madeiras Pereira |
Didactical Competence Modeller: Dynamic Story Creation for Serious Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL Workshops ![In: New Horizons in Web Based Learning - ICWL 2011 International Workshops, KMEL, ELSM, and SPeL, Hong Kong, December 8-10, 2011, ICWL 2012 International Workshops, KMEL, SciLearn, and CCSTED,Sinaia, Romania, September 2-4, 2012. Revised Selected Papers, pp. 39-48, 2012, Springer, 978-3-662-43453-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Wilfred Cuff, Peter Sands, Max Benyon, Andrea Emilio Rizzoli |
A simulation modeller's legacy: "Modelling and Simulation of System Dynamics" by Peter Benyon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 26(12), pp. 1770-1771, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Marcel C. Guenther, Jeremy T. Bradley |
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSW ![In: 2011 Imperial College Computing Student Workshop, ICCSW 2011, London, United Kingdom, September 29-30, 2011. Proceedings., pp. 24-30, 2011, Imperial College London. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Bhathiya Wickremasinghe, Rodrigo N. Calheiros, Rajkumar Buyya |
CloudAnalyst: A CloudSim-Based Visual Modeller for Analysing Cloud Computing Environments and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010, pp. 446-452, 2010, IEEE Computer Society, 978-0-7695-4018-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Modeling, Cloud Computing |
25 | Susanne Neumann, Petra Oberhuemer, Michael Derntl |
Visualizing Learning Designs Using IMS Learning Design: The Position of the Graphical Learning Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 9th IEEE International Conference on Advanced Learning Technologies, ICALT 2009, Riga, Latvia, July 15-17, 2009, pp. 732-733, 2009, IEEE Computer Society, 978-0-7695-3711-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Onur Dikmen |
Bayesian source modelling for single-channel audio separation (Ses sinyallerinin tek kanaldan ayrıştırılmasında Bayesçi modeller) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
25 | Kaan Kurtel |
Yazılım bakım altkarakteristiklerinin ISO tabanlı modeller kullanılarak ölçülmesi (The measuring of the software maintainability subcharacteristics by utilizing ISO-based models) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
25 | Susanne Neumann, Stefan Zander, Petra Oberhuemer |
Der Graphical Learning Modeller: eine intuitive Modellierungsumgebung zur Erstellung IMS Learning Design konformer Lehr-/Lernabläufe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DeLFI ![In: DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07. - 10. September 2008 in Lübeck, Germany, pp. 353-364, 2008, GI, 978-3-88579-226-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Patrick Karlsson Edlund |
Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cells ; Metoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelceller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
25 | John G. Hosking |
Confessions of a Meta-Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Bin Huang, Daniel C. H. Yang |
A parametric implicit solid modeller based morphing technology for free-form surface machining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 1(2), pp. 122-135, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mark Gotts |
What every agent-based modeller should know about floating point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 21(3), pp. 283-309, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Berkant Barla Cambazoglu |
Models and algorithms for parallel text retrieval (Paralel metin getirme için modeller ve algoritmalar) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
25 | Gabriel Skantze |
GALATEA: A Discourse Modeller Supporting Concept-Level Error Handling in Spoken Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Workshop ![In: Proceedings of the 6th SIGdial Workshop on Discourse and Dialogue, SIGdial 2005, Lisbon, Portugal, 2-3 September 2005, pp. 178-189, 2005, Special Interest Group on Discourse and Dialogue (SIGdial). The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Nicos H. Mateou, Constantinos Stylianou, Andreas S. Andreou |
Hybrid Fuzzy Cognitive Map Modeller: A Novel Software Tool for Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTST ![In: Soft Computing as Transdisciplinary Science and Technology, Proceedings of the fourth IEEE International Workshop, WSTST'05, Muroran, Japan, pp. 851-862, 2005, Springer, 978-3-540-25055-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Massimo Bertolini, Maurizio Bevilacqua 0001, Eleonora Bottani, Antonio Rizzi |
Requirements of an ERP enterprise modeller for optimally managing the fashion industry supply chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 17(3), pp. 180-190, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Akihiko Urushihara, Satoshi Kanai, Takeshi Kishinami, Toyoaki Tomura |
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design of User Interfaces IV, Proceedings of Fourth International Conference on Computer-Aided Design of User Interfaces, January 14-16, 2004, Funchal, Portugal, pp. 67-80, 2004, Kluwer, 1-4020-3145-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Jonas Dyhrfjeld-Johnsen, Klaas E. Stephan, Jürgen Maier 0001, Heiko J. Luhmann, Rolf Kötter |
Guiding the modeller: organizing and selecting experimental data for single cell models using the CoCoDat database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 52-54, pp. 239-245, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Chikit K. Au, Matthew Ming-Fai Yuen |
A constraint based feature modeller for sculptured object modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 17(2), pp. 69-79, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ernestina Martel, Francisco Guerra Santana, Javier Miranda |
EPDA-modeller: a tool for modelling a distributed programming environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy, pp. 245-250, 2002, IEEE Computer Society, 0-7695-1671-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Distributed Configuration, Group IO, Glade, Fault-Tolerance, Ada |
25 | Allan D. Spence, Farid Abrari, Mohamed A. Elbestawi |
Integrated solid modeller based solutions for machining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 32(8-9), pp. 553-568, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Chris J. Hinde, Richard J. Reader, Kath Phelps, David Gillingwater |
A Declarative Modeller for Biological and Environmental Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACPL ![In: Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, PACPL 2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000, pp. 213-232, 2000, Practical Application Company Ltd., 1-902426-06-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Chell A. Roberts, Maged M. Dessouky, Yasser M. Dessouky |
A virtual plant modeller (VPMOD) for batch-chemical processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 10(2), pp. 211-223, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Teresa De Martino, Bianca Falcidieno, Stefan Haßinger |
Design and engineering process integration through a multiple view intermediate modeller in a distributed object-oriented system environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 30(6), pp. 437-452, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Marc Brun |
A Modeller for Preliminary Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAD Tools and Algorithms for Product Design ![In: CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998], pp. 47-62, 1998, Springer, 3-540-66204-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
25 | Sylvain Brandel, Dominique Bechmann, Yves Bertrand |
STIGMA: a 4-dimensional modeller for animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Animation and Simulation ![In: Proceedings of the Eurographics Workshop on Computer Animation and Simulation 1998, Lisbon, Portugal, August 31 - September 1, 1998, pp. 103-126, 1998, Springer, 978-3-211-83257-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Lesley A. Gardner, Nandish V. Patel |
Tailorable Modeller: Establishing Tailorable Information Systems Requirements Through Active User Designs in Hypermedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: Proceedings of the Fourth European Conference on Information Systems, ECIS 1996, Lisbon, Portugal, 1996, pp. 297-312, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
25 | J. Jursa |
DNA modeller: an interactive program for modelling stacks of DNA base pairs on a microcomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Biosci. ![In: Comput. Appl. Biosci. 10(1), pp. 61-65, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Geoff Wyvill, Paul Sharp |
Commercial animation using a solid modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Animat. Virtual Worlds ![In: Comput. Animat. Virtual Worlds 2(1), pp. 9-15, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Kin Chuen Hui, Sooi-Thor Tan |
Display techniques and boundary evaluation of a Sweep-CSG modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 8(1), pp. 18-34, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Koichi Kondo |
PIGMOD: parametric and interactive geometric modeller for mechanical design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 22(10), pp. 633-644, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Jane Burridge, Brian M. Collins, B. Neil Galton, Alan R. Halbert, Thomas R. Heywood, William H. Latham, Robert W. Phippen, Peter Quarendon, Paul Reilly, M. William Ricketts, John Simmons, Stephen Todd, Andrew G. N. Walter, John R. Woodwark |
The WINSOM Solid Modeller and its Application to Data Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 28(4), pp. 548-568, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Jharna Majumdar, Paul Levi, Ulrich Rembold |
3-D model based robot vision by matching scene description with the object model from a CAD modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 5(1), pp. 69-83, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Tamás Várady, Janos Vida, Ralph R. Martin |
Parametric Blending in a Boundary Representation Solid Modeller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces, Keble College, Oxford, UK, September 19-21, 1988, pp. 171-197, 1988, Clarendon Press, 0-19-853629-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
25 | Wolfgang Kreutzer |
A Modeller's Workbench: Experiments in Object-Oriented Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 203-212, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Isabel Navazo, D. Avala, Pere Brunet |
A Geometric Modeller Based on the Exact Octtree Representation of Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 5(2), pp. 91-104, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Alexander D. Rast, Xin Jin 0003, Francesco Galluppi, Luis A. Plana, Cameron Patterson, Stephen B. Furber |
Scalable event-driven native parallel processing: the SpiNNaker neuromimetic system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 21-30, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
universal neural processor, asynchronous, event-driven |
15 | Jabier Martinez, Jessica Díaz, Jennifer Pérez, Juan Garbajosa |
Software Product Line Engineering Approach for Enhancing Agile Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings, pp. 247-248, 2009, Springer, 978-3-642-01852-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Rashid Mehmood, Raad Alturki, Muhammad Faisal |
A Scalable Provisioning and Routing Scheme for Multimedia QoS over Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMN ![In: Future Multimedia Networking, Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings, pp. 131-142, 2009, Springer, 978-3-642-02471-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quality of Service, ad hoc networks, multimedia, routing protocols, provisioning |
15 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
Engage: Engineering Service Modes with WS-Engineer and Dino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC/ServiceWave ![In: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, pp. 641-642, 2009, 978-3-642-10382-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Robert Codd-Downey, Michael Jenkin |
Crime scene robot and sensor simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2009, Kyoto, Japan, November 18-20, 2009, pp. 231-232, 2009, ACM, 978-1-60558-869-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bomb disposal simulation, crime scene simulation, virtual reality |
15 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
15 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Quantitative Analysis of Web Services Using SRMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 296-339, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joerg Evermann |
A cognitive semantics for the association construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 13(3), pp. 167-186, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semantics, Natural language, Cognition, Object-oriented modelling, Associations, Psychology |
15 | Tobias Brückmann, Volker Gruhn |
AMABULO - A Model Architecture for Business Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 445-452, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software diagrams, model architecture, model driven development |
15 | Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson 0003, Siobhán Clarke |
Composing Multi-view Aspect Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), February, 25-29, 2008, Madrid, Spain, Proceedings, pp. 43-52, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yong Meng Teo, Claudia Szabo |
CODES: An Integrated Approach to Composable Modeling and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 103-110, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
syntactic composability, semantic composability, model discovery, simulation ontology, model reuse |
15 | Kathy Kotiadis, Stewart Robinson 0001 |
Conceptual modelling: Knowledge acquisition and model abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 951-958, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf Laue 0001 |
Business Process Modelling with Continuous Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 212-223, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Farshad Moradi, Rassul Ayani, Imran Mahmood |
An Agent-Based Environment for Simulation Model Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 175-184, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Component based simulation development, BOM, Multi agent systems, Semantic Web Services |
15 | Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman |
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 251-268, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 43-62, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|