|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12256 occurrences of 5102 keywords
|
|
|
Results
Found 55520 publication records. Showing 55519 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Siming Kou, Muhammad Ali Babar 0001, Amit Sangroya |
Modeling security for service oriented applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 294-301, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SoaML, security, SOA, QOS, MDE |
18 | Stefan Jablonski, Roland H. Kaschek, Bernhard Thalheim |
Preface to CoMoL 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Liming Zhu 0001, Tu Tak Tran, Mark Staples, D. Ross Jeffery |
Technical Software Development Process in the XML Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 246-255, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Rieke, Axel Winkelmann |
Modellierung und Management von Risiken. Ein prozessorientierter Risikomanagement-Ansatz zur Identifikation und Behandlung von Risiken in Geschäftsprozessen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 50(5), pp. 346-356, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
] Basel II, corporate governance codex, KonTraG, multi-purpose risk, Sarbanes-Oxley Act, Solvency II, conceptual modeling, meta modeling, IT-governance, EPC, risk modeling, corporate governance |
18 | Raimundas Matulevicius, Patrick Heymans |
Visually Effective Goal Models Using KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 265-275, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Falko Bause, Jan Kriege |
Detecting non-ergodic simulation models of logistics networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 64, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
process chains, simulation, petri nets, logistics, ergodicity |
18 | Albert Y. Zomaya |
Exploring Biocomplexity: New Challenges for High Performance Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 6, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Claus Pahl |
Ontology Transformation and Reasoning for Model-Driven Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II, pp. 1170-1187, 2005, Springer, 3-540-29738-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler |
Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 615-619, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating |
Composition of Relations in Enterprise Architecture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 39-53, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Olaf Kath, Andrei Blazarenas, Marc Born, Klaus-Peter Eckert, Motohisa Funabashi, Chiaki Hirai |
Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings, pp. 267-274, 2004, IEEE Computer Society, 0-7695-2214-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | J. Ruiz Gomez, M. J. López-Baldán, Alfonso García-Cerezo |
Input-Output Fuzzy Identification of Nonlinear Multivariable Systems. Application to a Case of AIDS Spread Forecast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part II, pp. 481-488, 2003, Springer, 3-540-40211-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Reyer Zwiggelaar, Lilian Blot, David Raba, Erika R. E. Denton |
Set-Permutation-Occurrence Matrix Based Texture Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA ![In: Pattern Recognition and Image Analysis, First Iberian Conference, IbPRIA 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003, Proceedings, pp. 1099-1107, 2003, Springer, 3-540-40217-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Teemu Tynjälä, Sari Leppänen, Vesa Luukkala |
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 178-193, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Javier Morales, Luís Ferreira Pires, Marten van Sinderen |
Model Driven Geo-Information System's Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings, pp. 155-166, 2002, IEEE Computer Society, 0-7695-1742-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mika Katara |
Hybrid Models for Mobile Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, pp. 216-231, 2000, Springer, 3-540-41020-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Giorgio De Michelis |
Net Theory and Workflow Models (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 282-283, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mario Moreno, Colette Rolland, Carine Souveyet |
A Generic Approach to Support a Way-of-Working Definition ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings, pp. 367-379, 1994, Springer, 3-540-58113-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | J. W. B. Vermeulen, Eduard R. K. Spoor |
FRESH, an Expert System Design Tool on APL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL 90: For the Future, APL 1990, Copenhagen, Denmark, August 13-17, 1990., pp. 391-403, 1990, ACM, 0-89791-371-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
APL |
18 | Xiaohui Zhao 0001, Chengfei Liu, Yun Yang 0001 |
Supporting virtual organisation alliances with relative workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006, pp. 115-124, 2006, Australian Computer Society, 1-920-68235-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
virtual organisation alliance, business process modelling, service oriented computing |
17 | Marco Bertoli, Giuliano Casale, Giuseppe Serazzi |
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 119-120, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Martin Große-Rhode |
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 567-581, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tony Clark 0001, Andy Evans, Stuart Kent 0001 |
Engineering Modelling Languages: A Precise Meta-Modelling Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 159-173, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Gilmore, Jane Hillston, Marina Ribaudo |
PEPA Nets: A Structured Performance Modelling Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 111-130, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Monique Snoeck, Guido Dedene |
Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (38) ![In: TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing, Zurich, Switzerland, 12-14 March 2001, pp. 170-179, 2001, IEEE Computer Society, 0-7695-1095-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel |
Petri Net Modelling and Performability Evaluation with TimeNET 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings, pp. 188-202, 2000, Springer, 3-540-67260-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Kann-Jang Yang, Rob Pooley |
Process Modelling to Support the Unified Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 467-472, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia (eds.) |
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![Springer, 978-3-030-31174-2 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Sanja Brdar, Olivera Novovic, Nastasija Grujic, Horacio González-Vélez, Ciprian-Octavian Truica, Siegfried Benkner, Enes Bajrovic, Apostolos Papadopoulos |
Big Data Processing, Analysis and Applications in Mobile Cellular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 163-185, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Imen Rached, Elisabeth Larsson |
Tail Distribution and Extreme Quantile Estimation Using Non-parametric Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 69-87, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Elisabeth Larsson, Afshin Zafari, Marco Righero, Matteo Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, Giuseppe Vecchi, Christoph W. Kessler, Corinne Ancourt, Clemens Grelck |
Parallelization of Hierarchical Matrix Algorithms for Electromagnetic Scattering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 36-68, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Ales Zamuda, Vincenzo Crescimanna, Juan C. Burguillo, Joana Matos Dias, Katarzyna Wegrzyn-Wolska, Imen Rached, Horacio González-Vélez, Roman Senkerik, Claudia Pop, Tudor Cioara, Ioan Salomie, Andrea Bracciali |
Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 325-349, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Catherine Maréchal, Dariusz Mikolajewski, Krzysztof Tyburek, Piotr Prokopowicz, Lamine Bougueroua, Corinne Ancourt, Katarzyna Wegrzyn-Wolska |
Survey on AI-Based Multimodal Methods for Emotion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 307-324, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Irene Kilanioti, Alejandro Fernández-Montes, Damián Fernández-Cerero, Anthony Karageorgos, Christos Mettouris, Valentina Nejkovic, Nikolas Albanis, Rabih Bashroush, George A. Papadopoulos |
Towards Efficient and Scalable Data-Intensive Content Delivery: State-of-the-Art, Issues and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 88-137, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Valentina Nejkovic, Ari Visa, Milorad Tosic, Nenad Petrovic 0001, Mikko Valkama, Mike Koivisto, Jukka Talvitie, Svetozar Rancic, Daniel Grzonka, Jacek Tchórzewski, Pierre Kuonen, Francisco Gortázar |
Big Data in 5G Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 138-162, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Simone Spolaor, Marco Gribaudo, Mauro Iacono, Tomas Kadavy, Zuzana Komínková Oplatková, Giancarlo Mauri, Sabri Pllana, Roman Senkerik, Natalija Stojanovic, Esko Turunen, Adam Viktorin, Salvatore Vitabile, Ales Zamuda, Marco S. Nobile |
Towards Human Cell Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 221-249, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Abdurrahman Olgaç, Asli Türe, Simla Olgaç, Steffen Möller |
Cloud-Based High Throughput Virtual Screening in Novel Drug Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 250-278, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Salvatore Vitabile, Michal Marks, Dragan Stojanovic, Sabri Pllana, José Manuel Molina 0001, Mateusz Krzyszton, Andrzej Sikora, Andrzej Jarynowski, Farhoud Hosseinpour, Agnieszka Jakobik, Aleksandra Stojnev Ilic, Ana Respício, Dorin Moldovan, Cristina Pop 0001, Ioan Salomie |
Medical Data Processing and Analysis for Remote Health and Activities Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 186-220, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Joanna Kolodziej, Daniel Grzonka, Adrian Widlak, Pawel Kisielewicz |
Ultra Wide Band Body Area Networks: Design and Integration with Computational Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High-Performance Modelling and Simulation for Big Data Applications ![In: High-Performance Modelling and Simulation for Big Data Applications - Selected Results of the COST Action IC1406 cHiPSet, pp. 279-306, 2019, Springer, 978-3-030-16271-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria |
Core-concavity, Gain Functions and Axioms for Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 261-275, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Jan Willem Klop |
Confluence of the Chinese Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 206-220, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Davide Sangiorgi |
Asynchronous \pi -calculus at Work: The Call-by-Need Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 33-49, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini 0001 |
Polyadic Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 241-257, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Bernardo Toninho, Nobuko Yoshida |
Polymorphic Session Processes as Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 101-117, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yuxin Deng, Jean-François Monin |
Formalisation of Probabilistic Testing Semantics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 276-292, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Bruni, Ugo Montanari, Giorgio Mossa |
A Coalgebraic Approach to Unification Semantics of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 223-240, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Linda Brodo, Roberto Bruni, Moreno Falaschi |
Enhancing Reaction Systems: A Process Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 68-85, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 293-312, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jean Goubault-Larrecq |
Fooling the Parallel or Tester with Probability 8/27. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 313-328, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Gorrieri |
Axiomatizing Team Equivalence for Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 14-32, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rob van Glabbeek, Ursula Goltz, Christopher Lippert 0001, Stephan Mennicke |
Stronger Validity Criteria for Encoding Synchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 182-205, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 118-138, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Wan J. Fokkink, Guus Samsom |
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 3-13, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yusuke Kawamoto 0001 |
Statistical Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 344-362, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia |
Make Puzzles Great Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 442-459, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Marta Kwiatkowska, Gethin Norman, David Parker 0001 |
Verification and Control of Turn-Based Probabilistic Real-Time Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 379-396, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink |
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 139-162, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mário S. Alvim, Sophia Knight, Frank Valencia |
Toward a Formal Model for Group Polarization in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 419-441, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Konstantinos Chatzikokolakis 0001, Geoffrey Smith 0001 |
Refinement Metrics for Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 397-416, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Corradini, Andrea Morichetta 0001, Barbara Re 0001, Francesco Tiezzi 0001 |
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 163-181, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth |
Categorical Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 329-343, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Michele Boreale, Daniele Gorla |
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 363-378, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Cosimo Laneve, Luca Padovani |
Deadlock Analysis of Wait-Notify Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 50-67, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
Checking the Expressivity of Firewall Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 86-100, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | H. T. Banks, John E. Banks, Neha Murad, J. A. Rosenheim, K. A. Tillman |
Modelling Pesticide Treatment Effects on Lygus hesperus in Cotton Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
System Modelling and Optimization ![In: System Modeling and Optimization - 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers, pp. 95-106, 2015, 978-3-319-55794-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Laetitia Paoli |
Multibody Dynamics with Unilateral Constraints: Computational Modelling of Soft Contact and Dry Friction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
System Modelling and Optimization ![In: System Modeling and Optimization - 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers, pp. 420-429, 2015, 978-3-319-55794-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Asheesh Kumar Singh, Rambir Singh, Rakesh K. Arya |
Approximation of Optimized Fuzzy Logic Controller for Shunt Active Power Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 571-595, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Zeineb Lassoued, Kamel Abderrahim |
PWARX Model Identification Based on Clustering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 165-193, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wael Chakchouk, Abderrahmen Zaafouri, Anis Sallami |
Modeling, Identification and Control of Irrigation Station with Sprinkling: Takagi-Sugeno Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 469-499, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Soufiene Bouallègue, Fatma Toumi, Joseph Haggège, Patrick Siarry |
Advanced Metaheuristics-Based Approach for Fuzzy Control Systems Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 627-653, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | M. Andalib Sahnehsaraei, Mohammad Javad Mahmoodabadi, Milad Taherkhorsandi, Krystel K. Castillo-Villar, S. M. Mortazavi Yazdi |
A Hybrid Global Optimization Algorithm: Particle Swarm Optimization in Association with a Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 45-86, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Nishikant Kumar, Soumya Banerjee 0002 |
Measuring Software Reliability: A Trend Using Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 807-829, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Adrienn Buruzs, Miklós F. Hatwágner, László T. Kóczy |
Expert-Based Method of Integrated Waste Management Systems for Developing Fuzzy Cognitive Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 111-137, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anjali Awasthi |
Supplier Quality Evaluation Using a Fuzzy Multi Criteria Decision Making Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 195-219, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Giantomassi, Francesco Ferracuti, Sabrina Iarlori, Gianluca Ippoliti, Sauro Longhi |
Signal Based Fault Detection and Diagnosis for Rotating Electrical Machines: Issues and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 275-309, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hadi Kasiri, Hamid Reza Momeni, Mohammad Saniee Abadeh |
Review and Improvement of Several Optimal Intelligent Pitch Controllers and Estimator of WECS via Artificial Intelligent Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 501-539, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kieran Greer |
Concept Trees: Building Dynamic Concepts from Semi-structured Data Using Nature-Inspired Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 221-252, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Anupam Biswas, Bhaskar Biswas |
Swarm Intelligence Techniques and Their Adaptive Nature with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 253-273, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mas Irfan Purbawanto Hidayat |
System Identification Technique and Neural Networks for Material Lifetime Assessment Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 773-806, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Dhikra Saoudi, Mohammed Chadli, Naceur Benhadj Braeik |
Robust Estimation Design for Unknown Inputs Fuzzy Bilinear Models: Application to Faults Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 655-685, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Venkat Krishnan |
Enhanced Power System Security Assessment Through Intelligent Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 337-366, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ram Bilas Pachori, Rajeev Sharma, Shivnarayan Patidar |
Classification of Normal and Epileptic Seizure EEG Signals Based on Empirical Mode Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 367-388, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Imène Mhadhbi, Nabil Litayem, Slim Ben Othman, Slim Ben Saoud |
Impact of Hardware/Software Partitioning and MicroBlaze FPGA Configurations on the Embedded Systems Performances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 711-744, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Kouki, Mehdi Abbes, Abdelkader Mami |
Iterative Dual Rational Krylov and Iterative SVD-Dual Rational Krylov Model Reduction for Switched Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 407-435, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Sahbi Marrouchi, Souad Chebbi |
Unit Commitment Optimization Using Gradient-Genetic Algorithm and Fuzzy Logic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 687-710, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lucio Ciabattoni, Massimo Grisostomi, Gianluca Ippoliti, Sauro Longhi |
Household Electrical Consumptions Modeling and Management Through Neural Networks and Fuzzy Logic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 437-467, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Hamza Gharsellaoui, Samir Ben Ahmed |
Hybrid Metaheuristic Approach for Scheduling of Aperiodic OS Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 831-863, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Amit Choudhary, Savita Ahlawat, Rahul Rishi |
A Neural Approach to Cursive Handwritten Character Recognition Using Features Extracted from Binarization Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 745-771, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ahmad Taher Azar, Renu Vashist, Ashutosh Vashishtha |
A Rough Set Based Total Quality Management Approach in Higher Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 389-406, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Minu Kesheri, Swarna Kanchan, Shibasish Chowdhury, Rajeshwar Prasad Sinha |
Secondary and Tertiary Structure Prediction of Proteins: A Bioinformatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 541-569, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Ahmad Taher Azar, Fernando E. Serrano |
Design and Modeling of Anti Wind Up PID Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 1-44, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Pradeep Kumar 0009, Asheesh Kumar Singh |
Soft Computing Techniques for Optimal Capacitor Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 597-625, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Naâmane Bounar, Abdesselem Boulkroune, Farès Boudjema |
Fuzzy Adaptive Controller for a DFI-Motor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 87-110, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Erik Cuevas, Margarita Díaz, Raúl Rojas 0001 |
Leukocyte Detection Through an Evolutionary Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex System Modelling and Control Through Intelligent Soft Computations ![In: Complex System Modelling and Control Through Intelligent Soft Computations, pp. 139-163, 2015, Springer, 978-3-319-12882-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Premlata Singh, Sanjay Kumar Yadav, Alexander V. Perig |
Two-Dimensional Solute Transport from a Varying Pulse-Type Point Source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 211-232, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Partha P. Gopmandal, S. Bhattacharyya |
Numerical Study on Isotachophoretic Separation of Ionic Samples in Microfluidics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 97-117, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Wynand S. Verwoerd |
Scale-Dependent Porous Dispersion Resulting from the Cumulative Effects of Velocity Fluctuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 141-159, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Ruchi Gaur, Lallan Mishra, Susanta K. Sen Gupta |
Diffusion and Transport of Molecules In Living Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 27-49, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Chandrasekhar Salimath |
Wavelet-Multigrid Method for Solving Modified Reynolds Equation Modeling Synovial Fluid Flow in a Normal Human Knee Joint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 277-292, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Wynand S. Verwoerd, Longfei Mao |
The Problem of Futile Cycles in Metabolic Flux Modeling: Flux Space Characterization and Practical Approaches to Its Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelling and Simulation of Diffusive Processes ![In: Modelling and Simulation of Diffusive Processes, pp. 233-256, 2014, Springer, 978-3-319-05656-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
|
|