Search results for "Jasmin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Abdul Sattar 0002, Torben Lorenzen	Develop a compiler in Java for a compiler design course.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	Jasmin, complier, recursive descent parser, Java, Java, JVM
2	Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin	On Distributing JASMIN's Optimistic Multiversioning Page Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules
2	Daniel H. Fishman, Ming-Yee Lai, W. Kevin Wilkinson	Overview of the Jasmin Database Machine.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
1	B. N. Lawrence, V. Bennett, J. Churchill, M. Juckes, P. Kershaw, P. Oliver, M. Pritchard, A. Stephens	The JASMIN super-data-cluster	CoRR	2012	DBLP BibTeX RDF
1	Jasmin Kaiser, Peter Buxmann	Organizational design of IT supplier relationship management: a multiple case study of five client companies.	JIT	2012	DBLP DOI BibTeX RDF
1	Yuval Emek, Jasmin Smula, Roger Wattenhofer	Stone Age Distributed Computing	CoRR	2012	DBLP BibTeX RDF
1	Antje Beyer, Ralf Eberhard, Nir Piterman, Michael O. Hengartner, Alex Hajnal, Jasmin Fisher	Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans.	IPCAT	2012	DBLP DOI BibTeX RDF
1	Xiaolin Cao, Zeyao Mo, Xu Liu, Xiaowen Xu, Aiqing Zhang	Parallel implementation of fast multipole method based on JASMIN.	SCIENCE CHINA Information Sciences	2011	DBLP DOI BibTeX RDF
1	Bakir Lacevic, Jasmin Velagic	Evolutionary Design of Fuzzy Logic Based Position Controller for Mobile Robot.	Journal of Intelligent and Robotic Systems	2011	DBLP DOI BibTeX RDF
1	Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher	The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae.	Bioinformatics [ISMB/ECCB]	2011	DBLP DOI BibTeX RDF
1	Carsten Trinitis, Tilman Küstner, Josef Weidendorfer, Jasmin Smajic	Sparse matrix operations on several multi-core architectures.	The Journal of Supercomputing	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher, David Harel, Thomas A. Henzinger	Biology as reactivity.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Ronald Sladky, Karl J. Friston, Jasmin Tröstl, Ross Cunnington, Ewald Moser, Christian Windischberger	Slice-timing effects and their correction in functional MRI.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Greg Snider, Rick Amerson, Dick Carter, Hisham Abdalla, Muhammad Shakeel Qureshi, Jasmin Léveillé, Massimiliano Versace, Heather Ames, S. Patrick, Ben Chandler, Anatoli Gorchetchnikov, Ennio Mingolla	From Synapses to Circuitry: Using Memristive Memory to Explore the Electronic Brain.	IEEE Computer	2011	DBLP DOI BibTeX RDF
1	Jasmin Grosinger, Arpad L. Scholtz	Antennas and Wave Propagation in Novel Wireless Sensing Applications Based on Passive UHF RFID.	Elektrotechnik und Informationstechnik	2011	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Alexander Krauss	Monotonicity Inference for Higher-Order Formulas.	J. Autom. Reasoning	2011	DBLP DOI BibTeX RDF
1	Jasmin Ajanovic	PCI Express.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi	Dynamic Reactive Modules.	CONCUR	2011	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson	Extending Sledgehammer with SMT Solvers.	CADE	2011	DBLP DOI BibTeX RDF
1	Thierry Jean Ruch, Nils-Holger Schmidt, Jasmin Decker, Lutz M. Kolbe	Ecosia - Who Cares About a Green Search Engine?	AMCIS	2011	DBLP BibTeX RDF
1	Stéphane Lallée, Ugo Pattacini, Jean-David Boucher, Séverin Lemaignan, Alexander Lenz, Chris Melhuish, Lorenzo Natale, Sergey Skachek, Katharina Hamann, Jasmin Steinwender, Emrah Akin Sisbot, Giorgio Metta, Rachid Alami, Matthieu Warnier, Julien Guitton, Felix Warneken, Peter Ford Dominey	Towards a platform-independent cooperative human-robot interaction system: II. Perception, execution and imitation of goal directed actions.	IROS	2011	DBLP DOI BibTeX RDF
1	Micha Block, Jasmin Link, Simon Thiel	A Context Centric Approach to Utilize Social Media Services on Public Terminals.	HCI	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher	Model Checking Cell Fate Decisions.	SPIN	2011	DBLP DOI BibTeX RDF
1	Kunihiko Fukushima, Isao Hayashi, Jasmin Léveillé	Neocognitron Trained by Winner-Kill-Loser with Triple Threshold.	ICONIP	2011	DBLP DOI BibTeX RDF
1	Thomas Müller, Carsten Trinitis, Jasmin Smajic	Cache Efficiency and Scalability on Multi-core Architectures.	PaCT	2011	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow	Automatic Proof and Disproof in Isabelle/HOL.	FroCos	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher, Nir Piterman, Moshe Y. Vardi	The Only Way Is Up.	FM	2011	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar	Nitpicking c++ concurrency.	PPDP	2011	DBLP DOI BibTeX RDF
1	Stephan Holzer, Yvonne Anne Pignolet, Jasmin Smula, Roger Wattenhofer	Information dissemination on multiple channels.	PODC	2011	DBLP DOI BibTeX RDF
1	Stephan Holzer, Yvonne Anne Pignolet, Jasmin Smula, Roger Wattenhofer	Time-optimal information exchange on multiple channels.	FOMC	2011	DBLP DOI BibTeX RDF
1	Nikolaj Lazic, M. Banek Zorica, Jasmin Klindzic	Open source software in education.	MIPRO	2011	DBLP BibTeX RDF
1	Jasmin Kaljun, Bojan Dolsak	Artificial intelligence in aesthetic and ergonomic product design process.	MIPRO	2011	DBLP BibTeX RDF
1	Gennady Livitz, Heather Ames, Ben Chandler, Anatoli Gorchetchnikov, Jasmin Léveillé, Zlatko Vasilkoski, Massimiliano Versace, Ennio Mingolla, Greg Snider, Rick Amerson, Dick Carter, Hisham Abdalla, Muhammad Shakeel Qureshi	Visually-guided adaptive robot (ViGuAR).	IJCNN	2011	DBLP DOI BibTeX RDF
1	Zlatko Vasilkoski, Heather Ames, Ben Chandler, Anatoli Gorchetchnikov, Jasmin Léveillé, Gennady Livitz, Ennio Mingolla, Massimiliano Versace	Review of stability properties of neural plasticity rules for implementation on memristive neuromorphic hardware.	IJCNN	2011	DBLP DOI BibTeX RDF
1	Anatoli Gorchetchnikov, Massimiliano Versace, Heather Ames, Ben Chandler, Jasmin Léveillé, Gennady Livitz, Ennio Mingolla, Greg Snider, Rick Amerson, Dick Carter, Hisham Abdalla, Muhammad Shakeel Qureshi	Review and unification of learning framework in Cog Ex Machina platform for memristive neuromorphic hardware.	IJCNN	2011	DBLP DOI BibTeX RDF
1	Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman	Proving Stabilization of Biological Systems.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Zeyao Mo, Aiqing Zhang, Xiaolin Cao, Qingkai Liu, Xiaowen Xu, Hengbin An, Wenbing Pei, Shaoping Zhu	JASMIN: a parallel software infrastructure for scientific computing.	Frontiers of Computer Science in China	2010	DBLP DOI BibTeX RDF
1	Jasmin Léveillé, Massimiliano Versace, Stephen Grossberg	Running as fast as it can: How spiking dynamics form object groupings in the laminar circuits of visual cortex.	Journal of Computational Neuroscience	2010	DBLP DOI BibTeX RDF
1	Lindsey J. Powell, C. Neil Macrae, Jasmin Cloutier, Janet Metcalfe, Jason P. Mitchell	Dissociable Neural Substrates for Agentic versus Conceptual Representations of Self.	J. Cognitive Neuroscience	2010	DBLP DOI BibTeX RDF
1	Jasmin Opitz, Bijan Parsia, Ulrike Sattler	Evaluating Modelling Approaches for Medical Image Annotations	CoRR	2010	DBLP BibTeX RDF
1	Antje Beyer, Peter Thomason, Xinzhong Li, James Scott, Jasmin Fisher	Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks.	T. Comp. Sys. Biology	2010	DBLP DOI BibTeX RDF
1	Alexander Lenz, Sergey Skachek, Katharina Hamann, Jasmin Steinwender, Tony Pipe, Chris Melhuish	The BERT2 infrastructure: An integrated system for the study of human-robot interaction.	Humanoids	2010	DBLP DOI BibTeX RDF
1	Tarik Uzunovic, Jasmin Velagic, Nedim Osmic, Almir Badnjevic, Emir Zunic	Neural networks for helicopter azimuth and elevation angles control obtained by cloning processes.	SMC	2010	DBLP DOI BibTeX RDF
1	Jasmin Velagic, Nedim Osmic	Identification and control of 2DOF nonlinear helicopter model using intelligent methods.	SMC	2010	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Alexander Krauss	Monotonicity Inference for Higher-Order Formulas.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Koen Claessen	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.	TAP	2010	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Tobias Nipkow	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder.	ITP	2010	DBLP DOI BibTeX RDF
1	Stephan Holzer, Yvonne Anne Pignolet, Jasmin Smula, Roger Wattenhofer	Monitoring Churn in Wireless Networks.	ALGOSENSORS	2010	DBLP DOI BibTeX RDF
1	Stephan Holzer, Yvonne Anne Pignolet, Jasmin Smula, Roger Wattenhofer	Brief announcement: self-monitoring in dynamic wireless networks.	PODC	2010	DBLP DOI BibTeX RDF	wireless, monitoring, group membership
1	Jasmin Opitz, Bijan Parsia, Ulrike Sattler	Evaluating Modelling Approaches for Medical Image Annotations.	SWAT4LS	2010	DBLP BibTeX RDF
1	Raquel Ros, Emrah Akin Sisbot, Rachid Alami, Jasmin Steinwender, Katharina Hamann, Felix Warneken	Solving ambiguities with perspective taking.	HRI	2010	DBLP DOI BibTeX RDF	human-robot interaction, perspective taking
1	Laura K. Vaughan, Jasmin Divers, Miguel A. Padilla, David T. Redden, Hemant K. Tiwari, Daniel Pomp, David B. Allison	The use of plasmodes as a supplement to simulations: A simple example evaluating individual admixture estimation methodologies.	Computational Statistics & Data Analysis	2009	DBLP DOI BibTeX RDF
1	Jasmin Buck, Sebastian Garde, Christian Dominik Kohl, Petra Knaup-Gregori	Towards a comprehensive electronic patient record to support an innovative individual care concept for premature infants using the openEHR approach.	I. J. Medical Informatics	2009	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe	Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette	Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Interactive theorem provers, Huffman coding, Higher-order logic
1	Carsten Trinitis, Tilman Küstner, Josef Weidendorfer, Jasmin Smajic	Sparse Matrix Operations on Multi-core Architectures.	PaCT	2009	DBLP DOI BibTeX RDF	Multi-core, performance optimization, sparse matrices, cache optimization, pinning
1	Henriette Engelken, Martin Golebiewski, Meik Bittkowski, Fritz Hamm, Jasmin Saric, Ulrike Wittig, Wolfgang Müller, Uwe Reyle, Isabel Rojas	Flache und semantische Verarbeitung von Namen biochemischer Verbindungen.	GI Jahrestagung	2009	DBLP BibTeX RDF
1	Jasmin Opitz, Bijan Parsia, Ulrike Sattler	Using Ontologies for Medical Image Retrieval - An Experiment.	OWLED	2009	DBLP BibTeX RDF
1	Vanja Bevanda, Jasmin Azemovic, Denis Music	Privacy Preserving in eLearning Environment (Case of Modeling Hippocratic Database Structure).	BCI	2009	DBLP DOI BibTeX RDF
1	Jasmin Grosinger, Lukas W. Mayer, Christoph F. Mecklenbräuker, Arpad L. Scholtz	Determining the dielectric material properties of a car tire.	VTC Fall	2009	DBLP BibTeX RDF
1	Catia Cucchiarini, Joris Driesen, Hugo Van Hamme, Eric Sanders	Recording Speech of Children, Non-Natives and Elderly People for HLT Applications: the JASMIN-CGN Corpus.	LREC	2008	DBLP BibTeX RDF
1	Jasmin Velagic, Senad Huseinbegovic, Nedim Osmic	The Improvement of Telerobotic System Behavior in Contact with Remote Environment by Extension of an Impedance Controller.	iJOE	2008	DBLP DOI BibTeX RDF
1	Jasmin Cloutier, Todd F. Heatherton, Paul J. Whalen, William M. Kelley	Are Attractive People Rewarding? Sex Differences in the Neural Substrates of Facial Attractiveness.	J. Cognitive Neuroscience	2008	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette, Olaf Owe	An Open System Operational Semantics for an Object-Oriented and Component-Based Language.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Massimiliano Versace, Heather Ames, Jasmin Léveillé, Bret Fortenberry, Anatoli Gorchetchnikov	KInNeSS: A Modular Framework for Computational Neuroscience.	Neuroinformatics	2008	DBLP DOI BibTeX RDF
1	Jasmin Christian Blanchette	The Textbook Proof of Huffman's Algorithm.	Archive of Formal Proofs	2008	DBLP BibTeX RDF
1	Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel	Toward Verified Biological Models.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
1	Jasmin Fisher (eds.)	Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings	FMSB	2008	DBLP BibTeX RDF
1	Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman	Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.	FMSB	2008	DBLP DOI BibTeX RDF
1	Natascha Jasmin Tiotuico, Olaf Kroll-Peters, Tino Stelter, Daniel Odry	Game Design: Motivation for Mobile Gaming Created by New Technologies.	GI Jahrestagung	2008	DBLP BibTeX RDF
1	Petros Daras, Dimitrios Tzovaras, Stefan Dobravec, Jernej Trnkoczy, Andrea Sanna, Gianluca Paravati, Ralph Traphöner, Jasmin Franz, Timotheos Kastrinogiannis, Christos Malavazos, Nikiforos Ploskas, Mathias Gumz, Konstantina N. Geramani, Gert-Joachim Wintterle	VICTORY: a 3D search engine over P2P and wireless P2P networks.	WICON	2008	DBLP DOI BibTeX RDF	3D search engine, peer-to-peer networks, QoE, mobile terminals
1	Olga Krebs, Martin Golebiewski, Renate Kania, Saqib Mir, Jasmin Saric, Andreas Weidemann, Ulrike Wittig, Isabel Rojas	SABIO-RK: A data warehouse for biochemical reactions and their kinetics.	J. Integrative Bioinformatics	2007	DBLP DOI BibTeX RDF
1	Andrew R. Price, Gang Xue, A. Yool, D. J. Lunt, P. J. Valdes, Timothy M. Lenton, Jasmin L. Wason, Graeme E. Pound, Simon J. Cox	Optimization of integrated Earth System Model components using Grid-enabled data management and computation.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger	Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development.	PLoS Computational Biology	2007	DBLP DOI BibTeX RDF
1	Jingfeng Han, Benjamin Berkels, Marc Droske, Joachim Hornegger, Martin Rumpf, Carlo Schaller, Jasmin Scorzin, Horst Urbach	Mumford-Shah Model for One-to-One Edge Matching.	IEEE Transactions on Image Processing	2007	DBLP DOI BibTeX RDF
1	Jasmin Smajic, Matthew Mishrikey, Arya Fallahi, Christian Hafner, Rüdiger Vahldieck	Efficiency of Various Stochastic Optimization Algorithms in High Frequency Electromagnetic Applications.	NICSO	2007	DBLP DOI BibTeX RDF
1	Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic, Airrion Wisdom, Andrew Maxymillian Wheeler	Evolutionary music composer integrating formal grammar.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic algorithms, music, formal grammar
1	Jasmin Saric	Extracting information for biology.		2006	RDF
1	Jasmin Velagic, Bakir Lacevic, Branislava Perunicic	A 3-level autonomous mobile robot navigation system designed by using reasoning/search approaches.	Robotics and Autonomous Systems	2006	DBLP DOI BibTeX RDF
1	Jasmin Saric, Lars Juhl Jensen, Rossitza Ouzounova, Isabel Rojas, Peer Bork	Extraction of regulatory gene/protein networks from Medline.	Bioinformatics	2006	DBLP DOI BibTeX RDF
1	Daniel E. Rio, Robert R. Rawlings, Lawrence A. Woltz, Jasmin B. Salloum, Daniel W. Hommer	Single subject image analysis using the complex general linear model - An application to functional magnetic resonance imaging with multiple inputs.	Computer Methods and Programs in Biomedicine	2006	DBLP DOI BibTeX RDF
1	Alexander Prosser, Yan Guo, Jasmin Lenhart	The Attitude towards E-Democracy - Empirical Evidence from the Viennese Population.	ICEIS	2006	DBLP BibTeX RDF
1	Jingfeng Han, Benjamin Berkels, Martin Rumpf, Joachim Hornegger, Marc Droske, Michael Fried, Jasmin Scorzin, Carlo Schaller	A Variational Framework for Joint Image Registration, Denoising and Edge Detection.	Bildverarbeitung für die Medizin	2006	DBLP DOI BibTeX RDF
1	Sebastian Garde, Evelyn J. S. Hovenga, Jasmin Buck, Petra Knaup	Ubiquitous Information for Ubiquitous Computing: Expressing Clinical Data Sets with openEHR Archetypes.	MIE	2006	DBLP DOI BibTeX RDF
1	Ulrike Wittig, Martin Golebiewski, Renate Kania, Olga Krebs, Saqib Mir, Andreas Weidemann, Stefanie Anstein, Jasmin Saric, Isabel Rojas	SABIO-RK: Integration and Curation of Reaction Kinetics Data.	DILS	2006	DBLP DOI BibTeX RDF
1	Jasmin Fisher, Thomas A. Henzinger	Executable biology.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Jasmin Coulombe-Huntington, Jacek Majewski	Intron Loss Dynamics in Mammals.	Comparative Genomics	2006	DBLP DOI BibTeX RDF	gene structure, mammalian evolution, comparative genomics, introns
1	M. Hakki Eres, Graeme E. Pound, Zhuoan Jiao, Jasmin L. Wason, Fenglian Xu, Andy J. Keane, Simon J. Cox	Implementation and utilisation of a Grid-enabled problem solving environment in Matlab.	Future Generation Comp. Syst.	2005	DBLP DOI BibTeX RDF
1	Philipp Cimiano, Uwe Reyle, Jasmin Saric	Ontology-driven discourse analysis for information extraction.	Data Knowl. Eng.	2005	DBLP DOI BibTeX RDF
1	Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, Isabel Rojas	Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology.	IJCAI	2005	DBLP BibTeX RDF
1	Jasmin Saric, Lars Juhl Jensen, Isabel Rojas	Large-scale extraction of gene regulation for model organisms in an ontological context.	In Silico Biology	2004	DBLP BibTeX RDF
1	Andrea Freßmann, Rainer Maximini, Martin Schaaf, Jasmin Franz, Ralph Traphöner	Intelligent Retrieval for Component Reuse in System-On-Chip Design.	KI	2004	DBLP BibTeX RDF
1	Zhuoan Jiao, Jasmin L. Wason, Wenbin Song, Fenglian Xu, M. Hakki Eres, Andy J. Keane, Simon J. Cox	Databases, Workflows and the Grid in a Service Oriented Environment.	Euro-Par	2004	DBLP DOI BibTeX RDF
1	Jasmin Saric, Lars Juhl Jensen, Peer Bork, Rossitza Ouzounova, Isabel Rojas	Extracting Regulatory Gene Expression Networks From Pubmed.	ACL	2004	DBLP BibTeX RDF
1	Melanie Gnasa, Sascha Alda, Nadir Gül, Jasmin Grigull, Armin B. Cremers	Cooperative Pull-Push Cycle for Searching a Hybrid P2P Network.	Peer-to-Peer Computing	2004	DBLP DOI BibTeX RDF
1	Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
1	Mujo Hebibovic, Bakir Lacevic, Jasmin Velagic	Simulation of Systems with Various Time Delays Using Pade's Approximation.	ICINCO	2004	DBLP BibTeX RDF
1	Isabel Rojas, Esther Ratsch, Jasmin Saric, Ulrike Wittig	Notes on the use of ontologies in the biochemical domain.	In Silico Biology	2003	DBLP BibTeX RDF
1	Jasmin L. Wason, Marc Molinari, Zhuoan Jiao, Simon J. Cox	Delivering Data Management for Engineers on the Grid.	Euro-Par	2003	DBLP DOI BibTeX RDF