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. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Jennifer Tenzer |
Improving UML Design Tools by Formal Games . |
ICSE |
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. |
Eng. Comput. |
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. |
PRIB |
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. |
DGCI |
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. |
ICIP (1) |
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. |
Neural Comput. Appl. |
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. |
ISWC |
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). |
ACM Conference on Computer Science |
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. |
FOCI |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Robert V. Fleisig, Allan D. Spence |
B-Rep Based Parallel Machining Simulation. |
HPCS |
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. |
CW |
2003 |
DBLP DOI BibTeX RDF |
|
30 | James Tebboth, Robert Daniel |
A Tightly Integrated Modelling and Optimisation Library: A New Framework for Rapid Algorithm Development. |
Ann. Oper. Res. |
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. |
Shape Modeling International |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Søren Christensen, Laure Petrucci |
Towards a Modular Analysis of Coloured Petri Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Steven H. Greve |
Proactive Modelling and the Development of Coaching Strategies in Geometry. |
ICCAL |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Radboud Winkels |
User Modelling in Help Systems. |
ICCAL |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Fred Shone, Theodore Chatziioannou, Bryn Pickering, Kasia Kozlowska, Michael Fitzmaurice |
PAM: Population Activity Modeller. |
J. Open Source Softw. |
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. |
J. Simulation |
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. |
CoRR |
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. |
RE |
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. |
CP |
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) |
|
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. |
Briefings Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Henning D. Richter |
A Case Study on itsVALUE to Evaluate its Method, Notation and ADOxx Modeller. |
BIR |
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) |
|
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) |
|
2022 |
RDF |
|
25 | Steven Smyth |
Interactive Model-Based Compilation: A Modeller-Driven Development Approach. |
|
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) |
|
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. |
Softw. Syst. Model. |
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. |
PLoS Comput. Biol. |
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. |
Int. J. Inf. Syst. Chang. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Magno Andrade, David Aveiro, Duarte Pinto |
DEMO based Dynamic Information System Modeller and Executer. |
KEOD |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Erik Berglund |
Towards a Universal Modeller of Chaotic Systems. |
LION |
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. |
MoDELS |
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. |
MoDELS |
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) |
|
2017 |
RDF |
|
25 | Jiaqing Lin, Hiroaki Nishino |
A construction-from-parts-type 3D modeller for digital fabrication. |
Int. J. Space Based Situated Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Fergal Byrne |
Symphony from Synapses: Neocortex as a Universal Dynamical Systems Modeller using Hierarchical Temporal Memory. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
25 | Urko Rueda, Sergio España, Marcela Ruiz |
GREAT Process Modeller user manual. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
25 | Stuart Marsden, Jouko Vankka |
Tactical Network Modeller Simulation Tool Combined discrete event and network back-ends. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
25 | Stuart Marsden, Jouko Vankka |
Tactical Network Modeller simulation tool. |
MILCOM |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Harsh Arora, Rijubrata Mukherjee, Abhijit Bej, Hillol Adak |
Directory based cache coherence modeller in multiprocessors: Medium insight. |
ICACCI |
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. |
IEEE Congress on Evolutionary Computation |
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. |
KESE@ECAI |
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. |
CSEDU |
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. |
ReCALL |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Marco Russo |
Towards General Purpose Neuro-Genetic Programming Socket Based Formal Modeller - (Invited Paper). |
ICHIT (1) |
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. |
ICWL Workshops |
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. |
Environ. Model. Softw. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Marcel C. Guenther, Jeremy T. Bradley |
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool. |
ICCSW |
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. |
AINA |
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. |
ICALT |
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) |
|
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) |
|
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. |
DeLFI |
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. |
|
2008 |
RDF |
|
25 | John G. Hosking |
Confessions of a Meta-Modeller. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
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. |
Int. J. Manuf. Res. |
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. |
Environ. Model. Softw. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Berkant Barla Cambazoglu |
Models and algorithms for parallel text retrieval (Paralel metin getirme için modeller ve algoritmalar) |
|
2006 |
RDF |
|
25 | Gabriel Skantze |
GALATEA: A Discourse Modeller Supporting Concept-Level Error Handling in Spoken Dialogue Systems. |
SIGDIAL Workshop |
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. |
WSTST |
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. |
J. Enterp. Inf. Manag. |
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. |
CADUI |
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. |
Neurocomputing |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Chikit K. Au, Matthew Ming-Fai Yuen |
A constraint based feature modeller for sculptured object modelling. |
Int. J. Comput. Appl. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ernestina Martel, Francisco Guerra Santana, Javier Miranda |
EPDA-modeller: a tool for modelling a distributed programming environment. |
ISCC |
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. |
Comput. Aided Des. |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Chris J. Hinde, Richard J. Reader, Kath Phelps, David Gillingwater |
A Declarative Modeller for Biological and Environmental Systems. |
PACPL |
2000 |
DBLP BibTeX RDF |
|
25 | Chell A. Roberts, Maged M. Dessouky, Yasser M. Dessouky |
A virtual plant modeller (VPMOD) for batch-chemical processes. |
J. Intell. Manuf. |
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. |
Comput. Aided Des. |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Marc Brun |
A Modeller for Preliminary Design. |
CAD Tools and Algorithms for Product Design |
1998 |
DBLP BibTeX RDF |
|
25 | Sylvain Brandel, Dominique Bechmann, Yves Bertrand |
STIGMA: a 4-dimensional modeller for animation. |
Computer Animation and Simulation |
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. |
ECIS |
1996 |
DBLP BibTeX RDF |
|
25 | J. Jursa |
DNA modeller: an interactive program for modelling stacks of DNA base pairs on a microcomputer. |
Comput. Appl. Biosci. |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Geoff Wyvill, Paul Sharp |
Commercial animation using a solid modeller. |
Comput. Animat. Virtual Worlds |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Kin Chuen Hui, Sooi-Thor Tan |
Display techniques and boundary evaluation of a Sweep-CSG modeller. |
Vis. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Koichi Kondo |
PIGMOD: parametric and interactive geometric modeller for mechanical design. |
Comput. Aided Des. |
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. |
IBM Syst. J. |
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. |
Robotics Auton. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Tamás Várady, Janos Vida, Ralph R. Martin |
Parametric Blending in a Boundary Representation Solid Modeller. |
IMA Conference on the Mathematics of Surfaces |
1988 |
DBLP BibTeX RDF |
|
25 | Wolfgang Kreutzer |
A Modeller's Workbench: Experiments in Object-Oriented Simulation. |
ECOOP |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Isabel Navazo, D. Avala, Pere Brunet |
A Geometric Modeller Based on the Exact Octtree Representation of Polyhedra. |
Comput. Graph. Forum |
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. |
Conf. Computing Frontiers |
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. |
XP |
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. |
FMN |
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. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Robert Codd-Downey, Michael Jenkin |
Crime scene robot and sensor simulation. |
VRST |
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. |
MobiMedia |
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. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joerg Evermann |
A cognitive semantics for the association construct. |
Requir. Eng. |
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. |
ECBS |
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. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yong Meng Teo, Claudia Szabo |
CODES: An Integrated Approach to Composable Modeling and Simulation. |
Annual Simulation Symposium |
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. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf Laue 0001 |
Business Process Modelling with Continuous Validation. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Farshad Moradi, Rassul Ayani, Imran Mahmood |
An Agent-Based Environment for Simulation Model Composition. |
PADS |
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. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|